Kalademi.me'ya hoş geldiniz, sorularınızın uzmanlar ve deneyimli topluluk üyeleri tarafından yanıtlandığı yer. Binlerce soru ve cevap arasında gezinin ve uzman topluluğumuzun size sunduğu çözümleri keşfedin. Deneyimli profesyonellerden ayrıntılı yanıtlar almak için kullanıcı dostu platformumuzu keşfedin.
Sagot :
ağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı Gottlob Frege, "Matematik mantığın uygulama alanıdır." görüşünden hareketle matematiğin, mantığın aksiyomatik sistemi üzerine kurulabileceğini düşünmüştür. Bu düşünceden hareket ederek aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmişti.
Daha sonra, Frege'nin çalışmalarına dayanarak, Bertrand Russell ve Alfred North Whitehead 1910-1913 yılları arasında Principia Mathematica adını verdikleri eserde matematiği mantığa indirgeyerek formel bir sistem haline getirmeye çalıştılar. Fakat matematiğin formel hale getirilemeyeceğini Kurt Gödel 1933'te yayınladığı bir kitabındaki (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme) meşhur teoremiyle gösterdi.
John Alan Robinson, 1967'de çözülüm teorem ispatlama yöntemini geliştirdi. Bu yöntem 1972'de A. Colmaurer tarafından ilk mantık programlama dilinin (Prolog) geliştirilmesine yol açtı. Bu dil 1975'te D. Warren tarafından “Warren Abstract Machine” (WAM) olarak uygulandı. Kişisel bilgisayarlar üzerinde ilk uygulamalar 1980'lerde ortaya çıkt
Bu bilgilerin size faydalı olduğunu umuyoruz. Sorularınıza daha fazla yanıt almak için istediğiniz zaman geri dönebilirsiniz. Buraya uğradığınız için teşekkür ederiz. Tüm sorularınıza en iyi yanıtları vermek için buradayız. Bir dahaki sefere görüşmek üzere. Kalademi.me'ye ziyaretiniz için teşekkür ederiz. Daha fazla faydalı bilgi ve uzman yanıtları için yakında tekrar gelin.