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.