Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of eac...

From ancient times, mathematics has developed side-by-side with physics; only in the last two hundred years they came apart as different branches of science. Extensive use of mathematics in other sciences, such as biology, chemistry, economics, pharmacology, environmental and social sciences is even more recent. Nowadays, knowledge of mathematical techniques is indispensable also for students and researchers in these fields.

The series of textbooks “Mathematics that Works” presents mathem...

Mathematics education is a mess. In primary education the development in arithmetic, geometry and other math topics is greatly hindered.

Mathematicians are trained for abstraction while education is an empirical issue. When mathematicians meet in class with real live pupils then they solve their cognitive dissonance by holding on to tradition. But tradition and its study materials have not been designed for empirical didactics. Pupils suffer the consequences.

The West reads from left to right...