語系
Godel, Kurt.
概要
作品: | 3 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Kurt Gödel = the genius of metamathematics /
by:
Brewer, William D.; SpringerLink (Online service)
(書目-電子資源)
Chapters from Godel's unfinished book on foundational research in mathematics
by:
Von Plato, Jan.; SpringerLink (Online service)
(書目-電子資源)
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
by:
Brown, George William, (1917-.); Godel, Kurt.
(書目-語言資料,印刷品)
Can mathematics be proved consistent? = Godel's shorthand notes & lectures on incompleteness /
by:
Von Plato, Jan.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematics- Philosophy.
Godel's theorem- History.
Mathematical Logic and Foundations.
Metamathematics.
Symmetry.
Logic, Symbolic and mathematical.
Intellectual History.
Mathematicians- Austria
Escher, M. C.
Godel, Kurt.
Mathematics.
Mathematics- History.
History of Mathematical Sciences.
Biographies of Physicists and Astronomers.
History of Science.
Bach, Johann Sebastian,
Philosophy of Mathematics.
Artificial intelligence.
History of Philosophy.