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ć.

Typ spotkania: 
Dziedzina: 
Forma: 
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.
prof. dr hab.
Mikołaj
Bojańczyk
Miejsce spotkania: 
Wydarzenie online: 
Wydarzenie online na żywo: 
Wydarzenie online na żywo