On 13 May 2019, at 08:55, Philip Thrift <cloud...@gmail.com> wrote:
On Sunday, May 12, 2019 at 9:40:12 PM UTC-5, Jason wrote:Incompleteness disproves nominalism. Arithmetical truth was proven not only to be not human defined, but to be not human definable.(This is something I posted a few days ago in another forum.)From Joel David Hamkins @JDHamkins - http://jdh.hamkins.org/"Truths" in the set-theoretic multiverse (slides from a talk last week):The final slides:----The Continuum Hypothesis is settledOn the multiverse perspective, the CH question is settled.It is incorrect to describe it as an open question.The answer consists of our detailed understanding of how theCH both holds and fails throughout the multiverse, of how thesemodels are connected and how one may reach them from eachother while preserving or omitting certain features.Fascinating open questions about CH remain, of course, but themost important essential facts are known.Ultimately, the question becomes: do we have just onemathematical world or many----Mathematics is a language - with multiple dialects.Each dialect of mathematics has its own syntax (to some extent) and semantics!
There is no settled "truth" in mathematics.For example (as Hamkins shows) the CH is true in one dialect (of set theory) and false in another.
@philipthrift--
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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/06ca3480-cdf1-426b-9f38-404bc2fa1550%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/1625287452.1090267.1557934879733%40mail.yahoo.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/F3788EBD-E91D-4264-8873-6A4BD0A8D204%40gmail.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/d861ab86-684d-0891-fad0-e45956c25daa%40verizon.net.
On 15 May 2019, at 17:41, spudboy100 via Everything List <everyth...@googlegroups.com> wrote:Some years ago, some astronomer or cosmologist introduced the idea of One Gigantic Universe, but many, many, "domains," which, for me, is the same thing as Everett's-Deutsch's-Tegmark's multiverses. I am not sure if all domains followed the identical laws, or varied, or..?
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/1625287452.1090267.1557934879733%40mail.yahoo.com.
On 16 May 2019, at 04:47, Samiya Illias <samiya...@gmail.com> wrote:The Quran presents a similar idea of one gigantic sky layered into seven skies, each with its own laws/commands/affair. Please read excerpt below...Revisiting Surah alFussilat (Explained in Detail), we read:ثُمَّ اسْتَوَىٰ إِلَى السَّمَاءِ وَهِيَ دُخَانٌ فَقَالَ لَهَا وَلِلْأَرْضِ ائْتِيَا طَوْعًا أَوْ كَرْهًا قَالَتَا أَتَيْنَا طَائِعِينَفَقَضَاهُنَّ سَبْعَ سَمَاوَاتٍ فِي يَوْمَيْنِ وَأَوْحَىٰ فِي كُلِّ سَمَاءٍ أَمْرَهَاوَزَيَّنَّا السَّمَاءَ الدُّنْيَا بِمَصَابِيحَ وَحِفْظًا ذَٰلِكَ تَقْدِيرُ الْعَزِيزِ الْعَلِيمِThen He directed (Himself) towards the heaven while it (was) smoke, and He said to it and to the earth, "Come both of you willingly or unwillingly." They both said, "We come willingly."Then He completed them (as) seven heavens in two periods and He revealed in each heaven its affair. And We adorned the heaven, [the world]
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/F3788EBD-E91D-4264-8873-6A4BD0A8D204%40gmail.com.
On 16 May 2019, at 05:07, 'Brent Meeker' via Everything List <everyth...@googlegroups.com> wrote:And why should I care what the Quran says?
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/d861ab86-684d-0891-fad0-e45956c25daa%40verizon.net.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CANgFmkGMhGAuvxu%2BeUU7fKYTAckjANE28vYQ%3DHbjtdeC0E-ZMg%40mail.gmail.com.