Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic

Aktiviteetti: Puhe- tai esitystyypitKutsuesitelmä

Aikajakso12 marrask. 2021
Tapahtuman otsikkoMatematiikanfilosofiaa Suomessa
Tapahtuman tyyppiKonferenssi
SijaintiTampere, SuomiNäytä kartalla