matematiksel mantık
- matematiksel mantık formel mantıkın matematiğe uygulamalarını araştıran-geliştiren matematiğin bir alt dalıdır.
alman mantıkçı gottlob frege, "matematik mantığın uygulama alanıdır." teziyle aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmiştir. 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.
- matematiksel mantık için alanlar:
1. kümeler kuramı
2. model kuramı
3. hesaplanabilirlik kuramı
4. tanıtlama (ispat) kuramı
kaynak: m ö kdp cst 2018