与 «GODEL»相关的马来语书籍
在以下的参考文献中发现
godel的用法。与
godel相关的书籍以及同一来源的简短摘要提供其在 马来语文献中的使用情境。
1
A World Without Time: The Forgotten Legacy of Godel and ...
In A World Without Time, Palle Yourgrau sets out to restore Godel to his rightful place in history, telling the story of two magnificent minds put on the shelf by the scientific fashions of their day, and attempts to rescue the brilliant ...
2
An Introduction to Gödel's Theorems
A clear and accessible treatment of Gödel's famous, intriguing, but much misunderstood incompleteness theorems, extensively revised in a second edition.
3
Kurt Gödel and the Foundations of Mathematics: Horizons ...
This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the ...
Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, 2011
4
Collected Works: Unpublished Essays and Lectures
The Collected Works is a landmark resource that draws together a lifetime of creative accomplishment. The first two volumes were devoted to Godel's publications in full (both in the original and translation).
Kurt Gödel, Solomon Feferman, 2003
5
Collected Works - Jilid 2
These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century.
Kurt Gödel, Solomon Feferman, 2003
Tells the life story of the contemporary and intellectual peer of Einstein, and describes his work which revolutionized mathematics, philosophy, linguistics, computer science, and cosmology.
J. L. Casti, Werner DePauli-Schimanovich, 2000
7
An Early History of Recursive Functions and Computability: ...
Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel.
8
Gödel's Theorem in Focus
The book moves on to explanations of the mechanics of Gödel's proof and its significance for mathematical logic and the philosophy of mathematics. In the final section, S. G. Shanker presents a major new critique of Gödel's theorem.
9
Types, Tableaus, and Gödel’s God
Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.
With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.
Ernest Nagel, James Roy Newman, Douglas R. Hofstadter, 2001
