| ชื่อเรื่อง | : | A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic |
| นักวิจัย | : | Ketland, Jeffrey |
| คำค้น | : | philosophy , philosophy of mathematics |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2543 |
| อ้างอิง | : | Analysis 60.1 January 2000, pp. 1–4. , http://hdl.handle.net/1842/1338 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | In the Tarskian theory of truth, the strengthened liar sentence is a theorem. More generally, any formalized truth theory which proves the full, self-applicative scheme True(“f”) f will prove the strengthened liar sentence. (This scheme is sometimes called (T-Out).) |
| บรรณานุกรม | : |
Ketland, Jeffrey . (2543). A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Ketland, Jeffrey . 2543. "A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Ketland, Jeffrey . "A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2543. Print. Ketland, Jeffrey . A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2543.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
