Oh, Computablity and Logic - Boolos and Jeffrey
nw in its third exciting edition
Jim
didnt mean to be opaque, sorry about that
Brouwers is here:
http://en.wikipedia.org/wiki/L._E._J._Brouwer
altho there is not an awful lot on his ideas that maths is just a string of symbols under various rules for manipulation
..... and that is the answer to the question set - is Maths discovered or is it a string of symbols? A: 90% think it is discovered but there is a vocal minority saying it is a string of symbols, represented by Brouwers.
.
( oops I was expcting you say 'well summed up Peter....)