Abstrakt: 

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, 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?

Wykład odbędzie się o godzinie 17:00 w Auli D332 (stacjonarnie) oraz w przestrzeni online na platformie Teams.

Szczegółowe informacje znajdują się na stronie archimedes.umcs.pl

"Spotkania z Fizyką i Matematyką" to jedna z form popularyzacji nauki, mająca na celu przybliżenie pasjonatom nauk ścisłych, uczniom, nauczycielom, studentom, a także wszystkim zainteresowanym, ciekawych zagadnień i aktualnych problemów nurtujących matematyków i fizyków. Wykłady prowadzą doświadczeni nauczyciele akademiccy, którzy w sposób przystępny i zrozumiały dla każdego wyjaśniają wybrane zagadnienia. Wykłady są uzupełnione atrakcyjnymi doświadczeniami oraz materiałami multimedialnymi.

W obecnej edycji słuchacze będą mogli uczestniczyć w czterech popularnonaukowych wykładach: dwóch z zakresu matematyki oraz dwóch z zakresu fizyki.