Suggested Topics within your search.
Showing 1 - 20 results of 43 for search '', query time: 0.05s Refine Results
  1. 1
    Word problems; decision problems and the Burnside problem in group theory.

    Word problems; decision problems and the Burnside problem in group theory.

    Published 1973
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  2. 2
    The large, the small, and the human mind /

    The large, the small, and the human mind /

    Published 1999
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  3. 3
    Enumerability, decidability, computability An introduction to the theory of recursive functions.

    Enumerability, decidability, computability An introduction to the theory of recursive functions. by Hermes, Hans

    Published 1969
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  4. 4
    Shadows of the mind : a search for the missing science of consciousness /

    Shadows of the mind : a search for the missing science of consciousness / by Penrose, Roger

    Published 1994
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  5. 5
    Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel.

    Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel. by Mostowski, Andrzej

    Published 1952
    Book
    Save to List
    Saved in:
  6. 6
    Shadows of the mind : a search for the missing science of consciousness /

    Shadows of the mind : a search for the missing science of consciousness / by Penrose, Roger

    Published 1994
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  7. 7
    Godel's Theorem in Focus.

    Godel's Theorem in Focus. by Shanker, S. G.

    Published 2012
    Full Text (via Taylor & Francis)
    eBook
    Save to List
    Saved in:
  8. 8
    Word problems II : the Oxford book /

    Word problems II : the Oxford book /

    Published 1980
    Book
    Save to List
    Saved in:
  9. 9
    Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics /

    Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics / by Halbeisen, Lorenz, Krapf, Regula

    Published 2020
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  10. 10
    On formally undecidable propositions of Principia mathematica and related systems /

    On formally undecidable propositions of Principia mathematica and related systems / by Gödel, Kurt

    Published 1992
    Book
    Save to List
    Saved in:
  11. 11
    A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers.

    A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers. by Bouvère, Karel Louis de

    Published 1959
    Thesis Book
    Save to List
    Saved in:
  12. 12
    Gödel's way : exploits into an undecidable world /

    Gödel's way : exploits into an undecidable world / by Chaitin, Gregory J.

    Published 2012
    Full Text (via Taylor & Francis)
    eBook
    Save to List
    Saved in:
  13. 13
    A decision method for elementary algebra and geometry /

    A decision method for elementary algebra and geometry / by Tarski, Alfred, 1901-1983

    Published 1951
    Book
    Save to List
    Saved in:
  14. 14
    Gödel's proof /

    Gödel's proof / by Nagel, Ernest, 1901-1985

    Published 1958
    Book
    Save to List
    Saved in:
  15. 15
    Gödel's proof /

    Gödel's proof / by Nagel, Ernest, 1901-1985

    Published 2001
    Book
    Save to List
    Saved in:
  16. 16
    Kurt Gödel and the foundations of mathematics : horizons of truth /

    Kurt Gödel and the foundations of mathematics : horizons of truth /

    Published 2011
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  17. 17
    Gödel's Theorem : An Incomplete Guide to Its Use and Abuse.

    Gödel's Theorem : An Incomplete Guide to Its Use and Abuse. by Franzén, Torkel

    Published 2017
    Full Text (via Taylor & Francis)
    eBook
    Save to List
    Saved in:
  18. 18
    Komplexität von Entscheidungsproblemen : ein Seminar /

    Komplexität von Entscheidungsproblemen : ein Seminar /

    Published 1976
    Book
    Save to List
    Saved in:
  19. 19
    Can mathematics be proved consistent? Gödel's shorthand notes & lectures on incompleteness /

    Can mathematics be proved consistent? Gödel's shorthand notes & lectures on incompleteness / by Von Plato, Jan

    Published 2020
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  20. 20
    Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel /

    Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel /

    Published 1952
    Full Text (via ScienceDirect)
    Electronic eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search