Re: Penrose's reply to Chalmers

"Daryl McCullough" <stevendaryl3016@xxxxxxxxx> wrote in message
news:dkj1c701phu@xxxxxxxxxxxxxxxxxx
> Keith Ramsay says...
>

There was a discussion of the Law of the Excluded Middle
recently on the foundations of mathematics FOM mailing list.
http://www.cs.nyu.edu/pipermail/fom/2005-October/009154.html

.

References:
- Penrose's reply to Chalmers
  - From: Rupert
- Re: Penrose's reply to Chalmers
  - From: Keith Ramsay
- Re: Penrose's reply to Chalmers
  - From: Daryl McCullough

Relevant Pages

Re: Question about proof by contradiction
... definition must be in the form of a predicate. ... You MAY be using the excluded middle, ... of these statements are theorems violates something that I'd *like* to ... which is the law of the excluded middle. ...
(sci.math)
Re: Confused about Intuitionistic provability
... |> in all models is equivalent to the law of excluded middle. ... Taking FOL to be classical FOL, ... |> sentences holding in all Kripke models and the set of validities ...
(sci.logic)
Re: The Law of the Excluded Middle again (long)
... contradiction. ... the law of excluded middle isn't a ... a lot of little elementary facts. ...
(sci.math)
Re: The Law of the Excluded Middle again (long)
... constructivism has this law as a theorem in these cases ... the Law of the Excluded Middle is used. ... distraction (caused either by complications in the mathematics, ...
(sci.math)
Re: The Law of the Excluded Middle again (long)
... contradiction. ... the law of excluded middle isn't a ... a lot of little elementary facts. ...
(sci.math)