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. Notlarını post-it panosuna al.
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?