Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consist

In these selected essays, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the past ce

This edited volume explores the intersection between philosophy and computing. It features work presented at the 2016 annual meeting of the International Associ

First Published in 2003. Routledge is an imprint of Taylor & Francis, an informa company.

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical conte