GODEL PROOF - NAGEL,E, NEWMAN,JR

被引：6
|
作者：
PUTNAM, H
机构：
来源：
PHILOSOPHY OF SCIENCE | 1960年 / 27卷 / 02期
关键词：
D O I：
10.1086/287725
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
引用
收藏
页码：205 / 207
页数：3
相关论文
共 50 条
  • [21] THE DEVELOPMENT OF GoDEL'S ONTOLOGICAL PROOF
    Kanckos, Annika
    Lethen, T. I. M.
    REVIEW OF SYMBOLIC LOGIC, 2021, 14 (04): : 1011 - 1029
  • [22] Proof Systems for a Godel Modal Logic
    Metcalfe, George
    Olivetti, Nicola
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 265 - +
  • [23] Incompleteness: The proof and paradox of Kurt Godel
    Davis, M
    NATURE, 2005, 435 (7038) : 19 - 20
  • [24] Proof Systems for Godel Logics with an Involution
    Avron, Arnon
    2021 IEEE 51ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2021), 2021, : 68 - 73
  • [25] ON THE COMPLEXITY OF GODEL'S PROOF PREDICATE
    Chen, Yijia
    Flum, Joerg
    JOURNAL OF SYMBOLIC LOGIC, 2010, 75 (01) : 239 - 254
  • [26] A QUESTION OF M NEWMAN AND JR SMART
    HOUGHTON, CH
    DUKE MATHEMATICAL JOURNAL, 1965, 32 (03) : 541 - &
  • [27] HARPER ENCYCLOPEDIA OF SCIENCE - NEWMAN,JR
    不详
    LEONARDO, 1970, 3 (03) : 372 - 372
  • [28] THE HARPER ENCYCLOPEDIA OF SCIENCE - NEWMAN,JR
    不详
    PERCEPTUAL AND MOTOR SKILLS, 1965, 20 (02) : 669 - 669
  • [29] PROOF OF A CONJECTURE OF NEWMAN,M
    ENNOLA, V
    JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1973, 264 : 203 - 206
  • [30] Statistics and Thermodynamics of Kerr-Newman-Godel Black Hole
    Pourdarvish, A.
    Mirebrahimi, M.
    Tabassomi, M.
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2015, 54 (02) : 598 - 603
12345