"Wittgensteins technique was not to reinterpret certain particular proofs, but, rather, to redescribe the whole of mathematics in such a way that mathematical logic would appear as the philosophical aberration he believed it to be, and in a way that dissolved entirely the picture of mathematics as a science which discovers facts about mathematical objects . I shall try again and again, he said, to show that what is called a mathematical discovery had much better be called a mathematical invention. There was, on his view, nothing for the mathematician to discover. A proof in mathematics does not establish the truth of a conclusion; if fixes, rather, the meaning of certain signs. The inexorability of mathematics, therefore, does not consist in certain knowledge of mathematical truths, but in the fact that mathematical propositions are grammatical. To deny, for example, that two plus two equals four is not to disagree with a widely held view about a matter of fact; it is to show ignorance of the meanings of the terms involved. Wittgenstein presumably thought that if he could persuade Turing to see mathematics in this light, he could persuade anybody."
Turing apparently gave up on W. a few lectures later.
I have to admit the distinction that W. is making here does not move me particularly. It seems to me as much of a discovery to find out what is implied by the premises of a logical system as to find out how many electrons there are in an iron atom, and since logic is always at work behind empirical work, I cannot get very excited about the difference. Perhaps because I am dim witted.
No response necessary.
Nick
Free forum by Nabble | Edit this page |