Biçimsel Sistem ile Doğal Dil Mantığı
Matematik
Aritmetik
Çok Önemli
Özet
Aksiyom ve kurallarla kesin tanımlı, simgesel sistemdir. İLE Günlük konuşma diliyle yürüyen, esnek ama belirsiz akıl yürütmedir. İlki kesin ve simgesel, ikincisi esnek ve belirsizdir.
Ayrıntılı Açıklama
David Hilbert tarafından 1900 yılında keşfedildi/formüle edildi. (1862-1943) (Ülke: Almanya) (Alan: Matematik) (Önemli katkıları: Hilbert uzayı, 23 sorun)