Matematiksel mantık: Revizyonlar arasındaki fark
| [kontrol edilmemiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Değişiklik özeti yok Etiketler: Mobil değişiklik Mobil ağ değişikliği |
k 95.0.137.183 tarafından yapılan değişiklikler geri alınarak, İlkersaka16 tarafından değiştirilmiş önceki sürüm geri getirildi. |
||
1. satır:
{{düzenle|Ocak 2010}}
Ç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.
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ı.
| |||