Works matching DE "INCOMPLETENESS theorems"


Results: 281
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13

    Yablifying the Rosser Sentence.

    Published in:
    Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 827, doi. 10.1007/s10992-013-9291-5
    By:
    • Leach-Krouse, Graham
    Publication type:
    Article
    14

    Gödelizing the Yablo Sequence.

    Published in:
    Journal of Philosophical Logic, 2013, v. 42, n. 5, p. 679, doi. 10.1007/s10992-012-9244-4
    By:
    • Cieśliński, Cezary;
    • Urbaniak, Rafal
    Publication type:
    Article
    15
    16

    PENROSE'S NEW ARGUMENT.

    Published in:
    Journal of Philosophical Logic, 2001, v. 30, n. 3, p. 241, doi. 10.1023/A:1017595530503
    By:
    • Lindström, Per
    Publication type:
    Article
    17
    18

    The incompleteness of theories of games.

    Published in:
    Journal of Philosophical Logic, 1998, v. 27, n. 6, p. 553, doi. 10.1023/A:1004220919753
    By:
    • Tsuji, Marcelo;
    • da Costa, Newton C.A.
    Publication type:
    Article
    19
    20
    21
    22
    23

    THE LIMITS OF HUMAN MATHEMATICS.

    Published in:
    Nous (0029-4624), 2001, v. 35, n. s15, p. 93, doi. 10.1111/0029-4624.35.s15.5
    By:
    • Salmon, Nathan
    Publication type:
    Article
    24
    25
    26
    27
    28
    29

    From a ball game to incompleteness.

    Published in:
    Resonance: Journal of Science Education, 2017, v. 22, n. 12, p. 1205, doi. 10.1007/s12045-017-0582-y
    By:
    • Singh, Arindama
    Publication type:
    Article
    30

    Gödel's Proof.

    Published in:
    Resonance: Journal of Science Education, 2007, v. 12, n. 5, p. 71, doi. 10.1007/s12045-007-0052-z
    By:
    • Srivastava, S. M.
    Publication type:
    Article
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42

    Truth, disjunction, and induction.

    Published in:
    Archive for Mathematical Logic, 2019, v. 58, n. 5/6, p. 753, doi. 10.1007/s00153-018-0657-9
    By:
    • Enayat, Ali;
    • Pakhomov, Fedor
    Publication type:
    Article
    43

    Isolation in the CEA hierarchy.

    Published in:
    Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 227, doi. 10.1007/s00153-004-0250-2
    By:
    • LaForte, Geoffrey
    Publication type:
    Article
    44
    45
    46
    47
    48
    49
    50