Prelegent: Michał Gajda

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.