tag:blogger.com,1999:blog-37936507.post168170045313945043..comments2023-08-08T10:25:47.529+01:00Comments on McCabism: Mathematical logic and multiversesGordon McCabehttp://www.blogger.com/profile/09151162643523937086noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-37936507.post-63998115251957340292009-08-28T04:55:18.656+01:002009-08-28T04:55:18.656+01:00A Theory of Everything must have a unique finite m...<b>A Theory of Everything must have a unique finite model if the problem of contingency, and the potential existence of a multiverse is to be eliminated."<br /></b><br />I believe an model is suppose to be an interpretation of a formal theory. So, for a complete cosmological formal theory T, Every theorm derivable in T has an interpretation, descriabled by a model M. <br /><br />If we can consider all the possible ways things could be, or all the possible intrepretation for T, then this forms an essemble of models E. Each derivable statements in T correspondes to some elements in E. <br /><br />So, for a practical example. I can think of a cosmological theory T as being this TOE. T would be either a single equation or multiple equations. In both case, there would be constants & initial conditions. One can imagine varying the constants, parameters in T to form a multiverse. <br /><br /><br /> <br /><br /><br />If What i am saying make sense, then for a theory T, there is more than 1 model, and if we can consider a set of models as forming an multiverse, then multiverse is implied for every cosmological theory.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-37936507.post-23334796317108785062009-06-24T14:15:16.989+01:002009-06-24T14:15:16.989+01:00Cheers Doug!
Coincidentally, I've just starte...Cheers Doug!<br /><br />Coincidentally, I've just started the process of writing this into a paper for submission to one of the journals. The mathematical logic is well-known to mathematical logicians, but cosmologists appear to be largely oblivious of it. Which, in theory, is exactly where philosophy of physics should have a part to play...Gordon McCabehttps://www.blogger.com/profile/09151162643523937086noreply@blogger.comtag:blogger.com,1999:blog-37936507.post-5817515557841849432009-06-24T08:43:55.872+01:002009-06-24T08:43:55.872+01:00Brilliant stuff Gordon. Is this original material?...Brilliant stuff Gordon. Is this original material? If so, you should put it on a solid mathematical grounding and publish it!Doug Hudsonnoreply@blogger.com