On 1/1/2014 3:49 AM, Bruno Marchal wrote:
Because all correct machine, cognitively rich enough (= believing in numbers and
induction, or being Löbian, ...) when they look inward, discover the gap between G and
G*, or the gap between truth about them and proof about them.
As an analysis of human pyschology that seems very fanicful to me. People invented gods
long before Peano and Godel and even before the idea of mathematical proof. Gods were
just anthropomorphized physics; things did what they did because "it was their nature".
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 post to this group, send email to firstname.lastname@example.org.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.