On 23-09-2017 10:34, Bruno Marchal wrote:
On 22 Sep 2017, at 13:47, David Nyman wrote:
https://www.quantamagazine.org/mathematicians-measure-infinities-find-theyre-equal-20170912/
[1]
A rare progress on the continuum hypothesis (CH). Shelah is amazingly
smart. There is that story that he arrived one week to early at a
congress of logic, and decided to follow a congress on group theory
instead, and depressed everybody by solving most open problems of that
congress! His first question was "what is a group?", and people taught
he was retarted!
Now, this does not necessarily concern us. I think. Even ZF and
ZF+Choice proves the same theorems in arithmetic. That is probably not
the case for ZF and ZF + CH, but the comp ontology will not change.
For the phenomenology, that might change something though, making the
measure problem more easy or more difficult. We are not yet enough
advanced on this to decide, i think. model theory and set theory are
*quite* complex compared to arithmetic!
Bruno
Everything in physics suggests that infinities don't actually exists, so
perhaps more progress can be made if you use a finitistic logics system.
Saibal
--
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 [email protected].
To post to this group, send email to
[email protected].
Visit this group at https://groups.google.com/group/everything-list
[2].
For more options, visit https://groups.google.com/d/optout [3].
Links:
------
[1]
https://www.quantamagazine.org/mathematicians-measure-infinities-find-theyre-equal-20170912/
[2] https://groups.google.com/group/everything-list
[3] https://groups.google.com/d/optout
[4] 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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
