Undecidable Theories

New Essays on the Philosophy of Michael Dummett
By Johannes Brandl, Peter M. Sullivan
This volume of specially composed essays on Dummett's philosophy presents a new perspective on his achievements, and provides a focus for further research fully informed by the Dummett's most recent publications.
Hilbert’s Tenth Problem: An Introduction to Logic, Number Theory, and Computability
By M. Ram Murty, Brandon Fodden
They showed that no such algorithm exists. This book is an exposition of this remarkable achievement. Often, the solution to a famous problem involves formidable background. Surprisingly, the solution of Hilbert's tenth problem does not.