G. Corsi - Böcker
Visar alla böcker från författaren G. Corsi. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
1 064 kr
Skickas inom 10-15 vardagar
This 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 some pages of terminology and definitions that make the book self-contained. Solutions are provided. The book shoud become a useful part of curricula in logic.
1 064 kr
Skickas inom 10-15 vardagar
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.
Del 140 - Boston Studies in the Philosophy and History of Science
Bridging the Gap: Philosophy, Mathematics, and Physics
Lectures on the Foundations of Science
Häftad, Engelska, 2012
536 kr
Skickas inom 10-15 vardagar
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 worldview compatible with a macroobjectivistic position and based on the quantum picture of the world? What account can be given of opinion change in the light of new evidence? These are some of the questions discussed in this volume, which collects 14 lectures on the foundation of science given at the School of Philosophy of Science, Trieste, October 1989. The volume will be of particular interest to any student or scholar engaged in interdisciplinary research into the foundations of science in the context of contemporary debates.