Bruno Marchal a écrit (to Jamie N Rose):
> Concerning your use of the word "proposition", I don't understand
> exactly what you mean by the words "exists" "accessible" "perfectly
> accessible", .... The whole sentence is rather hard to follow.
> Godel used this:
> From A -> B and A -> ~B, infer ~A.
>
> Godel did not really use the non intuitionist principle (but readily
> accepted by arithmetical platonist):
> From A -> B and A -> ~B, infer ~A.
>
> Of course Godel was platonist (even set-platonist), but he did it to
> satisfy as much as possible the finititary requirement imposed by its
> goal to solve (negatively) Hilbert's problem.
> Of course with Church thesis, all this is made much simpler.
The formula in the second paragraph should be:
From ~A -> B and ~A -> ~B, infer A.
Sorry.
(An intuitionist will accept only "From ~A -> B and ~A -> ~B, infer
~~A.).
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Tue Jul 11 2006 - 08:38:50 PDT