16179

PHI2 332

كارشناسي ارشد

فلسفه گرايش فلسفه منطق

دانشكده ادبيات و علوم انساني، گروه فلسفه

مهرماه 1396

۸۷ ص.

مرتضي حاج حسيني

مقداد قاري

قضاياي ناتماميت گودل , قضيه لوب , حساب پئانو , محمول اثبات پذيري , صدق , نظام موجه نرمال

1396/12/15

صديقه رمضاني

Gödel’s incompleteness theorems , Löb’s theorem , Peano arithmetic , provability predicate , truth , normal modal system

A survey on syntax and semantic of provability logic