Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computa

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philos

Computation permeates our world, but a satisfactory philosophical theory of what it is has been lacking. Gualtiero Piccinini presents a mechanistic account of w

Over the last four decades computers and the internet have become an intrinsic part of all our lives, but this speed of development has left related philosophic

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg fr