> On 23 May 2019, at 11:14, Quentin Anciaux <[email protected]> wrote: > > Are you able to discuss without insulting people every email you're writing ? > What do you expect to gain being rude ?
Yes, it is bit distracting. It is not even clear to whom the insult are addressed. Cosmin, ask question, it is simpler that way. You can read the papers also. Bruno > > Le jeu. 23 mai 2019 à 10:28, 'Cosmin Visan' via Everything List > <[email protected] <mailto:[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] > <mailto:[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/ >>> <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] > <mailto:[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] > <mailto:[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 > > <https://groups.google.com/d/msgid/everything-list/CAMW2kArohdzqLwfR_-Fd6JEv%3D7L%3DdxEZrLFhRL1gtFAQbkqT9A%40mail.gmail.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/2D2F6006-FB7E-41F6-97B8-BCA67F9D3BA9%40ulb.ac.be.
