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

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 …

This essay accounts for the notion of Lebensform by assigning it a logical role in
Wittgenstein's later philosophy. Wittgenstein's additions of the notion to his manuscripts of …

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 …

The book consists of a series of chapters on Carnap's ideal of explication as an alternative to
the naturalistic conceptions of science, setting it in its historical context, discussing specific …

In his Tractatus Logico-Philosophicus, Wittgenstein conveyed the idea that ethics cannot be
located in an object or self-standing subject matter of propositional discourse, true or false …

Mathematicians often use aesthetic vocabulary to describe mathematical proofs: they can be
beautiful, elegant, ugly, etc. In recent years, philosophers of mathematics have been asking …

A Just-So story, intended as plausible philosophical reconstruction, of the mutual impact of
Wittgenstein and Turing upon one another. Recognizably Wittgensteinian features of …

An investigation of the concept of “surveyability” as traced through the thought of Hilbert,
Wittgenstein, and Turing. The communicability and reproducibility of proof, with certainty, are …