Logika ultrafinitystyczna: Filozofia i konsekwencje

Speaker(s)

Michał Gajda

Affiliation

MigaMake Pte Ltd, Singapore

Date

May 26, 2023, 12:15 p.m.

Room

room 5820

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---