### Real-time philosophy of real mathematics

David Corfield’s weblog

*Philosophy of real mathematics*is a potpourri of items pertaining to mathematics and philosophy. Collingwood and MacIntyre show up alongside categories and 6*j*-symbols. I’ve mentioned his book before.*Toward a philosophy of real mathematics*is a manifesto on behalf of a philosophy of mathematics that, like the philosophies of physics and biology, takes mathematical practice seriously, rather than confining itself to the formalized versions that logicians have constructed to serve their ends. In my view the book says all that need be said on that point; but I was convinced beforehand. If you have any interest in the kind of program Corfield is proposing, you’ll find his weblog of interest too.