|
|
|
|
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), 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)
- 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 on-site] (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.
- 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).
- 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 (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 (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 Theor
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 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):
|
|
|
|
|
|
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 the 2nd/final rounds), Iran (1997).
- The first ranked 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 (2008-2009).
- Research Grants from Iran 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
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.
- 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
|
|