On 29 Oct 2012, at 17:10, John Clark wrote:
On Mon, Oct 29, 2012 Bruno Marchal <marc...@ulb.ac.be> wrote:
> Gödel and Turing have never touch on the first and third person
Perhaps because they knew that neither they nor anybody else had
anything interesting to add to the subject and they had better
things to do with their time.
What is that for an argument?
Proceed in the UDA before judging. Or study computer science and use
AUDA, which I wrote for the mathematicians, who asked for a version
without philosophy of mind, other than what the machine can already
prove. Thanks to a result of Solovay, this is given by a tiny bunch of
modal logics, and everything is 3p there (but in UDA too, as the 1p
notion used admit a simple 3p description (access to personal diary)).
UDA and AUDA just formulate the comp mind-body problem. If you are not
interested in that problem, then just say nothing, but you talk
sometimes like if there were no problem, or that other problem are
more interesting (and that's is about you and never in the scope of
And yes, that modest formulation is enough to se that Plato win the
Mind-Body match against Aristotle, but I have never asserted that this
is the final match, especially that comp was close to be refuted or
seriously doubted, if physics was not quantum-like.
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at