Matematik Felsefesikonuşma konusu
Gödel'in kendine gönderme yapan "Ben kanıtlanamam" cümlesini bir matematik ifadesine çevirme fikri neden dahiyane bir buluştur?
— Gödel numaralandırması ve kendine gönderme
bu konuyla pratik yap
Süreyi ayarla (5-30 dk), istersen 20 saniye hazırlan, konuşmaya başla.
benzer konular
- Simpson paradoksu, aynı verinin gruplara ayrıldığında tam tersi sonuç verebilmesiyle istatistiği yorumlarken bizi nasıl yanıltabilir?
- Öklid'in beşinci postülatı (paralel postülat) yüzyıllarca neden "kanıtlanmaya çalışıldı" ve reddedilmesi Öklid dışı geometrileri nasıl doğurdu?
- Turing'in Durma Problemi (Halting Problem), bir programın sonsuza kadar çalışıp çalışmayacağını önceden bilmenin neden imkânsız olduğunu nasıl kanıtlar?
- "Sıfır"ın bir sayı olarak kabul edilmesi tarihte neden bu kadar zorlandı ve hiçliği bir nicelik saymak neden felsefi bir sıçramaydı?
- Sonsuzun "gerçek sonsuz" ve "potansiyel sonsuz" olarak ikiye ayrılması, Aristoteles'ten bu yana matematik felsefesini nasıl şekillendirdi?