Media Summary: This talk is part of the "Celebrating 90 Years of Gödel's Incompleteness Theorems" conference, organized by the ... Talk given on Wednesday May 15, 2019 at The Graduate Center. Abstract: We revisit the foundational question concerning Peano ... A talk given at the Graduate Center on May 7, 2025. Abstract: We show that PA consistency is mathematically equivalent to the ...
Sergei Artemov The Provability Of - Detailed Analysis & Overview
This talk is part of the "Celebrating 90 Years of Gödel's Incompleteness Theorems" conference, organized by the ... Talk given on Wednesday May 15, 2019 at The Graduate Center. Abstract: We revisit the foundational question concerning Peano ... A talk given at the Graduate Center on May 7, 2025. Abstract: We show that PA consistency is mathematically equivalent to the ... Invited talk at workshop Formalisation and deformalisation of mathematical reasoning in the context of automated theorem proving ... A talk given in The Graduate Center on February 4, 2026. Abstract: Non-compact proofs are used in mathematics but overlooked ... The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: A ...
Seminar on Mathematical Logic and Category Theory. September 13, 2025. Abstract: My talk is an introduction to classical
