Matematiksel mantık: Revizyonlar arasındaki fark
| [kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Kaynaksız şablonuna tarih parametresi eklendi. |
Kaynaksız şablonundaki typo hatası düzeltildi. |
||
1. satır:
{{düzenle|Ocak 2010}}
{{Kaynaksız
'''Matematiksel mantık''' biçimsel [[mantık|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.<ref>Üniversite seviyesi yayınlardan bazıları Boolos, Burgess, and Jeffrey [[#CITEREFBoolosBurgessJeffrey2002|(2002)]], [[Herbert Enderton|Enderton]] [[#CITEREFEnderton2001|(2001)]], and Mendelson [[#CITEREFMendelson1997|(1997)]]. A classic graduate text by Shoenfield [[#CITEREFShoenfield2001|(2001)]] first appeared in 1967.</ref> Matematiksel mantığın temel konuları [[biçimsel sistem]]lerin ifade gücünün ve biçimsel [[Matematiksel ispat|ispat]] sistemlerinin [[tümdengelim]] gücünün belirlenmesidir.
| |||