Matematik Felsefesikonuşma konusu
Dört Renk Teoremi tarihte ilk kez bilgisayarla kanıtlandı. Hiçbir insanın satır satır kontrol edemediği bir kanıt, kanıt sayılır mı?
— Barış Özcan, "Dört Renk Teoremi" (YouTube)
bu konuyla pratik yap
Süreyi ayarla (5-30 dk), istersen 20 saniye hazırlan, konuşmaya başla.
benzer konular
- Zenon'un Akhilleus ile kaplumbağa paradoksu neden binlerce yıl boyunca matematikçileri ve filozofları meşgul etti; hareket gerçekten mümkün mü?
- Hilbert'in Sonsuz Oteli, sonsuzluğun sezgilerimize nasıl meydan okuduğunu anlatmak için neden bu kadar güçlü bir düşünce deneyidir?
- Gödel'in Eksiklik Teoremi tam olarak neyi söyler ve neden matematiğin "her doğruyu kanıtlayabileceği" hayalini yıkmıştır?
- Cantor'un köşegen yöntemi, gerçek sayıların doğal sayılardan "daha kalabalık" olduğunu nasıl gösterir; farklı sonsuzluk büyüklükleri ne demek?
- Russell paradoksu ("kendini içermeyen kümelerin kümesi") küme kuramının temellerini nasıl sarstı ve neden yeni aksiyomlara ihtiyaç doğurdu?