|
درستی جملات گودلی و راسری
|
02 تیر 1399 |
|
در بارهی زمان: پنجرهای جدید به دنیای منطقهای زیرشهودی
|
23 بهمن 1398 |
|
دربارهی استدلالی غیرصوری در مقالهی کلاسیکِ گودل (۱۹۳۱)
|
02 آذر 1398 |
|
Godel and God
|
20 آبان 1398 |
|
تعبیر اثبات پذیری برای منطق موجهات
|
19 مرداد 1398 |
