Gödel Teoremi
Yazan: admin Tarih: Eki 11th, 2008 | Kategori:: Bilim Ve Teknoloji Terimleri
Her bakımdan formalize bir matematikte eksiksiz bir aksiyom bütününü elde etmenin boş bir çaba olduğunu gösteren bir teoremdir. Gödel her tutarlı matematik sisteminin eksik kalmaya mahkum olduğunu ispatlamıştır. Buna göre her zaman kendi kendisi ile ispatlanamayan ya da kendi kendisiyle çürütülemeyen formalize edilmiş herhangi bir sistem kurulabilir. Ancak, hiç bir matematik sistem o sistemin dışına, ötesine gidip başvurmadıkça tutarlı olarak ispatlanamaz. Böylece gödelin teoremi, matematik temellendirmelere ilişkin davranışlarda derin etkileri olmuş bir teorem görünümdedir.
148
Yorum Yapin