Are you able to discuss without insulting people every email you're writing ? What do you expect to gain being rude ?
Le jeu. 23 mai 2019 à 10:28, 'Cosmin Visan' via Everything List < [email protected]> a écrit : > I don't understand anything from what you are saying. Probably you are > just too smart that few people can understand you. I hope that is the case, > and not the second option in which you just randomly say fancy words just > to impress people. > > On Friday, 17 May 2019 21:36:50 UTC+3, [email protected] wrote: >> >> Complexity challenges us all, and the few are able to successfully rise >> to the challenge. For me, the mathematically gifted are indeed a successor >> species! >> >> >> -----Original Message----- >> From: Bruno Marchal <[email protected]> >> To: everything-list <[email protected]> >> Sent: Fri, May 17, 2019 8:34 am >> Subject: Re: My book "I Am" published on amazon >> >> >> On 15 May 2019, at 17:41, spudboy100 via Everything List < >> [email protected]> 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..? >> >> >> With mechanism, what exists are the numbers. The (halting) computations >> are enough for the ontology, and their existence are assured by RA (the >> weaker Turing universal theory with finitely many axioms). >> >> To compare with physical brother mathematical notion of multiverse >> remains to be done by the future generations. It is complex subject. >> >> Bruno >> >> >> >> >> >> >> -----Original Message----- >> From: Bruno Marchal <[email protected]> >> To: everything-list <[email protected]> >> Sent: Wed, May 15, 2019 11:31 am >> Subject: Re: My book "I Am" published on amazon >> >> >> On 13 May 2019, at 08:55, Philip Thrift <[email protected]> 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): >> >> http://jdh.hamkins.org/wp- content/uploads/Is-there-more- >> than-one-mathematical- universe.pdf >> <http://jdh.hamkins.org/wp-content/uploads/Is-there-more-than-one-mathematical-universe.pdf> >> >> >> The final slides: >> >> ---- >> >> *The Continuum Hypothesis is settled* >> >> On 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 the >> CH both holds and fails throughout the multiverse, of how these >> models are connected and how one may reach them from each >> other while preserving or omitting certain features. >> >> Fascinating open questions about CH remain, of course, but the >> most important essential facts are known. >> >> Ultimately, the question becomes: do we have just one >> mathematical world or many >> >> ---- >> >> Mathematics is a language - with multiple dialects. >> >> * Each dialect of mathematics has its own syntax *(to some >> extent)* and semantics!* >> >> >> If it has a semantic, it is not just a language, there is a >> reality/model/semantic, and we have to distinguish languages and possible >> theories on that reality. >> >> It is obvious (for a mathematical logician) that there are many >> mathematical worlds, but like in physics, this does not interfere with >> realism, on the contrary. Now, I use only arithmetical realism, on which >> everybody agree. The standard arithmetical truth is definable with a bit of >> set theory, on which most people agree (as it is the intersection of all >> models of the theories RA or PA). That is as acceptable as any theorem in >> analysis. With Mechanism, Analysis, and physics, remains full of sense, but >> have became phenomenological. >> >> >> >> >> >> 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. >> >> >> That was shown by Cohen and Gödel. >> >> Interestingly, ZFC and ZF + CH does not prove more arithmetical >> propositions than ZF alone. The arithmetical truth is totally independent >> of the axiom of choice or the continuum hypotheses. >> >> Now, ZF proves much more theorems in arithmetic than PA, which proves >> much more than RA. >> >> Bruno >> >> >> >> >> @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 [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/everything-list/06ca3480-cdf1-426b-9f38-404bc2fa1550%40googlegroups.com >> <https://groups.google.com/d/msgid/everything-list/06ca3480-cdf1-426b-9f38-404bc2fa1550%40googlegroups.com?utm_medium=email&utm_source=footer>. >> >> >> >> -- >> 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 view this discussion on the web visit >> >> https://groups.google.com/d/msgid/everything-list/07CE2D6F-E36D-45E6-883E-E9A13C4812B3%40ulb.ac.be >> <https://groups.google.com/d/msgid/everything-list/07CE2D6F-E36D-45E6-883E-E9A13C4812B3%40ulb.ac.be?utm_medium=email&utm_source=footer> >> . >> >> -- >> 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 view this discussion on the web visit >> https://groups.google.com/d/msgid/everything-list/1625287452.1090267.1557934879733%40mail.yahoo.com >> <https://groups.google.com/d/msgid/everything-list/1625287452.1090267.1557934879733%40mail.yahoo.com?utm_medium=email&utm_source=footer>. >> >> >> >> -- >> 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 view this discussion on the web visit >> >> https://groups.google.com/d/msgid/everything-list/A5D9E29B-A79F-45C8-9D1E-31CFFA718EBF%40ulb.ac.be >> <https://groups.google.com/d/msgid/everything-list/A5D9E29B-A79F-45C8-9D1E-31CFFA718EBF%40ulb.ac.be?utm_medium=email&utm_source=footer> >> . >> > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/7edc2c89-d2b2-46f7-93e7-cd12e3ad586f%40googlegroups.com > <https://groups.google.com/d/msgid/everything-list/7edc2c89-d2b2-46f7-93e7-cd12e3ad586f%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- All those moments will be lost in time, like tears in rain. (Roy Batty/Rutger Hauer) -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAMW2kArohdzqLwfR_-Fd6JEv%3D7L%3DdxEZrLFhRL1gtFAQbkqT9A%40mail.gmail.com.
