[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
>>
>
>
Simdi tekrar okudum ve okudugum kismina kadar gayet iyi hatirladim yaziyi.
Programlamaya karsi bir fobim oldugu icin bir yerden sonra yarim
birakmistim. Meger biraz daha okusam aradigim seye ulasicakmisim. Hem
yardiminiz icin, hem de bazi seylere karsi daha az on yargili olmami
ogrettiginiz icin teskkur eder, saygilarimi sunarim.

-- 
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/20090521/5b2bee56/attachment.htm