dr Jerzy Mycka
Instytut Matematyki UMCS w Lublinie
11 marca 2024, poniedziałek
godzina 17:00
XIX wiek był czasem stopniowego uściślania i precyzowania fundamentalnych pojęć matematycznych. Na początku XX wieku ten proces doprowadził do postawienia ostatecznego pytania: jak uzasadnić pewność matematyki jako systematycznej zorganizowanej teorii? Zdumiewającej odpowiedzi na to pytanie udzielił Kurt Gödel (“Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I”, Monatshefte für Mathematik und Physik, 38 (1), 1931).
O czym mówią twierdzenia Gödla? Dlaczego spotkały się z niechętnym przyjęciem? Czy mają znaczące konsekwencje dla nauki i filozofii w XXI wieku?
Próbę wyjaśnienia powyższych zagadnień podejmiemy na najbliższym spotkaniu 🙂
Zapraszamy.
Either mathematics is too big for the human mind, or the human mind is more than a machine