RE: [MD-sorular] Gödel'in eksiklik teoremi

[ali nesin]

Hayir.
Sadece aksiyom sisteminin recursive oldugu varsayiliyor, yani hangi
onermenin aksiyom oldugunu hangisinin aksiyom olmadigini (her ikisi
birden gerekiyor!) belirleyen bir bilgisayar programinin oldugu
varsayiliyor.
Ornegin, dogal sayilarda dogru olan toplama ve carpmayla ilgili tum
onermelerin bu ozelligi yoktur, recursive degilerdir.
Ali

-----Original Message-----
From: md-sorular-bounces at matematikdunyasi.org
[mailto:md-sorular-bounces at matematikdunyasi.org] On Behalf Of E. Mehmet
Kral
Sent: 22 Mayıs 2005 Pazar 18:57
To: md-sorular at matematikdunyasi.org
Subject: [MD-sorular] Gödel'in eksiklik teoremi

Aritmetiği içeren herhangi bir aksiyomatik sistemin tutarlı olduğunun
kanıtlanamayacağının kanıtında aksiyomatik sistemin sonlu sayıda
aksiyoma sahip olduğu varsayılıyor mu?