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