[MD-sorular] Eksiklik teoremi

[Kerem Altun]

Asagidaki yaziyi okumus muydunuz? Sanirim istediginiz buna benzer birsey.

http://www.matematikdunyasi.org/arsiv/PDF/05_4_67_71_GODEL.pdf

Kerem


2009/5/20 Baris PAKSOY <baris.paksoy at gmail.com>

> Degerli liste üyeleri;
> Bir süre once Gödel'in eksiklik teoremini okudum da aklima bir sey takildi,
> belki yanit alabilirim diye size danismak istiyorum. Oncelikle Gödel'in
> ispatladigi gibi bir ornek teorem var mi, ne dogrulugunun ne de
> yalnisliginin ispatlanamiycagi ispatlanmis? Biraz uzerine dusundum fakat bir
> teoremin ne dogrulugunun ne yalnisliginin ispatlanamiycaginin nasil
> ispatlanabilecegine dair herhangi bir fikir gelistiremedim. Bana kalirsa
> boyle bir sey cokta mumkun olmamali, ben yapamadim demek ki bu
> ispatlanamiyacak bir teorem diyemeyiz sonucta. Acaba boyle ornek bir teorem
> yoksa, Gödel veya baska birisi böyle bir teoremin ne dogrulugunun ne
> yalnisliginin ispatlanamaz oldugunun nasil ispatlanabilecegine dair bir
> arastirma yapmismidir, bir seyler soylemis midir?
>
>
> --
> Istanbul/Türkei
> Cottbus/Deutschland
> Tel : +905445555926
>        +491748046059
> Baris Paksoy
>
> _______________________________________________
> MD-sorular e-posta listesi
> sorular at matematikdunyasi.org
> http://lists.math.bilgi.edu.tr/cgi-bin/mailman/listinfo/md-sorular
>
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20090520/9cfd6867/attachment.htm