Re: [MD-sorular] Bu Tümce Yanlıştır

[erdem unal]

Evet , dediğiniz gibi;  Polonyalı bir  matematikçi Alfred Tarski , "Bu tümce
yanlıştır" tarzıda bir ifadenin matematiksel olarak yazılamayacağını
ispatlamış.


05.09.2006 tarihinde E. Mehmet Kıral <luzumi at gmail.com> yazmış:

> Merhaba,
> Bu tümce paradoksal bir tümce. İşin püf noktası bu tümcenin matematiksel
> olarak yazılamayacak olması mı? (Matematikte artık hiç bilinen paradoks
> olmadığından bir püf noktası arıyorum.) Yani sorun doğruluk yanlışlık
> kavramlarının matematiksel olarak ifade edilememesinden mi kaynaklanıyor.
> Örneğin kanıtlanabilirlik kavramı matematiksel olarak ifade edilebiliyor ve
> de dolayısıyla "Bu tümce kanıtlanamaz." tümcesi yazılabiliyor. Sonuç olarak
> doğru olan ama kanıtlanamayan tümcelere bir örnek oluşturuluyor. (Hatta 2005
> - 4 sayısında matematiksel olarak ifade edilmişti bu kavram.)
> Yazdıkça daha da emin oldum dediklerimden, ama yine de bir bilenden
> sorunun (daha doğrusu çözümün) *tam olarak* "yanlışlık" kavramının
> matematiksel olarak ifade edilememesinden kaynaklandığını (ya da başka bir
> yderden kaynaklandığını) duymak isterim.
>
> _______________________________________________
> MD-sorular mailing list
> MD-sorular at matematikdunyasi.org
> http://matematikdunyasi.org/mailman/listinfo/md-sorular
>
>
>
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20060905/47769e68/attachment.htm