Wednesday, November 24, 2010

Proof - a phenomenological touch

A phenomenological perspective on proof theory: of a particular interest here is a view on the proof as "fulfillment of a mathematical intention". See Richard Tieszen, Phenomenology, Logic, and the Philosophy of Mathematics, CUP, 2005, Ch. 13 - "Proofs and fulfillable mathematical intentions" (a  book which also addresses Kurt Gödel's involvement with phenomenological thought - also see Giuseppina Ronzitti's review in Philosophia Mathematica 16(2),264-276, 2008).