On 11 Sep 2015, at 03:40, Pierz wrote:
OK, I think it's 100%. I'm just not sure what it means that the
higher beings are connected by analogy not composition,
Well, a difference can be the intensional one, like "proving" = "the
formal computation", and "proving" = "the correct formal computation".
The correct machine can't see that they are equal, and can prove that
they obey different logics, even if they prove the exact
same"arithmetical proposition".
and "formal rights comprise a real science" (unless he means there
is something objectively knowable about ethics).
No problem when we keep in mind that "real science" is usually wrong
and in need to be revised. Democratic rules can evolve, but can also
get sick and die.
That said, the higher beings thing sounds like something I *would*
agree with, if I understood it... ;)
I am not sure to see what text of Gödel is alluded too here. But once
you have an axiom of infinity, and dare to give it a name, you get a
quite impressive multiplication of the infinities, like Cantor
understood and developed. Maybe Gödel was thinking to large cardinals
or something analogical to them.
Bruno
On Friday, September 11, 2015 at 11:16:09 AM UTC+10, Jason wrote:
Which of the 14 points did you not agree with?
As for his ontological proof, I think that was more something he did
for fun, to see if he could impart some rigor to Anselm's argument.
Jason
On Thu, Sep 10, 2015 at 5:13 PM, Pierz <pie...@gmail.com> wrote:
It's amazing to me that a man of Gödel's brilliance could take the
drivel of the ontological argument seriously. Did I miss something
about that specious piece of sophistry? Other than that I'm in 87.5%
agreement with him...
--
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-li...@googlegroups.com.
To post to this group, send email to everyth...@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.
