Listing 1 - 10 of 26 | << page >> |
Sort by
|
Choose an application
Choose an application
Logic --- Recreation. Games. Sports. Corp. expression --- Puzzles --- Jeux intellectuels
Choose an application
Choose an application
S12/0810 --- S12/0500 --- #SML: Dries Van Coillie --- China: Philosophy and Classics--Influence of Chinese philosophy on Foreign philosophy --- China: Philosophy and Classics--Laozi and Taoism (incl. Daodejing) --- Tao. --- Chinese philosophy --- the Tao --- worship of the Buddha --- God --- management --- selfishness --- altruism --- egotism --- cosmic consciousness --- astrology --- Zen --- immortality --- enlightenment
Choose an application
Choose an application
This work is a sequel to the author's 'GoÌdel's Incompleteness Theorems', though it can be read independently by anyone familiar with GoÌ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.
Choose an application
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 --- גדל
Choose an application
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
Christianity. --- God. --- Future life. --- Hell. --- Religion. --- Christianity --- Religions --- Church history --- Metaphysics --- Misotheism --- Theism --- Afterlife --- Eternal life --- Life, Future --- Life after death --- Eschatology --- Eternity --- Immortality --- Near-death experiences --- Endless punishment --- Eternal punishment --- Everlasting punishment --- Hades --- Sheol --- Future life --- Future punishment --- Damned --- Religion, Primitive --- Atheism --- Irreligion --- Theology --- Religious aspects --- Bucke, Richard Maurice, --- Gardner, Martin, --- God --- Hell --- Religion
Choose an application
Choose an application
Listing 1 - 10 of 26 | << page >> |
Sort by
|