



Home 
Research

Talks

Edicational

Miscellaneous











 Date of Birth: 1976,
January 15 (the day after World Logic Day!). It was officially registered as 16/09/1975, so that I could go to school early.
 University of Tabriz (since 2007). Associate Professor of Mathematics (since 2013).


 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.
 MSc in Mathematics, from School of Exact Sciences in Warsaw, Poland (2001).
 Subject: Intuitionistic Arithmetic.
 BSc in Pure Mathematics, from Sharif University of Technology, Tehran, Iran (1997).
 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).






Home 
Research 
Talks 
Educational 
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), How (not) to Compute the Halting Probability,
SSRN (Social Science Research Network—Theoretical Computer Science eJournal): 4602807.
doi: 10.32388/FTEFK8.2
 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.
 Book Reviews
 Dag Westerståhl, Foundations of Logic: completeness, incompleteness, computability, CSLI Publications (2023); Teaching Philosophy 47(3):460–463(2024).
doi: 10.5840/teachphil2024473221
 Philippe Zaouati,
Perelman’s
Refusal: a novel (Translated from the French by Rachel Zerner), American Mathematical Society (2021); zbMATH Open (Zbl 1482.00003).
 Jan von Plato, Can Mathematics Be Proved Consistent?
Gödel’s shorthand notes &
lectures on incompleteness, Springer (2020); zbMATH Open (Zbl 1466.03001).
 Markus Lohrey, The Compressed Word Problem for Groups, Springer (2014); zbMATH Open (Zbl 1391.20003).
 Peter Smith, An Introduction to Gödel’s Theorems, Cambridge University Press (2013, 2nd ed.); zbMATH Open (Zbl 1270.03002).
 Peter Smith, An Introduction to Gödel’s Theorems, Cambridge University Press (2008, reprint with corrections of the 2007 original 1st ed.); zbMATH Open (Zbl 1154.03002).
 Reviews for Zentralblatt MATH (zbMATH Open).
 Reviews for Mathematical Reviews (MathSciNet).
 Publications in Persian
 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.
 Referee
 The Journal of Symbolic Logic (JSL of the Association for Symbolic Logic).
 The Bulletin of Symbolic Logic (BSL of the Association for Symbolic Logic).
 The Review of Symbolic Logic (RSL of the Association for Symbolic Logic).
 Annals of Pure and Applied Logic (APAL of Elsevier).
 Theoretical Computer Science (TCS of Elsevier).
 Journal of Logic and Computation (JLC of the Oxford University Press).
 Logic Journal of the Interest Group in Pure and Applied Logics (IGPL of the Oxford University Press).
 Philosophia Mathematica (PhilMath 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).

International Journal of Mathematics and Mathematical Sciences (IJMMS of Wiley).






Home 
Research 
Talks 
Educational 
Miscellaneous 










 Invited
 Mathematical Logic and its Applications [onsite] (IPM’24),
IPM,
Tehran, Iran, 29–30 May
2024.

Seminars "Proof Theory" and "Logic Online Seminar" [online]
(MathlogicMoscow),
Steklov Mathematical Institute, Moscow, Russia, 15 April
2024.

The New York City Category Theory Seminar [online & onsite] (NYCTS), The Graduate Center of The City University of New York, USA,
7 February 2024.

The 6th International World Logic Day [online & onsite] (WLD'24), Iranian Association for Logic, hosted by School of Mathematics, IPM, Tehran, Iran, 14 January 2024.
 National Informatic Conference of Iran
[online] (NIC'24), School of Computer Science, IPM, Tehran, Iran, 3–4 January 2024.

The New York City Category Theory Seminar [online & onsite] (NYCTS), The Graduate Center of The City University of New York, USA,
23 November 2022.
 7th Frontiers Summer School in Mathematics [onsite]
(School’1401),
Institute for Advanced Studies in Basic Sciences (IASBS), Zanjan, Iran, 27–30 August 2022.

Monthly Talks of the Iranian Association for Logic [online] (IAL Monthly), Iran, 22 August 2022.

Weekly Seminars on Models of Peano Arithmetic [online] (MoPA), City University of New York, Graduate Center, USA,
10 May 2022.

International Workshop on Gödel’s Incompleteness Theorems [online]
(Wuhan’21),
Wuhan University, Wuhan, China, 16–20 August 2021.
 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.
 The 3rd International World Logic Day [online] (WLD’21),
Iranian Association for Logic, hosted by Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran, 14 January 2021.
 Mathematical Logic and its Applications (Arak’19),
Technical University of Arak (& IPM), Arak, Iran, 4 September 2019.
 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).
 IPMIsfahan Workshop
on Various Aspects of Modality (Isfahan’16), IPMIsfahan Branch, Isfahan,
Iran, 12 May 2016.
 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).
 Biweekly Seminars on Logic (Fall 2014), Amirkabir University of Technology (Tehran Polytechnic), Tehran,
Iran, 28 October 2014.
 The 10th International Tbilisi Summer School in
Logic and Language (Tbilisi’14), Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia, 22–27 September 2014.
 Mathematical Logic and its Applications (IPM’13),
Shahid Beheshti University (& IPM),
Tehran, Iran, 18–19 December 2013.
 Summer School on
Theoretical Computer Sciences (IPMCS’12),
IPM, Tehran, Iran, 7–15 July 2012.
 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
 Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 20 June 2019.
 Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 21 March 2017.
 The 5th World Congress and School on
Universal Logic (UniLog’15),
University of Istanbul, Istanbul, Turkey,
20–30
June 2015.
 Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 30 October 2014.
 Frontiers
in Mathematical Sciences—The Second
Conference (Front’13),
Sharif University of Technology,
Tehran, Iran, 25–27 December 2013.
 Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 3 October 2013.
 Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 25 April 2013.
 Frontiers
in Mathematical Sciences—A Conference in
Honor of Siavash Shahshahani (Front’12),
Sharif University of Technology, Tehran,
Iran, 25–27 December 2012.
 Mathematical Logic and its Applications (Kerman’12),
Shahid Bahonar University of Kerman (& IPM),
Kerman, Iran, 14–15 November 2012.
 Mathematical Logic and its Applications (Isfahan’11),
University of Isfahan, Isfahan, Iran, 30 November–1 December 2011.
 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.
 Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 2 December 2010.
 Tabriz Seminar on Mathematical Logic (Tabriz'2010),
University of Tabriz (& IPM),
Tabriz, Iran, 27–28 October 2010.
 Modal Logic and Computer Science (IPM’10),
IPM, Tehran, Iran, 3 June 2010.
 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].
 TwoDay Seminar on Mathematical Logic (IPM’09),
IPM, Tehran, Iran, 30–31
December 2009.
 Colloquium on Mathematical Logic (CML’06),
Universiteit Utrecht (and Universiteit van Amsterdam – a joint event), Utrecht, The Netherlands, 21 April 2006.
 Mathematical Lectures (IPM 2004),
School of Mathematics, IPM, Tehran, Iran, 1–2 December 2004.
 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].
 Invited talks / lectures that were not delivered:
 6th Frontiers Summer School in Mathematics [online]
(School’1400),
IPM, Tehran, Iran, 23 August–2 September 2021.
 Logical Models of Reasoning and Computation
(LMRC’08),
Steklov Mathematical Institute, Moscow, Russia, 5–8 May 2008.






Home 
Research 
Talks 
Educational 
Miscellaneous 










 Mathematics Genealogy
As depicted in this picture, my scientific ancestors go back to Chioniadis (Ilkhans Court at Tabriz, 1296) and then to the Iranian Khawaja Nasir alDin alTusi and finally to Sharaf alDin alTusi, according to the website of Mathematics Genealogy Project (a service of the NDSU Department of Mathematics, in association with the American Mathematical Society); many other great scientists (such as Tarski, Lobachevsky, Kant, Kepler, Copernicus, and Leibniz) show up in the middle of the scientific ancestral tree (and da Vinci, Gauß, Cantor, and Hilbert are some scientific distant cousins there).
 (More on my) PhD Theses
 Degree Certificates
 Transcripts
 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):
 Supervised BSc Theses
 Department of Mathematics, University of Tabriz, Tabriz, Iran (in Persian):
 S. Hosseinkhani (2014), A Mathematical Introduction to Logic.
 A. Esmailzadeh (2013), The Philosophy and Logic
of Mathematics.
 M. Jafari (2012), The Foundations of
Mathematical Sciences and Set Theory.
 M. Rezayati (2011), Mathematical Logic and
Set Theory.
 F. Karimi (2010), The Foundations of
Mathematics and Its Problems.
 Some Other TeachingRelated Activities
 Tabriz Math House

The main objectives of the house are popularizing mathematics (and raising public awareness of its applications and beauty) and organizing competitions for high school students, such as the international mathematics tournament of the towns.
One thing that I am doing in the House is translating the tournament questions (sent from Moscow) from English to Persian for Iranian students and then translating back their (correct and incorrect!) answers from Persian to English for sending to Moscow (to be regraded and awarded accordingly). It is fun and challenging to translate the wrong answers or fallacious mathematical proofs and resist correcting them!
 Designing New Courses
 Designing Questions for National Entrance Examinations
 For the Entrance Exams of MSc and PhD Programs in Mathematical Logic and Computer Science, 2012 and 2013.
 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.






Home 
Research 
Talks 
Educational 
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).
 Awarded Grants (a selection)
 Some (International) Travel Grants
 Grant for participating and delivering a talk at the International
Workshop on Logical Approaches to Barriers in Computing and Complexity (LABCC’10),
Greifswald, Germany, 17–20
February 2010.
 Grant for participating and presenting a poster at the Fourth European
Congress of Mathematics (4ECM),
Stockholm, Sweden,
27 June–2 July 2004.
 Grant for participating at the Summer School on Structural Theory of Automata, Semigroups and Universal Algebra, NATO Advanced Study Institute and Universite de Montreal, Montreal, Canada, 7–18 July 2003.
 Grant for participating at the Summer School and Workshop on
Proof Theory, Computation and Complexity, Technische Universitat Dresden, Dresden, Germany, 23 June–4 July 2003.
 Grant for participating and delivering a talk at the (6th) Student Session of the
(13th) European Summer School in
Logic, Language and Information (ESSLLI’01), Helsinki, Finland, 13–24 August
2001.
 ASL Student Travel Grants for participating and delivering talks at Logic Colloquiums in 1999 (Utrecht, The Netherlands), 2000 (Paris, France), and 2001 (Vienna, Austria).
 Visits (a selection)
 Postdoctoral (funded) visit to the
Department of Mathematics, Institute for
Advanced Studies in Basic
Sciences, Zanjan, Iran, October 2006–September 2007.
 Postdoctoral (funded) visit to the Research
Group for Theoretical Computer Science and
Logic, Institute of Computer Science and Applied Mathematics,
Universität Bern, Bern,
Switzerland, September 2006.
 Postdoctoral (funded) visit to the
Department
of Philosophy and Religious Studies, Universiteit Utrecht, Utrecht,
The Netherlands,
April 2006.
 Administrative Services (a selection)
 A Committee Member for Promotion and Tenure Applications of Faculty Staff, as an external referee (in other universities).
 A Member of the Admission Committee (for [post]graduate students) at the University of Tabriz.
 A Member of the Faculty Hiring Search Committee, University of Tabriz.
 Serving on various educational and research committees at the University of Tabriz.
 Advisor and referee of several MSc and PhD theses (at various universities).
 Referee of several Book Proposals.
 A Member of the Logic Group Council, School of Mathematics, IPM, 2013–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 the 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.
 Some Videos
 Some Photos
 A
photo of IPM’13, Tehran, 29 May 2024 (Gallery)

Some Photos of Arak’19,
Arak, 4 September 2019
 A
photo with Matthias Baaz (during
Tbilisi’14), Tbilisi, 24 September 2014
 A
photo of IPM’13, Tehran, 18 December 2013
 Two Group Photos (the first and
the second) of
Kerman’12, Kerman, 15 November 2012.
 Group Photo of
Isfahan’11, Isfahan, 1 December 2011
 A
photo with Wilfrid Hodges (during CLMPS’11);
and a photo of my talk at CLMS’11, Nancy, 25 July 2011
 A photo with
Joan Bagaria and Joost Joosten (during LC’11), Barcelona, 11 July 2011
 Group Photo of IPM’09, Tehran, 31 December 2009
 Group Photo of IPMLC’07, Tehran, 15 June 2007
 A photo with Jorge Almeida, Porto, June 2006
 A photo
with Dirk van Dalen.
Another one with Dirk and his wife, Dokie.
One other on the grave of L.E.J. Brouwer, Utrecht, April 2006
 A photo of my supervisor (Magnus Steinby) and grandsupervisor (Arto Salomaa) with me, Turku, July 2004
 A photo with
Wim Ruitenburg and Magnus Steinby, Turku, August 2003
 Some photos from Wim Ruitenburg's website:
the first (with Albert Visser, Turku, August 2003) [a bigger photo] and
the second (Utrecht, August 1999)
 Some photos (the first,
the second,
the third, the fourth,
the fifth, and the sixth) of the MFCS 2003,
Bratislava, August 2003
 Group Photo of SMS’03, Montreal, 18 July 2003
 Group Photo of
AFL’02, Debrecen, 18 August 2002
 Group Photo of Logic Colloquium 2001, Vienna, 11 August 2001
 Some (Nostalgic) Name Badges
 Name Badge of
Wormshop’17, Moscow,
17–20 October 2017
 Name Badge of
Swamplandia’16, Ghent,
30 May–1 June 2016
 Name Badge of
Isfahan’16, Isfahan,
12 May 2016
 Name Badge of
CICIS’12, Zanjan, 29–31
May 2012
 Name Badge of
CLMPS’11,
Nancy,
19–26 July 2011
 Name Badge of
LC’11,
Barcelona, 11–16 July 2011
 Name Badge of
LABCC’10,
Greifswald, 17–20
February 2010
 Name Badge of
FTCS’08, Tehran, 31 January–10 February 2008
 Name Badge of
IPMLC’07,
Tehran, 10–15 June
2007
 Name Badge of
ATAL’06 (of CSL’06), Szeged, 30 September–1 October 2006
 Name Badge of
ICALP’04, Turku, 12–16 July 2004.
 Name Badge of
4ECM,
Stockholm,
27 June–2 July 2004
 Name Badge of
MFCS’03,
Bratislava,
25–29 August 2003
 Name Badge of
SMS’03, Montreal, 7–18 July 2003
 Name Badge of
WPT’03, Dresden, 23 June–4 July 2003
 Name Badge of AFL’02,
Debrecen,
13–18 August 2002
 Name Badge of
ESSLLI’01,
Helsinki, 13–24 August
2001
 Name Badge of
LC’01,
Vienna,
6–11 August 2001
 Name Badge of
LC’00,
Paris, 23–31 July 2000
 Name Badge of
LC’99,
Utrecht, 1–6 August
1999
 Name Badge of
a TUCS Christmas party

A Persian Translation of Enderton’s Logic Book
The late Professor Herbert B. Enderton once wrote on his homepage about his book
A Mathematical Introduction to Logic: “I am told that a Farsi translation was published in Tehran by Markaz Nashr Daneshgahi, but I have never seen a copy.”
I offered to send him a Persian translation of the book on 19 October 2009, and he happily agreed. On 24 November 2009 he wrote to me, “Saeed, the book arrived today! I am very happy that
at last I can see the Farsi translation. Thank you!
I am indebted to your kindness in sending me the book.”
He died the next year (on 20 October 2010).
in which he had written, “A Farsi translation of the first edition was published in Tehran by Markaz Nashr Daneshgahi. I recently received a copy, courtesy of Dr. Saeed Salehi, of the University of Tabriz.” God Bless Him.
 A Blog Post based on a work of mine by Dick Lipton & Ken Regan (see also a news.knowledia.com entry
and Maths Online by Stella Seremetaki).
 Internet Links
 Hobbies
 reading and listening to music (very often done together!),
 walking (long distances) and sightseeing (cities and nature),
 Tai Chi Chuan – Yang Style (for keeping fit and staying healthy).





www.SaeedSalehi.ir

