**Mathematical Logic Weekly Seminar**

Theory of Fuzzy Time Computation (TC+CON(TC^*)ͰP≠NP)

Farzad Didehvar, Amir Kabir University of Technology

10 JUL 2024

14:00 - 16:00

There are different types of approaches to solve P vs NP, some of them are logical approaches. The lecturer's PhD thesis [11] is based on one of these logical approaches 2002 [2], [6]. Till 2011, he and some other logicians made an unsuccessful aƩempt to shed light on this problem in this way. In 2010‐2011, he started to introduce another logical approach based on paradoxes, more specifically ?Unexpected Hanging Paradox?. The goal is to use paradoxes similar to applying paradoxes (Liar Paradoxes) in the Godel?s Incompleteness Theorem [14], [15], [16]. In [5], [16] (2017), he showed by defining a new version of this paradox, we face a contradiction, not a paradox. To cope with this situation, in 2019 Fuzzy Time [4], [17] (or as some of the speaker?s colleagues used it later on, Temporal Continuum (2023) or Continuity in Time (2024)) came into the centre of the subject and discussion. Nevertheless, we have concepts similar to the fuzziness of Time and space in the history of science, Mathematics, Philosophy and Physics [7], [12], [13]. Based on that, the speaker claimed a new interpretation of Quantum Mechanics, the ?Fuzzy time‐particle? interpretation of Quantum Mechanics [1], [3], [4]. ?Theory of Fuzzy Time Computation?, is introduced in [8], [9], [10], monthly seminars of the Iranian Association of Logic [18], and The 10th annual conference of the Iranian Association for Logic (IAL) (2023) [19]. In 2023, this Theory was introduced in a paper in HAL [9] and now it is in development. In this lecture, after defining this Theory, we explain a part of it in details, and as the main conclusion, we prove TC+CON(TC^* )ͰP≠NP.

Join Zoom Meeting

https://us06web.zoom.us/j/9086116889?pwd=WGRFOGZWZ1FOMXJrcWpJMWFqUFIvQT09&omn=88907944379

Meeting ID: 908 611 6889

Passcode: 362880

Venue: Niavaran, Lecture Hall 2

References.

1. Computing Fuzzy Time Function, F.Didehvar, Philpapers, SSRN 2022

2. B.Poizat, Les petit cailloux. Une approach modele-theorique de l?Algorithmie , Nur al-Mantiq wal-Ma?rifah, no.3.Ale?as, Lyon 1995, 2 pp.

3. Does accepting Fuzzy Time-Particle interpretation of Quantum Mechanics, refutes the other interpretations? (Is fuzziness of time checkable experimentally?), F.Didehvar, Philpapers, SSRN, 2021

4.Fuzzy time a solution for unexpected hanging Paradox ( a Fuzzy interpretation Of Quntum Mechanics)), Philpapers 2019-4-13

5. Is Classical Mathematics appropriate for Theory of Computation? F.Didehvar, Philpapers(Manuscript), 2017,2018,2019, Handbook of the 6th World Congress and School on Universal Logic, Vichy France, 2018

6. L. Blum, M.Shub, S. Smale, ?On a Theory of Computation and Complexity over the real numbers: NP-Comleness, Recursive Functions and Universal Machines, Bull.Amer.Mth.Soc.(N.S.) 21 (1): 1-46 (July 1989).

7. , M. Van Aten, On BrouwerWadsworth Philosopher?s Series, 2004 (PersianTranslation by M. Ardeshir)

8. TC+CON(TC*) deduce P is not equal to NP, F.Didehvar, Philpapers(Manuscript), 2020

9.-Theory of Fuzzy Time Computation (TC^* vs TC &TQC), hal-04330281

10. P ≠ NP, by Accepting to Make a Shift in the Theory (Time as a Fuzzy Concept), F.Didehvar, Philpapers, SSRN, 2021

11. Some Concepts and Problems in Theory of Complexity in Structures, published as ?Generalization of Some Concepts Theory in Structures?, Ph.D Thesis, 2002

12. C.Wetterich, Probabilistic Time, Foundation of Physics, 2012

13. Zeno Paradox, Unexpected Hanging Paradox (Modeling of Reality & Physical Reality, A Historical-Philosophical view), F.Didehvar, Philpapers, (Manuscript)2022 Conferences

14. When proof doesn?t show the Truth, Philosophy Day in Iran (Logic and Philosophical Logic, Tradition and Modern), 2010/11/19, Tehran, Iran.

15. A Semantic Situation without Syntax (Non-axiomatizibility of Theories), Universal Logic 2015, (5th World Congress and school, 2015/6/28, Istanbul University.

16. Is Classical Mathematics Appropriate for Theory of Computation?, Universal Logic 2018, (6th World Congress and school, 2018/6/28, Vichy University Campus.

17. Fuzzy Time, from Paradox to Paradox, The 50th Annual Iranian Mathematics Conferences, Shiraz, Iran, Shiraz University, 26-29 August, 2019, Shiraz University.

18. The impacts of Logic, Paradoxes in on side and Theory of Computation in the other side (Fuzzy Time Computation), (TC*، زمان فازی) تاثیر و تاثر منطق و پارادوکسها بر نظریه محاسبات عام 20 June 2022 (In Persian), https://ialogic.ir/index.php/2022-12-11-17-07--09/lectures/258--2022-06--15--05-07-35 The slides are in Philpapers.

19. About a Proof (TC + CON(TC ∗)Ͱ(P≠NP), The 10th Annual Conference of the Iranian Logic Association, February, 22, 2023-

**Venue**: Niavaran, Lecture Hall 2