Inaccessible for eternity. A perplexing guide to Gödel
Please sign in so that we can notify you about a reply
The book proposes a fascinating introduction into symbolic logic. The unified interpretation of three "possible worlds" is given: the epistemic world of human beliefs in the truth of statements, the world of machines that can reproduce true statements, and the world of mathematical systems in which the statements can be proved. A non -standard exposition of Gedel"s famous theorems was proposed about the incompleteness of formal systems and the Theorems of Leb and a fascinating analysis of the relationship between the concepts of "consistency", "provisency" and "permissibility".
This book is for those who wish:
- not only learn to successfully look for his girlfriend, who sometimes flies to the islands, inhabited by the knights and shamelessly lying rogues, but even become a master in this matter, no worse than detlators from Scotland Yard,
- to show off in the company of intellectuals with their non-standard understanding of the essence of the famous results from the field of mathematical logic, known as the theorems of Gedel about incompleteness and the Labo theorem,
- Solving fascinating tasks, get acquainted with a serious scientific discipline called "Symbolic Logic",
- to get acquainted with the modal logic in the form of "possible worlds" - worlds of human opinions or beliefs, to understand what difficulties await us in the proof of the consistency of our reasoning and in reasoning about the consistency of our evidence
This book is for those who wish:
- not only learn to successfully look for his girlfriend, who sometimes flies to the islands, inhabited by the knights and shamelessly lying rogues, but even become a master in this matter, no worse than detlators from Scotland Yard,
- to show off in the company of intellectuals with their non-standard understanding of the essence of the famous results from the field of mathematical logic, known as the theorems of Gedel about incompleteness and the Labo theorem,
- Solving fascinating tasks, get acquainted with a serious scientific discipline called "Symbolic Logic",
- to get acquainted with the modal logic in the form of "possible worlds" - worlds of human opinions or beliefs, to understand what difficulties await us in the proof of the consistency of our reasoning and in reasoning about the consistency of our evidence
Author:
Author:Р. Смаллиан
Cover:
Cover:Hard
Category:
- Category:Computer & Technology
- Category:Romance & Love
ISBN:
ISBN:978-5-85582-335-6
No reviews found