| |
| |
- Professor at Plaksha University, Punjab, India.
- PhD in
Theoretical Computer Science, University of Turku, Finland (2005);
and in Mathematical Logic, Polish Academy of Sciences, Warsaw (2002).
- Research Interests
- Mathematical Logic
- Theoretical Computer Science
- Philosophy of Mathematics
- Recent Publications (a selection)
- Kaave Lajevardi & Saeed Salehi (2026), On a Fallacy Concerning I-Am-Unprovable Sentences: Reflections on Gödel’s Introduction,
History and Philosophy of Logic (forthcoming).
doi: 10.1080/01445340.2025.2590877
- Saeed Salehi (2025), On
Gödel’s “Much Weaker” Assumption, History and Philosophy of Logic 46(4):488–497 (Invited Paper for the Special Issue on 90 Years of
Gödel's Incompleteness Theorems: Historical and Philosophical Perspectives). doi: 10.1080/01445340.2024.2393549
- Saeed Salehi (2024), A Reunion of
Gödel,
Tarski,
Carnap, and
Rosser, Journal of Logic and Computation 34(6):1172–1178 (Invited Paper for the Special Issue on 90 Years of
Gödel's Incompleteness Theorems: Logic and Computation). doi: 10.1093/logcom/exad001
- Saeed Salehi (2022), Axiomatic (and Non-Axiomatic) Mathematics (a Survey),
Rocky Mountain Journal of Mathematics 52(4):1157–1176. doi: 10.1216/rmj.2022.52.1157
- Saeed Salehi (2020), Gödel’s Second Incompleteness Theorem: How It Is Derived and What It Delivers,
The Bulletin of Symbolic Logic 26(3-4):241–256.
doi: 10.1017/bsl.2020.22
- Saeed Salehi (2020), On the Diagonal Lemma of Gödel and Carnap,
The Bulletin of Symbolic Logic 26(1):80–88.
doi: 10.1017/bsl.2019.58
- Recent Invited Talks (a selection)
- Mathematical Logic and its Applications [on-site] (IPM’24),
IPM,
Tehran, Iran, 29–30 May
2024.
Title: A Stumble of the Genius: Gödel’s ω-Consistency.
-
Seminars "Proof Theory" and "Logic Online Seminar" [online]
(Mathlogic-Moscow),
Steklov Mathematical Institute, Moscow, Russia, 15 April
2024.
Title: How (not) to Compute the Halting Probability or Validate the Heuristic Principle.
(Video)
-
The New York City Category Theory Seminar [online & on-site] (NYCTS), The Graduate Center of the City University of New York, USA, 23 November 2022.
Title: Self-Reference and Diagonalization: their difference and a short history. (YouTube Video)
-
International Workshop on Gödel’s Incompleteness Theorems [online]
(Wuhan’21),
Wuhan University, Wuhan, China, 16–20 August 2021.
Title: Some Fairies in the Incompleteness Wonderland.
(YouTube Video)
- Celebrating 90 Years of Gödel’s Incompleteness Theorems [online and on-site] (Tübingen’21), Carl Friedrich von Weizsäcker Center, Tübingen, Germany, 5–9 July 2021.
Title: The Diagonalization Lemma—Demystified Hopefully. (YouTube Video)
- 📋Curriculum Vitae
(a 7-page printable PDF file of my CV)
- 🎓 Information for Prospective Students (UG, MSc, PhD, PostDoc)
- 💻Full Website (a more complete version of the website)
|
|
| |
