Matematiksel mantık
From Wikipedia, the free encyclopedia
Matematiksel mantık biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir.[1] Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
![]() | Bu madde, Vikipedi biçem el kitabına uygun değildir. (Ocak 2010) |
Matematiksel mantık kümeler kuramı, model kuramı, hesaplanabilirlik kuramı ve tanıtlama kuramı alanlarına ayrılır. Bu alanlar mantığın, özellikle birinci-derece mantık ve tanımlanabilir küme konularındaki, temel sonuçlarını paylaşır.