I would like to respond to Wittgenstein's idea that a mathematical proof should
be called an invention rather than a discovery. When solving a Suduko puzzle, I
often produce a logical deduction that the solution is unique. It seems clear
to me that I discovered that there is only one
Thus spake John F. Kennison circa 10/07/2008 10:01 AM:
I would like to respond to Wittgenstein's idea that a mathematical
proof should be called an invention rather than a discovery. When
solving a Suduko puzzle, I often produce a logical deduction that the
solution is unique. It seems clear
Or. another angle. Proofs represent discoveries about the invented grammar
they use, with the proviso of so far as we can see? The way we define
grammars changes to suite our intentions occasionally, but we're generally
trying to identify things inherent in nature, for grammars drawn as
Thus spake Phil Henshaw circa 10/07/2008 12:15 PM:
Well, the reliance on competence is relative to the difficulty of the task.
As our world explodes with new connections and complexity that's sort of in
doubt, isn't it? Isn't Taleb's observation that when you have increasingly
complex
Glen,
You have made some interesting points. I don't deny that forming a proof
involves invention and symbol manipulation. I also agree that mathematical
truth is different from scientific truth. I now think the core question is
whether a proof, according to the usual rules of symbol
I am taking the liberty of forwarding this to the FRIAM group because I think
it is such a great opportunity. It is the kind of thing large numbers of
people pay big money to go here in some hotel ball room somewhere and it is
happening right here in Santa Fe.Please see below.
Hope to