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.

Topic: Skepticism, mysticism, Jewish mathematics
Replies: 115   Last Post: Aug 7, 2006 1:30 AM

 Messages: [ Previous | Next ]
 LauLuna Posts: 177 From: Siles, Jaén, Spain Registered: 5/29/06
Re: Skepticism, mysticism, Jewish mathematics
Posted: Jul 30, 2006 5:27 AM

david petry wrote:

>It seems clear to our skeptic that if we are to believe that
>the formal theorems in our formalism should be accepted as compelling
>arguments, then at the very least it must be the case that we already
>believe that our formalism is consistent, and hence, no possible formal
>proof within that formalism could be considered to be the evidence that
>compels us to believe that the formalism is consistent. And our skeptic

You are conflating two meanings of "prove": proving as proving someting
true (let's say "PROVE") and proving as generating as string of symbols
the way a formal system could do (let's say "prove"). And,
consequently, you confuse two meanings of "sentence": sentence as
"formal sentence" and sentence as the proposition resulting from some
interpretation of some formal sentence.

Gödel PROVED that some formal systems don't prove some formal
sentences, while your skeptic PROVES that those systems don't PROVE
some interpretations of those sentences.

Regards

Date Subject Author
7/25/06 David Petry
7/25/06 fishfry
7/25/06 Dr. David Kirkby
7/25/06 Dr. David Kirkby
7/25/06 lloyd
7/25/06 Doug Schwarz
7/25/06 Virgil
7/26/06 Mike Kelly
7/26/06 David Petry
7/26/06 Gene Ward Smith
7/26/06 Brian Quincy Hutchings
7/26/06 dkfjdklj@yahoo.com
7/26/06 herbzet
7/26/06 David Petry
7/28/06 herbzet
7/26/06 herbzet
7/26/06 lloyd
7/26/06 herbzet
7/26/06 dkfjdklj@yahoo.com
7/26/06 herbzet
7/26/06 Gene Ward Smith
7/26/06 Gerry Myerson
7/26/06 David Petry
7/26/06 Randy Poe
7/26/06 mensanator
7/27/06 Richard Herring
7/27/06 mensanator
7/27/06 Richard Herring
7/26/06 Gene Ward Smith
7/26/06 David Petry
7/26/06 Patricia Shanahan
7/26/06 Gene Ward Smith
7/28/06 herbzet
7/26/06 Dr. David Kirkby
7/26/06 Randy Poe
7/27/06 Rotwang
7/28/06 herbzet
7/30/06 Han de Bruijn
7/30/06 Barb Knox
7/30/06 zr
7/30/06 Virgil
7/30/06 Gene Ward Smith
7/30/06 zr
8/1/06 Virgil
7/30/06 T.H. Ray
7/31/06 Brian Quincy Hutchings
7/31/06 T.H. Ray
8/1/06 Brian Quincy Hutchings
8/1/06 David R Tribble
7/30/06 Gene Ward Smith
7/30/06 Ioannis
7/30/06 Dr. David Kirkby
7/30/06 zr
7/30/06 Dave Rusin
8/1/06 David Bernier
8/1/06 David R Tribble
8/2/06 Ioannis
7/31/06 Han de Bruijn
8/2/06 R. Srinivasan
8/3/06 Rupert
8/4/06 R. Srinivasan
8/4/06 R. Srinivasan
8/4/06 Rupert
8/4/06 R. Srinivasan
8/4/06 Rupert
8/4/06 R. Srinivasan
8/4/06 Mike Kelly
8/4/06 R. Srinivasan
8/4/06 Mike Kelly
8/4/06 R. Srinivasan
8/4/06 R. Srinivasan
8/4/06 Mike Kelly
8/4/06 R. Srinivasan
8/4/06 herbzet@cox.net
8/4/06 R. Srinivasan
8/6/06 Newberry
8/4/06 Jack Markan
8/4/06 Brian Quincy Hutchings
8/7/06 R. Srinivasan
8/4/06 Mike Kelly
8/5/06 R. Srinivasan
7/28/06 herbzet
7/28/06 Gene Ward Smith
7/28/06 herbzet
7/28/06 mensanator
7/28/06 herbzet
7/27/06 T.H. Ray
7/28/06 herbzet
7/29/06 David Petry
7/30/06 herbzet@cox.net
8/4/06 Jack Markan
8/4/06 T.H. Ray
7/26/06 David R Tribble
7/26/06 Gene Ward Smith
7/26/06 T.H. Ray
7/26/06 toni.lassila@gmail.com
7/26/06 Bennett Standeven
7/26/06 Brian Quincy Hutchings
7/27/06 Rotwang
7/27/06 Craig Feinstein
7/27/06 Toni Lassila
7/27/06 Craig Feinstein
7/27/06 Brian Quincy Hutchings
7/27/06 Rupert
7/28/06 zr
7/28/06 herbzet
7/28/06 T.H. Ray
7/29/06 zr
7/29/06 Virgil
7/29/06 zr
7/29/06 Virgil
7/30/06 herbzet@cox.net
7/30/06 T.H. Ray
7/30/06 LauLuna
7/30/06 LauLuna