Gödel, Kurt.
概要
| 作品: | 2 作品在 5 項出版品 2 種語言 | |
|---|---|---|
書目資訊
Russell, Gödel, Tarski = selected papers on the philosophy of logic and mathematics /
by:
SpringerLink (Online service); Rodríguez-Consuegra, Francisco A.
(書目-電子資源)
Portrait of young Gödel = education, first steps in logic, the problem of completeness /
by:
SpringerLink (Online service); Von Plato, Jan.
(書目-電子資源)
Gödel's incompleteness theorems = a guided tour through Kurt Gödel's historic proof /
by:
SpringerLink (Online service); Hoffmann, Dirk W.
(書目-電子資源)
Gödel's disjunction : = the scope and limits of mathematical knowled1g /
by:
Horsten, Leon,; Welch, Philip,
(書目-語言資料,印刷品)
主題
Mathematics- Philosophy.
Logic.
Mathematical Logic and Foundations.
Logic, Symbolic and mathematical.
Intellectual History.
Gödel, Kurt.
Russell, Bertrand,
Thought and thinking.
Biographies of Physicists and Astronomers.
General Logic.
Philosophical Logic.
Gödel's theorem.
Philosophy of Mathematics.
Tarski, Alfred,
Mathematical Logic in Philosophy.