



Home 
Publications

Talks ⁄ Lectures

Courses ⁄ Theses

Miscellaneous













 PhD in
Theoretical Computer Science, from University of Turku (UTU), Turku, Finland (2005), under the supervision of (the late)
Magnus Steinby.
 PhD in
Mathematical Logic, from Polish Academy of Sciences (PAN), Warsaw, Poland (2002), under the supervision of
Zofia Adamowicz.
 BSc in Pure Mathematics, from Sharif University of Technology, Tehran, Iran.
 Graduated with Distinction, and the First Rank in the National Mathematical Olympiad 1997.
 Research Interests
 Mathematics
 Mathematical Logic (Completeness, Decidability, and Axiomatizability).
 Computer Science
 Theory of Computability, and Complexity Theory (and relations with Logic).
 Philosophy
 Philosophy of Mathematics (Constructivity, Intuitionism, and Incompleteness).
 Curriculum Vitae
(a printable PDF file of my CV, 6 pages).






Home 
Publications 
Talks ⁄ Lectures 
Courses ⁄ Theses 
Miscellaneous 










 Journal Papers and Book Chapters (Refereed)
 Saeed Salehi (2023), Proving Concurrency by Loci, International Journal of Mathematical Education in Science and Technology (forthcoming). Preprint: SSRN:4451055.
 Saeed Salehi (2023), On
Gödel’s “Much Weaker” Assumption, History and Philosophy of Logic (forthcoming). Preprint: arXiv:2209.07122.
 Saeed Salehi (2023), A Reunion of
Gödel,
Tarski,
Carnap, and
Rosser, Journal of Logic and Computation (forthcoming). doi: 10.1093/logcom/exad001
 Saeed Salehi (2022), Axiomatic (and NonAxiomatic) Mathematics,
Rocky Mountain Journal of Mathematics 52(4):1157–1176. doi: 10.1216/rmj.2022.52.1157
 Ziba Assadi & Saeed Salehi (2022), Gödelian Sentences, Rosserian Sentences and Truth,
Journal of Logic and Computation 32(4):729–740.
doi: 10.1093/logcom/exab075
 Saeed Salehi (2022), Tarski’s Undefinability Theorem and the Diagonal Lemma,
Logic Journal of the IGPL 30(3):489–498.
doi: 10.1093/jigpal/jzab016
 Saeed Salehi (2022), ‘Sometime A Paradox’, Now Proof: Yablo Is Not First Order,
Logic Journal of the IGPL 30(1):71–77.
doi: 10.1093/jigpal/jzaa051
 Kaave Lajevardi & Saeed Salehi (2021), There May Be Many Arithmetical Gödel Sentences,
Philosophia Mathematica 29(2):278–287.
doi: 10.1093/philmat/nkaa041
 Saeed Salehi (2021), From Intuitionism to ManyValued Logics Through Kripke Models, in:
M. Mojtahedi & Sh. Rahman & M.S. Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir, Springer, pp. 339–348.
doi: 10.1007/9783030536541_11
 Saeed Salehi (2020), Gödel’s Second Incompleteness Theorem: How It Is Derived and What It Delivers,
The Bulletin of Symbolic Logic 26(34):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
 Saeed Salehi (2020), On Rudimentarity, Primitive Recursivity and Representability,
Reports on Mathematical Logic 55:73–85. doi: 10.4467/20842589RM.20.004.12436
 Saeed Salehi & Mohammadsaleh Zarza (2020), FirstOrder Continuous Induction and a Logical Study of Real Closed Fields,
Bulletin of the Iranian Mathematical Society 46(1):225–243.
doi: 10.1007/s41980019002520
 Kaave Lajevardi & Saeed Salehi (2019), On the Arithmetical
Truth of SelfReferential Sentences,
Theoria: A Swedish Journal of Philosophy 85(1):8–17.
doi: 10.1111/theo.12169
 Ziba Assadi & Saeed Salehi (2019), On Decidability and
Axiomatizability of Some Ordered Structures,
Soft Computing 23(11):3615–3626.
doi: 10.1007/s0050001832471
 Saeed Salehi & Payam Seraji (2018), On Constructivity and
the Rosser Property: A Closer Look at Some
Gödelean Proofs,
Annals of Pure and Applied Logic 169(10):971–980.
doi: 10.1016/j.apal.2018.04.009
 Saeed Salehi (2018), On Axiomatizability of the Multiplicative
Theory of Numbers,
Fundamenta Informaticae 159(3):279–296. doi: 10.3233/FI20181665
 Parvin Safari & Saeed Salehi (2018), Kripke Semantics for
Fuzzy Logics,
Soft Computing 22(3):839–844.
doi: 10.1007/s0050001623874
 Saeed Salehi & Payam Seraji (2017), Gödel–Rosser’s
Incompleteness Theorem, generalized and optimized for definable theories,
Journal of Logic and Computation 27(5):1391–1397.
doi: 10.1093/logcom/exw025
 Ahmad Karimi & Saeed Salehi (2017), Diagonal Arguments and Fixed Points,
Bulletin of the Iranian Mathematical
Society 43(5):1073–1088.
 Saeed Salehi (2014), Gödel’s
Incompleteness Phenomenon—Computationally,
Philosophia Scientiae 18(3):23–37. doi: 10.4000/philosophiascientiae.968
 Saeed Salehi (2013), Herbrand Consistency of Some Finite Fragments
of Bounded Arithmetical Theories,
Archive for Mathematical Logic 52(34):317–333.
doi: 10.1007/s0015301203183
 Saeed Salehi (2012), Herbrand Consistency of Some Arithmetical
Theories,
The Journal of Symbolic Logic 22(3):807–827. doi: 10.2178/jsl/1344862163
 Saeed Salehi (2012), Separating Bounded Arithmetical Theories by
Herbrand Consistency,
Journal of Logic and Computation 77(3):545–560.
doi: 10.1093/logcom/exr005
 Saeed Salehi & Magnus Steinby (2007), Varieties of ManySorted Recognizable Sets,
Pure Mathematics and Applications 18(34):319–343.
 Saeed Salehi & Magnus Steinby (2007), Tree Algebras and Varieties of Tree Languages,
Theoretical Computer Science 377(13):1–24. doi: 10.1016/j.tcs.2007.02.006
 Tatjana T. Petković & Saeed Salehi (2005), Positive Varieties of Tree Languages,
Theoretical Computer Science 347(1):1–35. doi: 10.1016/j.tcs.2005.07.026
 Saeed Salehi (2005), Varieties of Tree
Languages Definable by Syntactic Monoids,
Acta Cybernetica 17(1):21–41.
 Saeed Salehi (2005), Congruence Preserving Functions of Wilke’s Tree
Algebras,
Algebra Universalis 53(4):451–470. doi: 10.1007/s0001200519126
 Saeed Salehi (2005), Polynomially Bounded Recursive Realizability,
Notre Dame Journal of Formal Logic 46(4):407–417.
doi: 10.1305/ndjfl/1134397659
 Saeed Salehi (2003), Provably Total Functions of Basic Arithmetic,
Mathematical Logic Quarterly 49(3):316–322. doi: 10.1002/malq.200310032
 Mohammad Ardeshir & Wim Ruitenburg & Saeed Salehi (2003), Intuitionistic Axiomatizations for Bounded
Extension Kripke Models,
Annals of Pure and Applied Logic 124(13):267–285.
doi: 10.1016/S01680072(03)000587
 Saeed Salehi (2002), Decidable Formulas of Intuitionistic Primitive
Recursive Arithmetic,
Reports on Mathematical Logic 36:55–61.
 Conference Papers (Short refereed)
 Saeed Salehi (2012), Axiomatizing Mathematical Theories:
Multiplication, in: A.
KamaliNejad (ed.),
Proceedings of Frontiers in Mathematical Sciences, Fundamental Education Publications (Iran), pp. 165–176.
 Saeed Salehi (2012), Computation in Logic
and Logic in Computation, in: B. SadeghiBigham
(ed.),
Proceedings of the 3rd
International Conference on Contemporary
Issues in Computer and Information Sciences, Brown Walker Press (USA),
pp. 580–583.
 Saeed Salehi (2003), A Completeness Property of Wilke’s Tree
Algebras, in: B. Rovan & P. Vojtáš
(eds.),
Proceedings of the
Mathematical Foundations of Computer Science (MFCS’03), LNCS 2747,
Springer,
pp. 662–670.
doi: 10.1007/9783540451389_60
 Saeed Salehi (2001), Unprovability of Herbrand Consistency in
Weak Arithmetics, in:
K. Striegnitz (ed.),
Proceedings of the (6th) Student Session of the (13th)
European Summer School in
Logic, Language and
Information, pp. 265–274.
 Manuscripts (Not refereed)
 Saeed Salehi (2023), On Chaitin’s Heuristic Principle and Halting Probability,
arXiv (ePrint archive): 2310.14807.
 Manizheh Jalilvand & Behzad Nikzad & Saeed Salehi (2023), What Can(not) be a Halting Probability?,
SSRN (Social Science Research Network—Theoretical Computer Science eJournal): 4602807.
 Kaave Lajevardi & Saeed Salehi (2023), Soundness Does Not Come For Free (if at all),
PhilPapers (Online Research in Philosophy): SALSDN.
doi: 10.48550/arXiv.2310.13422
& 10.2139/ssrn.4608144
Some Explanations (click on ►):
Here, we respond to some of the points made by Bennet and Blanck (2022) concerning a previous publication of ours (2021). While we published our paper in Philosophia Mathematica, their
reply appeared in Theoria, whose referees voted against our reply; but the editorinchief (Sven Hansson) gave us an opportunity to “respond to
the reviewer(s)’ comments and resubmit a revised version”. As we are busy with other projects and find the current piece adequate as a reply, we decided not to do any further work on this note and publish it with no changes.
 Kaave Lajevardi & Saeed Salehi (2023), On a Certain Fallacy Concerning Iamunprovable Sentences,
PhilPapers (Online Research in Philosophy): LAJOAC.
doi: 10.48550/arXiv.2311.06568
 Saeed Salehi (2015), Theorems
of Tarski’s Undefinability and Gödel’s
Second Incompleteness—Computationally,
arXiv (ePrint archive): 1509.00164.
 Ahmad Karimi & Saeed Salehi (2014), Theoremizing Yablo’s Paradox,
arXiv (ePrint archive): 1406.0134.
 Reviews for Zentralblatt MATH (zbMATH).
 Reviews for Mathematical Reviews (MathSciNet).
 Publications in Persian






Home 
Publications 
Talks ⁄ Lectures 
Courses ⁄ Theses 
Miscellaneous 










 Invited (a selection)

International Workshop on Gödel’s Incompleteness Theorems [online]
(Wuhan’21),
Wuhan University, Wuhan, China, 16–20 August 2021.
(Poster of the Workshop).
 Celebrating 90 Years of Gödel’s Incompleteness Theorems [online and onsite] (Tübingen’21), Carl Friedrich von Weizsäcker Center, Tübingen, Germany, 5–9 July 2021.
 Workshop on Proof
Theory, Modal Logic and Reflection
Principles (Wormshop’17), Steklov Mathematical Institute, Moscow,
Russia, 17–20 October 2017.
 MetaArithmetical
Results and their Philosophical Meaning (Swamplandia’16), Faculty of Arts and Philosophy, Ghent University, Ghent,
Belgium, 30 May–1 June 2016. (CFP in the FOM mailing list).
 The 3rd Annual Conference of the Iranian Association for Logic (IAL’15),
Tarbiat Modares University (& IAL), Tehran, Iran, 22–23 December 2015. (Poster of the conference).
 The 10th International Tbilisi Summer School in
Logic and Language (Tbilisi’14), Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia, 22–27 September 2014.
 The 3rd International Conference on
Contemporary Issues in Computer and
Information Sciences (CICIS’12), the Institute for Advanced Studies in
Basic Sciences, Zanjan, Iran, 29–31
May 2012.
 Foundations and Trends
in Computer Science (FTCS’08), Winter School by IPM
School of Computer Science and United Nations
University, IPM, Tehran, Iran, 31 January–10 February 2008.
 IPM Logic Conference (IPMLC’07),
IPM, Tehran, Iran, 10–15 June
2007.
 Algebraic Theory of
Automata and Logic (ATAL’06), a satellite event of the conference Computer Science Logic (CSL’06), Szeged, Hungary, 30 September–1 October 2006.
 Contributed (a selection)
 The 5th World Congress and School on
Universal Logic (UniLog’15),
University of Istanbul, Istanbul, Turkey,
20–30
June 2015.
 Frontiers
in Mathematical Sciences—The Second
Conference (Front’13),
Sharif University of Technology,
Tehran, Iran, 25–27 December 2013.
 Frontiers
in Mathematical Sciences—A Conference in
Honor of Siavash Shahshahani (Front’12),
Sharif University of Technology, Tehran,
Iran, 25–27 December 2012.
 The 14th
Congress of Logic, Methodology and
Philosophy of Science (CLMPS’11),
Nancy, France,
19–26 July 2011.
 The ASL European
Summer Meeting, Logic Colloquium (LC’11),
Barcelona, Spain, 11–16 July 2011.
 The International
Workshop on Logical Approaches to Barriers
in Computing and Complexity (LABCC’10),
Alfried Krupp Wissenschaftskolleg,
Greifswald, Germany, 17–20
February 2010. [On a travel grant].
 The Fourth European
Congress of Mathematics (4ECM),
Stockholm, Sweden,
27 June–2 July 2004. [On a travel grant].
 The 28th
International Symposium on Mathematical
Foundations of Computer Science (MFCS’03),
Bratislava, Slovakia,
25–29 August 2003.
 The 10th
International Conference on Automata and
Formal Languages (AFL’02),
Debrecen, Hungary,
13–18 August 2002.

The (6th) Student Session of the
(13th) European Summer School in
Logic, Language and Information (ESSLLI’01),
Helsinki, Finland, 13–24 August
2001. [On a travel grant].
 The ASL European
Summer Meeting, Logic Colloquium (LC’01),
Vienna, Austria,
6–11 August 2001. [On an ASL Student Travel Grant].
 The ASL European
Summer Meeting, Logic Colloquium (LC’00),
Paris, France, 23–31 July 2000. [On an ASL Student Travel Grant].
 The ASL European
Summer Meeting, Logic Colloquium (LC’99),
Utrecht, The Netherlands, 1–6 August
1999. [On an ASL Student Travel Grant].






Home 
Publications 
Talks ⁄ Lectures 
Courses ⁄ Theses 
Miscellaneous 










 Taught Courses (a selection)
 Postgraduate Courses [Click on ► for some references.]
Advanced Computability Theory
Some References:
 M. Sipser (2013, 3rd ed.), Introduction to the Theory of Computation, Cengage Learning.
 J. Shallit (2008), A Second Course in Formal Languages and Automata Theory, Cambridge University Press.
 M. Davis & R. Sigal & E. Weyuker (1994, 2nd ed.), Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science, Morgan Kaufmann.
Complexity Theory
Some References:
Logical Number Theory
Some References:
Logic and Computation
Some References:
Recursion Theory
Some References:
 H.B. Enderton (2010), Computability Theory: An Introduction to Recursion Theory, Academic Press.
 R.L. Epstein & W.A. Carnielli (2008, 3rd ed.), Computability: Computable Functions, Logic, and the Foundations of Mathematics, Advanced Reasoning Forum.
 S.B. Cooper (2003), Computability Theory, Chapman and Hall / CRC.
Proof Theory
Some References:
Modal Logic
Some References:
Advanced Mathematical Logic
Some References:
Universal Algebra
Some References:
 Undergraduate Courses [Click on ► for some references.]
Foundations of Mathematics
Some References:
Mathematical Logic
Some References:
Set Theory
Some References:
Discrete Mathematics
Some References:
Number Theory
Some References:
Theory of Automata and Formal Languages
Some References:
 J. Hromkovič (2010), Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography, Springer.
 J. Hopcroft & R. Motwani & J. Ullman (2006, 3rd ed.), Introduction to Automata Theory, Languages, and Computation, Pearson.
English as Lingua Franca for Mathematic
Some References:
Calculus
Some References:
 S. Shahshahani (2017, 2nd ed.), Calculus, Fatemi (in Persian).
 M. Spivak (2008, 4th ed.), Calculus, Publish or Perish.
 Supervised PhD Theses
 Department of Mathematics, University of Tabriz, Tabriz, Iran (in Persian):
 Department of Mathematics, Tarbiat Modares University, Tehran, Iran (in Persian):
 Supervised MSc Theses
 Department of Mathematics, University of Tabriz, Tabriz, Iran (in Persian):
 E. Rokni (2018), Bounded Relations and their Relation to
Primitive Recursive Relations.
 Y. Nobakht (2017), Necessary and Sufficient
Conditions for
Undecidability of the Gödel Sentence and its Truth.
 Sh. Khaleghi (2017), Standard Proofs for Gödel’s Second
Incompleteness Theorem.
 M. A. Tareeghee (2016), Yablo’s
Paradox in SecondOrder Logic.
 V. Delaramoghanloo (2015), Yablo’s Paradox and Gödel’s Incompleteness
Theorems.
 S. Ghanizadeh (2015), Kolmogorov Complexity and Characteristic
Constants of Formal
Theories of Arithmetic.
 S. Sarvarimehrabad (2015), On Proofs of the Incompleteness Theorems
Based on Berry’s Paradox.
 M. Sahahi (2015), The Incompleteness Theorems of Gödel and
Rosser.
 H. Shirzadeh (2014), The Shortest Definition of a Number in Peano
Arithmetic.
 P. Ghaemi (2014), The Surprise Examination Paradox and the
Second Incompleteness Theorem.
 Sh. Sadeghibigham (2014), Undecidability of FirstOrder Logic.
 M. Mohammadian (2013), Incompleteness in a General Setting.
 S. Esmati (2012), Nonstandard Models that are Definable in
Peano Arithmetic.
 F. Azarpeyvand (2012), Heterologicality and Incompleteness.
 N. Jangibahador (2012), An Interpolation Theorem in
FirstOrder Logic.
 M. Abedini (2010), A
Universal Approach to SelfReferential
Paradoxes, Incompleteness and Fixed Points.
 Department of Mathematics, Institute for Advanced Studies in Basic Sciences, Zanjan, Iran (in Persian):






Home 
Publications 
Talks ⁄ Lectures 
Courses ⁄ Theses 
Miscellaneous 










 Honors (a selection)
 Distinguished Reviewer (Certificate and Letter) of Zentralblatt MATH (2014).
 The first rank in the national Mathematical Olympiad of University Students (in both of the 1st and 2nd/final rounds), Iran (1997).
 The firstranked graduate of Mathematics from Sharif University of Technology, Tehran, Iran (1997).
 Grant Acquisition (external funding) as Principal Investigator (a selection)
 Researcher (Grantee) at the Institute for Research in Fundamental Sciences (IPM), Tehran, Iran:
 Project Title: On Some Multiplicative Structures of the Rational Numbers (Grant No. 98030022), 2019.
 Project Title: Gödel’s Second Incompleteness Theorem From Computational Viewpoint (Grant No. 96030030), 2017.
 Project Title: Resolving Paradoxes By Turning Them Into Proofs (Grant No. 95030033), 2016.
 Project Title: Structural Comparison of Various Proofs for Incompleteness (Grant No. 94030033), 2015.
 Project Title: Generalizing Gödel’s Incompleteness Theorem for Definable Theories (Grant No. 93030033), 2014.
 Project Title: The Incompleteness Phenomenon from Computational Viewpoint (Grant No.
92030033), 2013.
 Project Title: Axiomatizability of Some Multiplicative Structures of Numbers (Grant No.
91030033), 2012.
 Project Title: On the Decidability of Some Ordered Structures of Numbers (Grant No.
90030053), 2011.
 Project Title: On the Herbrand Consistency of Weak Arithmetical Theories (Grant No.
89030062), 2010.
 Project Title: Herbrand Consistency Predicate of Bounded Arithmetics (Grant No. 86030011), 2007.
 Research Grant awarded by the National Elites Foundation (BMN), Iran (20082009).
 Research Grants from the Iranian National Science
Foundation (INSF):
 Project Title: Diagonal Arguments: From Cantor’s NonEquinumerosity to Gödel’s Incompleteness Theorem (Grant No. 98013430), 2018.
 Research Grants awarded by the
University of Tabriz (UoT), Tabriz, Iran:
 Project Title: Gödelian Sentences and Unprovable Sentences in Arithmetical Theories (Grant No. S/1400), 2020.
 Project Title: SelfReferential Sentences in FirstOrder Arithmetical Theories (Grant No. S/872), 2019.
 Project Title: The Diagonalization Lemma and its Applications in Logic and Computer Science (Grant No. S/877) 2018.
 Project Title: Some Philosophical Considerations on Gödel’s Incompleteness Theorem (Grant No.
S/713), 2017.
 Project Title: Some Considerations on Primitive Recursive Functions and Relations (Grant No.
S/712), 2017.
 Organizing Conferences (a selection)
 A Member of the Scientific Committee of the 10th Annual Conference of the Iranian Association for Logic, Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran, 22–23 February 2023.
 A Member of the Scientific Committee of the 6th Annual Conference of the Iranian Association for Logic, Shahid Beheshti University, Tehran, Iran, 21–22 January 2019.
 A Member of the Scientific Committee of the 5th Annual Conference of the Iranian Association for Logic, Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran, 22–25 November 2017.
 Chair of Tabriz
Seminar on Mathematical Logic, University of
Tabriz, Iran, 27–28 October 2010.
 A member of the Scientific
Committee of the 38th
Annual Iranian Mathematics Conference (AIMC’38),
Zanjan University, Zanjan, Iran, 3–6
September 2007.
 Referee
 The Journal of Symbolic Logic (JSL of the Association for Symbolic Logic).
 Annals of Pure and Applied Logic (APAL of Elsevier).
 Journal of Logic and Computation (JLC of the Oxford University Press).
 Theoretical Computer Science (TCS of Elsevier).
 The Review of Symbolic Logic (RSL of the Association for Symbolic Logic).
 Philosophia Mathematica (PhilMath of the Oxford University Press).
 Logic Journal of the Interest Group in Pure and Applied Logics (IGPL of the Oxford University Press).
 ACM Transactions on Computational Logic (TOCL of the Association for Computing Machinery).
 International Journal of
Foundations of Computer Science (IJFCS of the World Scientific).
 Bulletin of the Iranian
Mathematical Society (BIMS of Springer).
 Journal of Logic, Language and Information (JLLI of Springer).
 Discussiones
Mathematicae—General Algebra and
Applications (DMGAA of the University of Zielona Góra).
 Notre Dame Journal of Formal
Logic (NDJFL of the University of Notre Dame).
 (Proceedings of the) Conferences: (i) WoLLIC
2017, (ii) AFL’11, (iii) ICALP’04.
 Iran National Science
Foundation (INSF).
 Iranian Journal of Mathematical
Sciences and Informatics (IJMSI of Tarbiat Modares University).
 Mathematical Culture and Thought (MCT of the Iranian
Mathematical Society, in Persian).
 Internet Links
 Appendix (Some More Information, Pictures, Videos, and Mementos).





www.SaeedSalehi.ir

