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)

Time. --- Time --- History --- -Hours (Time) --- Geodetic astronomy --- Nautical astronomy --- Horology --- -Godel, Kurt --- -Gkentel, Kourt --- גדל --- Contributions in concept of time --- -History --- -Contributions in concept of time --- Hours (Time) --- Gödel, Kurt. --- Gkentel, Kourt --- Time - History - 20th century.

Choose an application

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

Kurt Gödel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently 'undecidable.' His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Gödel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the text will appeal to mathematicians, philosophers, and computer scientists.

Gödel's theorem. --- Gödel's theorem. --- Gödel, Kurt. --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Foundations --- Gkentel, Kourt --- גדל

Choose an application

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

Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by what she calls the 'natural language moves' of Gödel and Tarski, Juliette Kennedy considers what roles the concepts of 'entanglement' and 'formalism freeness' play in a range of logical settings, from computability and set theory to model theory and second order logic, to logicality, developing an entirely original philosophy of mathematics along the way. The treatment is historically, logically and set-theoretically rich, and topics such as naturalism and foundations receive their due, but now with a new twist.

Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Gödel, Kurt. --- Tarski, Alfred, --- Tarski, A. --- Teitelbaum, Alfred, --- Gkentel, Kourt --- גדל --- Logic, Symbolic and mathematical

Choose an application

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

Logicians --- Logiciens --- Biography --- Biographie --- Gödel, Kurt --- 160.1 --- -Logicians --- -#TELE:SISTA --- Philosophers --- Wezen en doel van de logica. Filosofie van de logica --- Godel, Kurt --- Gkentel, Kourt --- גדל --- Biography. --- 160.1 Wezen en doel van de logica. Filosofie van de logica --- Gödel, Kurt --- #TELE:SISTA --- Gödel, Kurt.