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: The Invalidity of Godel's Incompleteness Work.
Replies: 87   Last Post: Oct 25, 2013 2:44 PM

 Messages: [ Previous | Next ]
 Peter Percival Posts: 2,623 Registered: 10/25/10
Re: The Invalidity of Godel's Incompleteness Work.
Posted: Oct 19, 2013 9:40 AM

fom wrote:
> On 10/19/2013 6:23 AM, Peter Percival wrote:
>> Nam Nguyen wrote:
>>

>>> What definition of "invalidity" were you referring to _here_ ? Mine?
>>
>> If you use the word "invalidity" is newsgroups called sci.logic and
>> sci.math then it should probably be with its usual technical meaning. If
>> you use it in another sense you should probably say what sense that is
>> right from the start.
>>

>
> It does get confusing, doesn't it? Given that Nam's apparent
> views are epistemic and modal,

And yet he refuses to say what is epistemic and modal assumptions are,
though he is fond of the phrase "impossible to know".

> his use of "validity" probably
> correspond with "necessity" in some system of frames. Generally,
> modal logic is based on classical logic and frame systems simply
> incorporate mathematical necessity into all worlds. But, since
> Nam is applying the modal reasoning to the reasoning of mathematics
> itself, truths on the basis of valid proofs are not necessary.
> And, if this can even be made to work at all in some system of
> frames, those truths would not be valid in the semantic sense
> as the notion would be conflated with necessity.
>
> Key counterfactual:
>
> ... if this can even be made to work at all...
>
>
>

--
The world will little note, nor long remember what we say here
Lincoln at Gettysburg

Date Subject Author
10/4/13 namducnguyen
10/5/13 Peter Percival
10/6/13 LudovicoVan
10/6/13 LudovicoVan
10/9/13 fom
10/18/13 Peter Percival
10/18/13 namducnguyen
10/19/13 Peter Percival
10/19/13 fom
10/19/13 Peter Percival
10/19/13 fom
10/19/13 namducnguyen
10/19/13 fom
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 fom
10/19/13 fom
10/20/13 namducnguyen
10/20/13 fom
10/20/13 namducnguyen
10/20/13 fom
10/20/13 fom
10/20/13 namducnguyen
10/20/13 fom
10/20/13 namducnguyen
10/20/13 fom
10/20/13 fom
10/20/13 namducnguyen
10/20/13 fom
10/20/13 namducnguyen
10/20/13 fom
10/19/13 namducnguyen
10/19/13 fom
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 fom
10/19/13 fom
10/19/13 namducnguyen
10/19/13 fom
10/19/13 fom
10/19/13 Peter Percival
10/19/13 namducnguyen
10/19/13 Peter Percival
10/20/13 namducnguyen
10/20/13 fom
10/20/13 namducnguyen
10/20/13 namducnguyen
10/20/13 fom
10/20/13 namducnguyen
10/20/13 fom
10/20/13 namducnguyen
10/20/13 fom
10/20/13 namducnguyen
10/20/13 fom
10/24/13 namducnguyen
10/24/13 fom
10/24/13 namducnguyen
10/24/13 Peter Percival
10/24/13 namducnguyen
10/24/13 Peter Percival
10/24/13 fom
10/24/13 fom
10/20/13 fom
10/25/13 Rock Brentwood