 Nie jesteś zalogowany | zaloguj się |
| Nie jesteś zalogowany | zaloguj się |
Prelegent: Karol Szumiło
Omówię pewne podstawowe rezultaty symplicjalnej teorii homotopii w logice intuicjonistycznej, tzn. z wykluczeniem niekonstruktywnych aksjomatów logiki i teorii mnogości: prawa wyłączonego środka i aksjomatu wyboru. Oryginalną motywacją była konstrukcja modeli homotopijnej teorii typów, ale dalsze badania prowadzą do interesujących problemów z przecięcia teorii homotopii i logiki kategoryjnej.
