Did Gentzen Prove the Consistency of Arithmetic?

Daniel WAXMAN

Research output: Other Conference ContributionsPresentation

Original languageEnglish
Publication statusPublished - 27 May 2018
EventThird international conference of the Italian Network for the Philosophy of Mathematics: Philosophy of Mathematics : Objects, Structures, and Logics - Mussomeli, Caltanissetta, Sicily , Mussomeli, Italy
Duration: 25 May 201827 May 2018
https://filmatnetwork.com/filmat2018/

Conference

ConferenceThird international conference of the Italian Network for the Philosophy of Mathematics
Abbreviated titleFilmat2018
Country/TerritoryItaly
CityMussomeli
Period25/05/1827/05/18
Internet address

Cite this