Wyniki wyszukiwania:

Foundational questions in logic, mathematics, computer science and physics are constant sources of epistemological debate in contemporary philosophy. To what extent is the transfinite part of mathematics completely trustworthy? Why is there a general malaise concerning the logical approach to the foundations of mathematics? What is the role of symmetry in physics? Is it possible to build a coherent worldwiew compatible with a macro-objectivistic position and based on the quantum picture of the world? What account can be given of opinion change in the light of new evidence?

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.