Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. Everything in the book is original, as the author adheres to his own experiences and interpretations. There is also an article on Hilbert's second problem as well as on the author's fundamental conjecture about second order log

Proof theory. --- Logic, Symbolic and mathematical --- Gödel, Kurt. --- Gkentel, Kourt --- גדל --- Godel, Kurt.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Kurt Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonism and the nature of logic, to minds and machines, the existence of God, and positivism and phenomenology. The impact of Godel's theorem on twentieth-century thought is on a par with that of Einstein's theory of relativity, Heisenberg's uncertainty principle, or Keynesian economics. These previously unpublished intimate and informal conversations, however, bring to light and amplify Godel's other major contributions to logic and philosophy. They reveal that there is much more in Godel's philosophy of mathematics than is commonly realized, and more in his philosophy than merely a philosophy of mathematics.

Logicians --- Biography. --- Mathematics - General --- Mathematics --- Physical Sciences & Mathematics --- Biography --- Philosophers --- Gödel, Kurt. --- Gkentel, Kourt --- גדל --- PHILOSOPHY/General --- Logicians - United States - Biography. --- Logicians - Austria - Biography.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logicians --- Philosophers --- Biography --- Gödel, Kurt. --- Gkentel, Kourt --- גדל --- Gödel, Kurt --- Philosophy of science --- Gödel, Kurt, --- Godel, Kurt --- Biography. --- Logique --- Histoire --- Logicians - United States - Biography --- Logicians - Austria - Biography --- Histoire des mathematiques --- 20e siecle

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"This volume commemorates the life, work, and foundational views of Kurt Godel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Godel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Godel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers"--

Gödel, Théorème de --- Gödel, Kurt --- Godel's theorem --- Mathematics/ Logic --- Godel, Kurt --- Gödel's theorem. --- Gödel's incompleteness theorem --- Undecidable theories --- Incompleteness theorems --- Decidability (Mathematical logic) --- Gödel's theorem --- Gödel, Théorème de --- Gödel, Kurt --- Mathematics --- 510.2 --- 510.6 --- 510.6 Mathematical logic --- Mathematical logic --- 510.2 Foundations of mathematics --- Foundations of mathematics --- Logic of mathematics --- Mathematics, Logic of --- Arithmetic --- Completeness theorem --- Logic, Symbolic and mathematical --- Number theory --- Philosophy --- Foundations --- Gödel, Kurt. --- Gkentel, Kourt --- גדל --- Mathématiques --- Philosophie --- Gödel's theorem. --- Philosophy. --- Mathematical Sciences --- General and Others --- Mathematics - Philosophy --- Gödel, Kurt (1906-1978) --- Mathématiques --- Godel's theorem. --- Godel, Kurt.