Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Replies: 49   Last Post: Jan 13, 2012 2:37 PM

 Messages: [ Previous | Next ]
 Joe Niederberger Posts: 4,657 Registered: 10/12/08
Posted: Dec 15, 2011 3:19 PM

> The ability to generate proofs is quite different from
> the ability to work backward from a conjecture still in > need of proof.

You obviously didn't get the import of Godel's Lost Letter. Or, you have actually proved P != NP yourself. Congrats, enjoy your new found fame and riches - when's the big announcement?

But, while you are still slumming here - could you spell out for us slumdogs exactly what is that difference Kirby?
If you mean that mathematicians don't work by simply listing out proof in such a sequence, I'm afraid there's no prize for that. But its certainly not clear that they don't work by *some* algorithm, hidden from us though it may be by that damned black box.

Regardless, there are many logical consequences to the simple fact that the proofs of a formal system are enumerable, your observations notwithstanding.

Joe N

Date Subject Author
12/11/11 kirby urner
12/12/11 Dan Christensen
12/12/11 kirby urner
12/12/11 Dan Christensen
12/13/11 kirby urner
12/13/11 Dan Christensen
12/13/11 kirby urner
12/13/11 Dan Christensen
12/13/11 kirby urner
12/13/11 Joe Niederberger
12/13/11 Dan Christensen
12/13/11 kirby urner
12/13/11 Dan Christensen
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/15/11 Joe Niederberger
12/15/11 kirby urner
12/16/11 Joe Niederberger
12/16/11 kirby urner
12/16/11 Dan Christensen
12/16/11 Joe Niederberger
12/17/11 Joe Niederberger
12/17/11 kirby urner
12/17/11 Dan Christensen
12/18/11 Wayne Bishop
12/18/11 Joe Niederberger
12/18/11 kirby urner
12/23/11 Dan Christensen
12/23/11 Wayne Bishop
12/24/11 Louis Talman
12/23/11 Joe Niederberger
12/23/11 kirby urner
12/23/11 Wayne Bishop
12/24/11 Joe Niederberger
12/24/11 Wayne Bishop
12/24/11 Joe Niederberger
12/24/11 kirby urner
12/24/11 Joe Niederberger
12/24/11 Wayne Bishop
12/24/11 Dan Christensen
12/25/11 Dan Christensen
12/25/11 Dan Christensen
1/13/12 Joe Niederberger
1/13/12 kirby urner