On 20 Jul 2014, at 03:00, Platonist Guitar Cowboy wrote:
On Sun, Jul 20, 2014 at 2:21 AM, meekerdb <meeke...@verizon.net>
wrote:
On 7/14/2014 7:46 AM, Bruno Marchal wrote:
Now, if you are interested in experiencing the (rather common) God
"hallucination", there are technic for that (fasting, sleep
deprivation, magic mushrooms, LSD, salvia, near death experiences,
etc.).
Really? That will allow me to see the unprovable truths of
arithmetic? I'll be able to see whether the twin-primes
conjecture is among them? Great.
Of course you have a point: 1p unprovable arithmetic truth can be
bogus and tacky at times,
Arithmetical truth are true, by definition. There are also non
refutable falsities, and Eric solved the problem I gave him, to prove
that [PA + some consistent but false proposition in arithmetic] can
augment the ability of PA to prove some true arithmetic statement,
which explains why even "evolution", not just the government, can lie.
Bruno
which is assumed in the notion... but also nice at other times, like
songs, good jokes, steering some fast vehicle or bike etc. PGC
Brent
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
