You are not logged in | log in

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia

SLIWOWICA

 

Logika ultrafinitystyczna: Filozofia i konsekwencje


Prelegent: Michał Gajda

2023-05-26 12:15

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.