Ze względu na ustawienia Twojej przeglądarki oraz celem usprawnienia funkcjonowania witryny umcs.pl zostały zainstalowane pliki cookies. Korzystając ze strony wyrażasz zgodę na ich używanie. Możesz to zmienić w ustawieniach swojej przeglądarki.
11 marca 2024 zapraszamy na wykład dr Jerzego Mycki z Katedry Nauczania Matematyki i Informatyki. Szczegóły w rozwinięciu.
Twierdzenia Gödla: najważniejsze osiągniecie współczesnej matematyki czy nieistotna ekstrawagancja?
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" K. Gödel
