1. Can mathematics be proved consistent? :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : G?del's theorem ;
2. G?del's theorems and Zermelo's axioms :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : G?del's theorem. ;
3. Kurt G?del :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : G?del's theorem. ;
4. Shadows of the mind: a search for the missing science of consciousness
پدیدآورنده : Penrose, Roger.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence,، Thought and thinking,، G?del's theorem,، Quantum theory,Philosophy ، Physics
رده :
Q
335
.
P416
1994
5. THe Large, The Small and the Human Mind
پدیدآورنده : / Roger Penrose, With Abner Shimony, Nancy Cartwright And Stephen Hawking
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Shimony, Abner,Cartwright, Nancy,Artificial intelligence,Thought and Thinking,Physics - Philosophy,Gdel's Theorem,Quantum Theory
رده :
Q335
.
L36
1999
6. The large, the small, and the human mind
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : temps ; -Artificial intelligence ; Thought and thinking ; Physics ; Philosophy ; G?del's theorem ; Quantum theory ; Shimony, Abner ; Cartwright, Nancy ; Sciences ; Philosophie ; Espace
7. Thinking about G?del and Turing
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
