Logika ultrafinitystyczna: Filozofia i konsekwencje

Prelegent(ci)

Michał Gajda

Afiliacja

MigaMake Pte Ltd, Singapore

Termin

26 maja 2023 12:15

Pokój

p. 5820

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Ultrafinityzm jest filozofią negującą możliwość wnioskowania o bardzo dużych liczbach. Ponieważ przedstawienie spójnej i wystarczająco mocnej logiki ultrafinitystycznej jest uważane za problem otwarty, to przedstawię reguły wnioskowania dla takiej, podważę założenia twierdzenia Goedla i opiszę relację w stosunku do obliczalności. Co ciekawe logika jest rozstrzygalna, spójna i kompletna z zastrzeżeniami co do złożoności.

---