Narrow your search
Listing 1 - 10 of 26 << page
of 3
>>
Sort by

Book
First-order logic
Author:
ISBN: 3540040994 3642867200 3642867189 9783540040996 Year: 1971 Volume: 43 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
What is the name of this book? : The riddle of Dracula and other logical puzzles
Author:
ISBN: 0140135111 Year: 1990 Publisher: Harmondsworth : Penguin Books,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Quel est le titre de ce livre? : 253 casse-tête logiques
Author:
ISBN: 2040113304 9782040113308 Year: 1981 Publisher: Paris : Dunod,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

The Tao is silent
Author:
ISBN: 0060674695 Year: 1977 Publisher: New York (N.Y.): Harper and Row


Book
Satan, Cantor, and infinity and other mind-boggling puzzles
Author:
ISBN: 0192861611 Year: 1993 Publisher: Oxford Oxford university press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Recursion theory for metamathematics
Author:
ISBN: 0197560423 1280443375 9786610443376 1423734548 0195344812 1602566224 9781423734543 9781602566224 019508232X Year: 2020 Publisher: New York : Oxford University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This work is a sequel to the author's 'Gödel's Incompleteness Theorems', though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The text deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

Gödel's incompleteness theorems
Author:
ISBN: 0197560032 1280439823 9786610439829 1423735196 0195364376 160129641X 9781423735199 9781601296412 9780195046724 0195046722 0195046722 9781280439827 6610439826 9780195364378 0190281448 Year: 2020 Publisher: New York : Oxford University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Who knows? : a study of religious consciousness
Author:
ISBN: 9786612071973 1282071971 025310968X 9780253109682 9780253341983 0253341981 9780253215741 0253215749 9781282071971 0253341981 0253215749 6612071974 Year: 2003 Publisher: Bloomington : Indiana University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Is there really a God, and if so, what is God actually like? Is there an afterlife, and if so, is there such a thing as eternal punishment for unrepentant sinners, as many orthodox Christians and Muslims believe? And is it really true that our unconscious minds are connected to a higher spiritual reality, and if so, could this higher spiritual reality be the very same thing that religionists call ""God""? In his latest book, Raymond M. Smullyan invites the reader to explore some beautiful and some horr


Book
First-order logic
Author:
Year: 1968 Volume: 43 Publisher: New York : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Theory of formal systems
Author:
Year: 1961 Publisher: Princeton (N.J.): Princeton university press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 26 << page
of 3
>>
Sort by