"زمان‌بندی سخنرانی‌ها و ارائه‌های دهمین همایش سالیانه انجمن منطق ایران"
------------------------------

برای آگاهی از اطلاعات جدید درباره همایش لطفاً به سایت انجمن منطق ایران https://ialogic.ir مراجعه کنید و سؤالات خود را با ما از طریق ایمیل [email protected] در میان بگذارید.

کمیته اجرایی دهمین همایش سالیانه انجمن منطق ایران

از استقبال خوب شما اساتید، دانشجویان، پژوهشگران و فرهیختگان محترم جامعه منطق ایران که در مهلت اعلام شده، برای شرکت در دهمین همایش سالیانه انجمن منطق ایران ثبت‌نام نمودید، سپاسگزاریم.

با توجه به اختلالات اینترنتی، اگر تا امشب ساعت ۲۴ موفق به ثبت‌نام نشدید یا با مشکلاتی مواجه شدید، سامانه تا فردا ساعت ۹ شب فعال خواهد بود و شما می‌توانید ثبت‌نام خود را تکمیل نمائید.

با ثبت نام به موقع ما را در برگزاری شایسته این همایش یاری نمائید:

*. فرم ثبت نام (با توجه به پایان مهلت ثبت نام، غیرفعال شد.)

کمیته اجرائی دهمین همایش سالیانه انجمن منطق ایران

کتابچه‌ی چکیده‌های ارائه‌ها و سخنرانی‌های دهمین همایش سالیانه انجمن منطق ایران

برنامه سخنرانی‌های حضوری چهارشنبه 3 اسفند 1401 - صبح
دانشکده ریاضی و علوم کامپیوتر، دانشگاه صنعتی امیرکبیر، تهران، ایران

برنامه هم زمان در هر دو سالن از طریق لینک‌های زیر به صورت مجازی پوشش داده خواهد شد:
اتاق (1): https://meetings2.aut.ac.ir/logicday /
اتاق (2): https://meetings2.aut.ac.ir/logicday2/

برنامه سخنرانی‌های حضوری چهارشنبه 3 اسفند 1401 - عصر
دانشکده ریاضی و علوم کامپیوتر، دانشگاه صنعتی امیرکبیر، تهران، ایران

برنامه هم زمان در هر دو سالن از طریق لینک‌های زیر به صورت مجازی پوشش داده خواهد شد:
اتاق (1): https://meetings2.aut.ac.ir/logicday /
اتاق (2): https://meetings2.aut.ac.ir/logicday2/

برنامه سخنرانی‌های مجازی - پنج‌شنبه 4 اسفند 1401 - صبح و عصر
لینک همایش: https://meetings2.aut.ac.ir/logicday2

آدرس برگزاری همایش:  تهران، خیابان ولیعصر (عج)، خیابان رشت، دانشگاه صنعتی امیرکبیر، دانشکده ریاضی و علوم کامپیوتر (ساختمان خوارزمی)، طبقه سوم، سالن‌های ۳۱۱ و سالن فجر از مجموعه تالارهای دانشگاه

https://maps.app.goo.gl/W3gX8xAujnDtbkEh6

برای دسترسی به برنامه زمان‌بندی ارائه‌ها و سخنرانی‌ها، چکیده مقالات، پوستر فارسی و انگلیسی، آدرس و مکان‌یاب همایش رمزینه بالا را اسکن کنید.
پیوند کوتاه رمزینه:
10a.ir/TbZ

Martin's Maximum, Woodin's P_max axiom (*), and Cantor's Continuum Problem

Ralf Schindler
University of Münster

Abstract: In 2019, D. Asperó and the speaker showed that Martin's Maximum^++ implies the P_max axiom (*). This amalgamated two prominent maximality principles which before had often been considered as competitors. We provide some background, give a hint about the proof method, and mention further developments and open questions for future research. We also discuss to which extent our result has a philosophical impact, in particular concerning the question as to how many real numbers there are.

A Galois connection between Turing jumps and limits

Vasco Brattka
University of the Bundeswehr Munich

Abstract: We discuss a Galois connection between Turing jumps and limits that offers a fresh view on the class of limit computable functions and its properties. This view does not only offer simplified proofs of many known classical results in computable analysis, but also new insights. With this approach we also propagate a more uniform view on computability theory in general.

About a Proof ( TC+CON(〖TC〗^*)Ͱ(P≠NP))
Farzad Didehvar
Amir Kabir University (Tehran Polytechnic)
[email protected]

Abstract: In this talk, we introduce Theory of Fuzzy Time Computation (TC^*). We show this theory is as plausible as Theory of Computation (TC) in Modeling Physical world. As an advantage, we show TC^* is a better theory to consider for Complexity Theory problems respect to TC. More exactly, first we define the correspondent complexity classes in the new theory as P^*,〖 NP^*,BPP〗^*,〖 MA〗^*,AM^* [1],[3],[5],[6],[7].
In the novel Theory, We prove P^*=BPP^*, 〖 MA〗^*=AM^* [3].
As the major result of this talk, we show TC+CON(TC^* )Ͱ(P≠NP) [4]. We try to explain the details of the proof.
We provide a reason to show CON(TC^* ) is plausible in the real world. To do that, we introduce a novel interpretation of Quantum Mechanics (Fuzzy time-Particle interpretation of Quantum Mechanics) [2]. In addition to the above, some Mathematician and Philosophers like Brouwer and Husserl believed some ideas similar to the Fuzziness of Time [8].
Keywords: TC^*, scope_ ^*, P≠NP, P^*≠NP^*, Fuzzy time

Refrences:
1. L.Babai “TRADING Group Theory for Randomness”, STOC’85: Proceedings
of the seventeenth annual ACM symposium on Theory of Computing, ACM,
pp.421-429, 1985
2. F.Didehvar, Computing Fuzzy Time Function, SSRN, 2022
3. F.Didehvar, Theory of Fuzzy Time Computation 〖(TC〗^*), HAL (Id: hal-03962654), 2023
4. F.Didehvar, Theory of Fuzzy Time Computation (2), SSRN,2023
5. O.Goldreich, In a world of P=BPP
6. O.Goldreich, Studies in Complexity and Cryptography: Miscellanea on the
interplay between Randomness and Computation , Vol 6650 of Lecture Notes
in Computer Science, Springer 2011, P 43.
7. S.Goldwasser; M.Sipser “Private coins versus public coins in interactive
proof systems”, STOC’86: Proceedings of the eighteenth annual ACM
symposium on Theory of Computing, ACM, PP.59-68, 1986
8. Van Aten M, On Brouwer, Wadsworth Philosopher’s Series, 2004

A property for minimal but not strongly minimal structures

Nazanin Roshandel Tavana
Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran

Abstract: For a countable first order language L, an infinite L-structure is minimal if every definable subset with parameters in M is finite or cofinite. A minimal structure M is strongly minimal if every elementarily equivalent structure to M is minimal. It is obvious that every strongly minimal structure is minimal. But there are some examples of minimal but not strongly minimal structures, as (ω, <). The question which is studied in this peper is as follows.
Q: Let M and N are minimal but not strongly minimal structures with M ≡ N. Then, is M ≅ N? This conjecture is due to A. Nurtazin from 2004.
In this article, This conjecture will be rejected.

Keywords: Minimal but not strongly minimal structure, Hrushovski construction.

https://meetings2.aut.ac.ir/logicday2

https://meet.google.com/ggt-tjcf-uwx

به دلیل مشکلات زیرساختی اینترنت ملی و پهنای باند به شدّت پایین در این ساعات، ادامه جلسه به گوگل میت منتقل شد.