Arytmetyka Tarskiego
Numer:
207
Alfred Tarski udowodnił, w latach dwudziestych XX wieku, że istnieje algorytm, który odpowiada na wszystkie pytania dotyczące liczb rzeczywistych, jakie da się wyrazić za pomocą mnożenia, dodawania i kwantyfikatorów. Przykładem takiego pytania jest: czy istnieje wielomian kwadratowy, który ma 3 miejsca zerowe? Odpowiedź (w tym przypadku przeczącą) na to i inne pytania dostaniemy automatycznie po uruchomieniu algorytmu Tarskiego. W swoim wystąpieniu chciałbym algorytm ten opisać.
Termin:
sobota, 26 Września, 2020 - 12:00
Czas trwania:
45 minut
Opis skrócony:
Alfred Tarski wykazał, że jest algorytm, który odpowiada na wszystkie pytania o liczbach rzeczywistych, jakie da się wyrazić za pomocą arytmetyki i kwantyfikatorów. Na wykładzie opiszę ten algorytm.
Organizator:
prof. dr hab.
Mikołaj
Bojańczyk
Miejsce spotkania:
Wydarzenie online:
Wydarzenie online na żywo:
Wydarzenie online na żywo
Transmisja na żywo: