Léon Probst

Talks

03.2026
"Uniform Gödel numberings and self-reference"
Formal Methods / Logic WiP Seminar, King's College London · London
07.2025
"On the choice of numbering"
Workshop: Variations in Metamathematics · Lugano
04.2025
"Interpretation and meaning questions in metamathematics"
Workshop: Theoretical Equivalence and Related Topics · Lugano
06.2024
"Self-referential Gödel numberings and uniformity"
Logic Colloquium 2024 · ASL European Summer Meeting · Gothenburg
03.2024
"What is a good Gödel numbering?"
Lugano Philosophy Colloquia · Lugano
08.2023
"Admissible and adequate Gödel numberings"
The 11th European Congress of Analytic Philosophy · Vienna
05.2023
"Admissible and deviant Gödel numberings"
Logic Colloquium 2023 · ASL European Summer Meeting · Milano
04.2023
"Admissible and deviant Gödel numberings"
Research Lugano Seminar · Lugano
12.2022
"Non-wellfounded proofs"
Workshop: Varieties of Non-Wellfoundedness · Ligerz
07.2022
"Explanatory status of proofs by mathematical induction"
Congrès triennal de la société de philosophie analytique · Neuchâtel
05.2020
"Open-ended schemata in absolute generality"
ic.SoAP/EENPS · Belgrade & Genève (online)