The Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math

Topic: intuitionism
Replies: 16   Last Post: Nov 1, 2009 3:33 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Frederick Williams

Posts: 982
Registered: 6/18/08
Re: intuitionism
Posted: Oct 28, 2009 5:01 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Keith Ramsay wrote:
>
> On Oct 27, 9:00 am, nukeymusic <nukeymu...@gmail.com> wrote:


>
> |3. can anyone give an example of a p for which: p or not(p) is false
>
> It's never false. It's just that not being false
> isn't taken as sufficient to demonstrate that
> it is true.


Is it worth remarking that in Intuitionist logic there are more than two
truth values? Was it Jaskowski who showed that Intuitionist PC has
infinitely many truth values?

--
Which of the seven heavens / Was responsible her smile /
Wouldn't be sure but attested / That, whoever it was, a god /
Worth kneeling-to for a while / Had tabernacled and rested.



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2017. All Rights Reserved.