| |
| |
|
| |
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 Non-Axiomatic) 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 Many-Valued 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/978-3-030-53654-1_11
- 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
- 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), First-Order Continuous Induction and a Logical Study of Real Closed Fields,
Bulletin of the Iranian Mathematical Society 46(1):225–243.
doi: 10.1007/s41980-019-00252-0
- Kaave Lajevardi & Saeed Salehi (2019), On the Arithmetical
Truth of Self-Referential 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/s00500-018-3247-1
- 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/FI-2018-1665
- Parvin Safari & Saeed Salehi (2018), Kripke Semantics for
Fuzzy Logics,
Soft Computing 22(3):839–844.
doi: 10.1007/s00500-016-2387-4
- 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(3-4):317–333.
doi: 10.1007/s00153-012-0318-3
- 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 Many-Sorted Recognizable Sets,
Pure Mathematics and Applications 18(3-4):319–343.
- Saeed Salehi & Magnus Steinby (2007), Tree Algebras and Varieties of Tree Languages,
Theoretical Computer Science 377(1-3):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/s00012-005-1912-6
- 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(1-3):267–285.
doi: 10.1016/S0168-0072(03)00058-7
- 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.
Kamali-Nejad (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. Sadeghi-Bigham
(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/978-3-540-45138-9_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 (e-Print 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 editor-in-chief (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 I-am-unprovable 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 (e-Print archive): 1509.00164.
- Ahmad Karimi & Saeed Salehi (2014), Theoremizing Yablo’s Paradox,
arXiv (e-Print 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 (2008-2009).
- Research Grants from the Iranian National Science
Foundation (INSF):
- Project Title: Diagonal Arguments: From Cantor’s Non-Equinumerosity 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: Self-Referential Sentences in First-Order 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 [on-site] (IPM’24),
IPM,
Tehran, Iran, 29–30 May
2024.
-
Seminars "Proof Theory" and "Logic Online Seminar" [online]
(Mathlogic-Moscow),
Steklov Mathematical Institute, Moscow, Russia, 15 April
2024.
-
The New York City Category Theory Seminar [online & on-site] (NYCTS), The Graduate Center of The City University of New York, USA,
7 February 2024.
-
The 6th International World Logic Day [online & on-site] (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 & on-site] (NYCTS), The Graduate Center of The City University of New York, USA,
23 November 2022.
- 7th Frontiers Summer School in Mathematics [on-site]
(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 on-site] (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.
- Meta-Arithmetical
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).
- IPM-Isfahan Workshop
on Various Aspects of Modality (Isfahan’16), IPM-Isfahan 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 (IPM-CS’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 (IPM-LC’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].
- Two-Day 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.
- Title (Tutorial): A Quick Introduction to Mathematical Logic (for undergraduate students of mathematics).
- 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 al-Din al-Tusi and finally to Sharaf al-Din al-Tusi, 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 Second-Order 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 First-Order 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
First-Order Logic.
- M. Abedini (2010), A
Universal Approach to Self-Referential
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 Teaching-Related 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 re-graded 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 first-ranked 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)
- Post-doctoral (funded) visit to the
Department of Mathematics, Institute for
Advanced Studies in Basic
Sciences, Zanjan, Iran, October 2006–September 2007.
- Post-doctoral (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.
- Post-doctoral (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 IPM-LC’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 grand-supervisor (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
IPM-LC’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
|
| |
.jpg){kind=link}
.jpg){kind=link}
.jpg){kind=link}
