Media Summary: 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 This talk is part of the "Celebrating 90 Years of Gödel's Incompleteness Theorems" conference, organized by the ...
Sergei N Artemov The Consistency - Detailed Analysis & Overview
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 This talk is part of the "Celebrating 90 Years of Gödel's Incompleteness Theorems" conference, organized by the ... A talk given in The Graduate Center on February 4, 2026. Abstract: Non-compact proofs are used in mathematics but overlooked ... Invited talk at workshop Formalisation and deformalisation of mathematical reasoning in the context of automated theorem proving ... Seminar on Mathematical Logic and Category Theory. September 13, 2025.
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: A ... Locally Symmetric Spaces Seminar Topic: Motivic correlators and locally symmetric spaces IV Speaker: Alexander Goncharov ... Melvin Fitting's talk at The Constructive in Logic and Applications, A Conference in Honor of the 60th Birthday of
