Search Results
 
  Search result  Your search for [subject]Godel's theorem returned 8 records.  
 
Sort by:  
 
     
  Book Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel.

by Mostowski, Andrzej.; Amsterdam: North-Holland Pub., 1964.

Subject: Godel, Kurt; Logic, Symbolic and mathematical; Godel's theorem; Semantics (Philosophy).

  
     
Relevance: 24.77%
 
     
  Book Godel's proof.

by Nagel, Ernest, 1901-; New York: New York University Press, 1958.

Subject: Godel's theorem.

  
     
Relevance: 21.03%
 
     
  Book Some proofs of undecidability of first order theories.

by Solis, Adriano O., 1954-;

Subject: Godel's theorem; Groups, Theory of.

  
     
Relevance: 20.34%
 
     
  Book Mathematical and philosophical implications of the Godel incompleteness theorems.

by Fernando, Emmanuel Q., 1954-;

Subject: Godel's theorem; Logic, Symbolic and mathematical.

  
     
Relevance: 20.13%
 
     
  Thesis Mathematical and philosophical implications of the Godel Incompleteness Theorems.

by Fernando, Emmanuel Q.; 1980.

Subject: Logic, Symbolic and mathematical; Godel's theorem.

  
     
Relevance: 20.13%
 
     
  Thesis Some proofs of undecidability of firstorder theories.

by Solis, Adriano Olivar.; 1977.

Subject: Godel's theorem; Logic, Symbolic and mathematical.

  
     
Relevance: 20.13%
 
     
  Book Shadows of the mind: a search for the missing science of consciousness.

by Penrose, Roger; Oxford: Oxford University Press, 1994.

Subject: Artificial intelligence; Godel's theorem; Physics -- Philosophy; Quantum theory; Thought and thinking.

  
     
Relevance: 19.10%
 
     
  Book Shadows of the mind : a search for the missing science of consciousness.

by Penrose, Roger; Oxford: Oxford University Press, 1994.

Subject: Artificial intelligence; Godel's theorem; Physics -- Philosophy; Quantum theory; Thought and thinking; Science Teaching.

  
     
Relevance: 18.72%
 
     
 
         
         
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart
 
         

Text Size:
S  -  M  -  L
Copyright © 2004-2024. Philippine eLib Project
Host: U.P. Diliman University Library