ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Craig’s Theorem

หน่วยงาน Edinburgh Research Archive, United Kingdom

รายละเอียด

ชื่อเรื่อง : Craig’s Theorem
นักวิจัย : Ketland, Jeffrey
คำค้น : philosophy , Craig’s Theorem
หน่วยงาน : Edinburgh Research Archive, United Kingdom
ผู้ร่วมงาน : -
ปีพิมพ์ : 2548
อ้างอิง : In D. Borchert (ed.), Macmillan Encyclopedia of Philosophy. 2005. Macmillan Reference USA , 0-02-865780-2 , http://hdl.handle.net/1842/1346
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

In mathematical logic, Craig’s Theorem (not to be confused with Craig’s Interpolation Theorem) states that any recursively enumerable theory is recursively axiomatizable. Its epistemological interest concerns its possible use as a method of eliminating “theoretical content” from scientific theories.

บรรณานุกรม :
Ketland, Jeffrey . (2548). Craig’s Theorem.
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Ketland, Jeffrey . 2548. "Craig’s Theorem".
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Ketland, Jeffrey . "Craig’s Theorem."
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2548. Print.
Ketland, Jeffrey . Craig’s Theorem. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2548.