|
صورتبندی و راه حلی از پارادوکس پروتاگوراس در یک منطق تلفیقی توجیه، زمان و تکلیف
|
22 / 06 / 01 |
|
نگاهی معناشناسانه به برخی منطق‌های غیرکلاسیک
|
25 / 05 / 01 |
|
تأثیر و تأثر منطق و پارادوکس‌ها بر نظریه محاسبات عام (*TC ، زمان فازی)
|
25 / 03 / 01 |
|
بازتفسیر و ارزیابی منطق حملی ارسطویی بر مبنای منطق‌های غیرکلاسیک
|
20 / 02 / 01 |
|
برخی پیامدهای واقع گرایی در معرفت شناسی منطق دانان مسلمان
|
21 / 12 / 00 |
|
نقد و بررسی کتاب «فلسفه ریاضی برای ریاضی‍دانان»
|
22 / 10 / 00 |
|
مباحثی در آنالیز ساختی
|
30 / 08 / 00 |
|
ساختار جمعی اعداد طبیعی به همراه یک دنباله‌ی بیتی
|
23 / 06 / 00 |
|
غفلت از هندسه در فلسفه‌ی معاصر ریاضیات
|
28 / 07 / 00 |
|
در باب رده‌بندی تئوری‌های مرتبه اول
|
03 / 06 / 00 |
|
رویکردها و نتایجی در نظریه مدل نوین
|
26 / 04 / 00 |
|
برنامه‌ی سخنرانی‌های ماهانه: سال ۱۴۰۰
|
20 / 11 / 00 |
|
استنتاج بهترین تبیین در سنت عقلیِ جهان اسلام
|
26 / 04 / 00 |
|
محاسبه‌پذیری روی اعداد حقیقی
|
02 / 03 / 00 |
|
خواص ساختاری چه هستند؟
|
23 / 01 / 00 |
