Matematiksel Mantık

Cağdaş mantığın ve cağdaş felsefenin kurucusu Alman mantıkcısı Gottlob Frege, "Matematik mantığın uygulama alanıdır" goruşunden hareketle matematiğin, mantığın aksiyomatik sistemi uzerine kurulabileceğini duşunmuştur. Bu duşunceden hareket ederek aritmetiğin temelleri konusundaki felsefi calışmaları icin bir mantık sistemi geliştirmişti. Daha sonra, Frege'nin calışmalarına dayanarak, Russell ve Whitehead 1910-1913 yılları arasında Principia Mathematica adını verdikleri eserde matematiği mantığa indirgeyerek formel bir sistem haline getirmeye calıştılar. Fakat matematiğin formel hale getirilemeyeceğini Godel 1933'te yayınladığı bir kitabındaki (Uber die unentsheidbare Saetze der Principia Mathematica und verwander Systeme) meşhur teoremiyle gosterdi.


Alan Robinson, 1967'de cozulum teorem ispatlama yontemini geliştirdi. Bu yontem 1972'de A. Colmaurer tarafından ilk mantık programlama dilinin (Prolog) geliştirilmesine yol actı. Bu dil 1975'te D. Warren tarafından “Warren Abstract Machine” (WAM) olarak ugulandı. Kişisel bilgisayarlar uzerinde ilk uygulamalar 1980'lerde ortaya cıktı.
__________________