Moore Zermelo

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems.

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers.

Thermodynamics is the much abused slave of many masters • physicists who love the totally impractical Carnot process, • mechanical engineers who design power stations and refrigerators, • chemists who are successfully synthesizing ammonia and are puzzled by photosynthesis, • meteorologists who calculate cloud bases and predict föhn, boraccia and scirocco, • physico-chemists who vulcanize rubber and build fuel cells, • chemical engineers who rectify natural gas and distil f- mented potato juice, • metallurgists who improve steels and harden surfaces, • - trition counselors who recommend a proper intake of calories, • mechanics who adjust heat exchangers, • architects who construe – and often misconstrue – ch- neys, • biologists who marvel at the height of trees, • air conditioning engineers who design saunas and the ventilation of air plane cabins, • rocket engineers who create supersonic flows, et cetera. Not all of these professional groups need the full depth and breadth of ther- dynamics. For some it is enough to consider a well-stirred tank, for others a s- tionary nozzle flow is essential, and yet others are well-served with the partial d- ferential equation of heat conduction. It is therefore natural that thermodynamics is prone to mutilation; different group-specific meta-thermodynamics’ have emerged which serve the interest of the groups under most circumstances and leave out aspects that are not often needed in their fields.