In this book, Livingston develops the political implications of formal results obtained over the
course of the twentieth century in set theory, metalogic, and computational theory. He argues …

What is the source of logical and mathematical truth? This volume revitalizes
conventionalism as an answer to this question. Conventionalism takes logical and …

Despite strenuous efforts by its proponents, the contemporary form of logic, mathematical
logic, has generally failed to convince mathematicians, natural scientists and human …

For Wittgenstein mathematics is a human activity characterizing ways of seeing conceptual
possibilities and empirical situations, proof and logical methods central to its progress …

Berto's highly readable and lucid guide introduces students and the interested reader to
Gödel's celebrated Incompleteness Theorem, and discusses some of the most famous-and …

Some time in 1942–1943 Wittgenstein wrote down annotations in the margins of his copy of
GH Hardy's book on analysis, A Course of Pure Mathematics (hereafter CPM), the eighth …

Wittgenstein's explicitly interlocutory style of philosophizing and writing, along with his use of
the notion of Lebensform, first appeared in 1936–1937. Here we give an account of why …

Turing was a philosopher of logic and mathematics, as well as a mathematician. His work
throughout his life owed much to the Cambridge milieu in which he was educated and to …

One common understanding of formalism in the philosophy of mathematics takes it as
holding that mathematics is not a body of propositions representing an abstract sector of …

This book offers a detailed account and discussion of Ludwig Wittgenstein's philosophy of
mathematics. In Part I, the stage is set with a brief presentation of Frege's logicist attempt to …