[MD-sorular] Eksiklik teoremi

[Baris PAKSOY]

2009/5/20 Kerem Altun <kerem.altun at gmail.com>

> 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
>>
>
>
Daha once okumaya baslamistim ama yarim kaldi sanirim veya unutmusum. Bu
aksam tekrar bakarim. Tesekkur ederim.

-- 
Istanbul/Türkei
Cottbus/Deutschland
Tel : +905445555926
       +491748046059
Baris Paksoy
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20090520/21836a30/attachment.htm