| |
| |
- Associate Professor of Mathematics (Logic & Computer Science), University of Tabriz.
-
- PhD in
Theoretical Computer Science, University of Turku, Finland (2005); and in Mathematical Logic, Polish Academy of Sciences, Warsaw (2002).
- BSc in Pure Mathematics, Sharif University of Technology, Tehran, Iran (1997); Graduated with Distinction and the First Rank in the National Mathematical Olympiad.
- Research Interests
- Mathematical Logic
- Theoretical Computer Science
- Philosophy of Mathematics
- Recent Publications (a selection)
- Saeed Salehi (2024), Proving Concurrency by Loci, International Journal of Mathematical Education in Science and Technology (forthcoming).
- Saeed Salehi (2024), On
Gödel’s “Much Weaker” Assumption, History and Philosophy of Logic (forthcoming). Preprint: arXiv:2209.07122
- Saeed Salehi (2024), A Reunion of
Gödel,
Tarski,
Carnap, and
Rosser, Journal of Logic and Computation (forthcoming). doi: 10.1093/logcom/exad001
- Saeed Salehi (2023), On Chaitin’s Heuristic Principle and Halting Probability,
arXiv (e-Print archive): 2310.14807
- 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
- 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 6-page printable PDF file of my CV)
- Full Website (a more complete version of the website)
|
|
| |
