Gödel's universe

被引：0
|
作者：
Martin Davis
机构：
[1] New York University,
[2] University of California,undefined
来源：
Nature | 2005年 / 435卷 / 7038期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The legacy of one of the greatest thinkers of the twentieth century.
引用
收藏
页码：19 / 20
页数：1
相关论文
共 50 条
  • [41] Melvin Fitting, Types Tableaus and Gödel's God
    Roderic A. Girle
    Studia Logica, 2005, 81 (3) : 425 - 427
  • [42] Skolem's Discovery of Gödel-Dummett Logic
    Jan von Plato
    Studia Logica, 2003, 73 (1) : 153 - 157
  • [43] Kurt Gdel
    李琳
    当代外语研究, 2006, (05) : 58 - 58
  • [44] The ‘Gödel’ effect
    Gary Ostertag
    Philosophical Studies, 2013, 166 : 65 - 82
  • [45] Gödel on Deduction
    Kosta Došen
    Miloš Adžić
    Studia Logica, 2019, 107 : 31 - 51
  • [46] Core G?del
    Tennant, Neil
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2023, 64 (01) : 15 - 59
  • [47] The Decay of Massive Scalar Field in Non-Static Gödel Type Universe with Viscous Fluid and Heat Flow
    S. Aygün
    İ. Tarhan
    International Journal of Theoretical Physics, 2008, 47 : 3257 - 3266
  • [48] A Note on Gödel's First Disjunct Formalised in DTK System
    Corradini, Antonella
    Galvan, Sergio
    LOGIC AND LOGICAL PHILOSOPHY, 2024, 33 (04) : 555 - 565
  • [49] An Algebraic Study of S5-Modal Gödel Logic
    Diego Castaño
    Cecilia Cimadamore
    José Patricio Díaz Varela
    Laura Rueda
    Studia Logica, 2021, 109 : 937 - 967
  • [50] Gödel’s proof1. An introduction to mathematical logic
    S M Srivastava
    Resonance, 2007, 12 (2) : 59 - 70
12345