«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