|
نظایر شهودی قضیه لوش-تارسکی
|
27 / 05 / 99 |
|
چیست آنچه ما آن را «اثبات ریاضیاتی» می‌نامیم؟
|
04 / 05 / 99 |
|
درستی جملات گودلی و راسری
|
02 / 04 / 99 |
|
در باره‌ی زمان: پنجره‌ای جدید به دنیای منطق‌های زیرشهودی
|
23 / 11 / 98 |
|
درباره‌ی استدلالی غیرصوری در مقاله‌ی کلاسیکِ گودل (۱۹۳۱)
|
02 / 09 / 98 |
|
وامداری سهروردی به ابن‌سینا در نظریۀ قیاس
|
13 / 07 / 98 |
|
ساده آری، پیچیده خیر
|
13 / 07 / 98 |
|
منطق (وجهی) احتمال
|
01 / 06 / 98 |
|
Truth, Proof and Provability
|
29 / 05 / 98 |
|
Recanati on Communication of First-person Thought
|
29 / 05 / 98 |
|
ابن سینا علیه افلاطونگرایی در ریاضیات
|
29 / 05 / 98 |
|
ریاضیات ساختارهای اهلی
|
29 / 05 / 98 |
|
منطق رواقی: گذشته و حال
|
29 / 05 / 98 |
|
مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل
|
29 / 05 / 98 |
|
تعارض تکالیف در منطق تکلیف
|
29 / 05 / 98 |
