Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 20 | << page >> |
Sort by
|
ISBN: 0814758169 9780814758168 Year: 2001 Publisher: New York (N.Y.): New York University press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Gödel's theorem --- Gödel's theorem --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Foundations
ISBN: 0415045754 0709933576 0709933991 9780709933571 9780415045759 Year: 1997 Publisher: London: Routledge,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Gödel, Kurt --- Gödel's theorem. --- Gödel's theorem --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Foundations
ISBN: 0197560032 1280439823 9786610439829 1423735196 0195364376 160129641X 9781423735199 9781601296412 9780195046724 0195046722 0195046722 9781280439827 6610439826 9780195364378 0190281448 Year: 1992 Publisher: New York Oxford University Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Kurt GoÌ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 GoÌ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.
GoÌ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 --- גדל
Book
ISBN: 3887225783 Year: 2003 Publisher: Bremen Universitätsdruckerei Bremen
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Recursive functions. --- Algorithms. --- Godel's theorem. --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Algorism --- Algebra --- Functions, Recursive --- Algorithms --- Recursion theory --- Foundations --- Gödel's theorem --- Recursive functions
ISBN: 0486669807 9780486669809 Year: 1992 Publisher: New York (N.Y.): Dover,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Gödel's theorem --- Gödel, Théorème de --- Godel's theorem --- #TELE:MI2 --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Foundations --- Gödel's theorem --- Gödel, Théorème de
ISBN: 0393051692 9780393051698 Year: 2005 Publisher: New York (N.Y.) : Norton,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever.
Logicians --- Proof theory. --- Gödel, Kurt. --- Gödel's theorem --- Proof theory --- Gödel's incompleteness theorem --- Undecidable theories --- Gödel, Kurt. --- Gkentel, Kourt --- גדל --- Logic, Symbolic and mathematical --- Philosophers --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Number theory --- Decidability (Mathematical logic) --- Foundations --- Logicians - United States - Biography. --- Logicians - Austria - Biography. --- Gödel's theorem.
ISBN: 9027710465 904818357X 940157653X Year: 1980 Publisher: Dordrecht ; Boston, MA : D. Reidel,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
510.2 --- Godel's theorem --- Incompleteness theorems --- Metamathematics --- Logic, Symbolic and mathematical --- Mathematics --- Theorems, Incompleteness --- Constructive mathematics --- Proof theory --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Number theory --- Decidability (Mathematical logic) --- Foundations of mathematics --- Philosophy --- Foundations --- Gödel's theorem --- Incompleteness theorems. --- Metamathematics. --- 510.2 Foundations of mathematics --- Gödel's theorem. --- Gödel's theorem
Book
ISBN: 0192821962 9780192821966 Year: 1989 Publisher: Oxford: Oxford university press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Gödel, Kurt --- 510.65 --- Godel's theorem --- 51-8 --- Gödel's incompleteness theorem --- Undecidable theories --- Completeness theorem --- Incompleteness theorems --- Decidability (Mathematical logic) --- Logico-mathematical theories. Formal arithmetic. Formal number theory --- Mathematical games and recreations --- 51-8 Mathematical games and recreations --- 510.65 Logico-mathematical theories. Formal arithmetic. Formal number theory --- Arithmetic --- Logic, Symbolic and mathematical --- Number theory --- Foundations --- Mathematical logic
ISBN: 0195046722 9780195046724 Year: 1992 Volume: 19 Publisher: Oxford: Oxford university press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Godel's theorem. --- Mathematical logic --- Godel's theorem --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Foundations --- Gödel's theorem --- Gödel, Théorème de --- Décidabilité (logique mathématique)
Book
ISBN: 9781405197663 9781405197670 1405197668 1405197676 1444315021 Year: 2009 Publisher: Malden, MA: Wiley-Blackwell,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Gödel's theorem --- Incompleteness theorems --- Mathematics --- Logic of mathematics --- Mathematics, Logic of --- Theorems, Incompleteness --- Constructive mathematics --- Proof theory --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Philosophy --- Foundations --- Gödel, Kurt. --- Gkentel, Kourt --- גדל --- Gödel's theorem --- Gödel, Kurt --- Mathematics - Philosophy
| Listing 1 - 10 of 20 | << page >> |
Sort by
|