464:
349:." In he gives a more detailed response, proposing as an alternative to MUH the more restricted "Computable Universe Hypothesis" (CUH) which only includes mathematical structures that are simple enough that Gödel's theorem does not require them to contain any undecidable or uncomputable theorems. Tegmark admits that this approach faces "serious challenges", including (a) it excludes much of the mathematical landscape; (b) the measure on the space of allowed theories may itself be uncomputable; and (c) "virtually all historically successful theories of physics violate the CUH".
400:
language." In the paper "On Math, Matter and Mind" the secularist viewpoint examined argues that math is evolving over time, there is "no reason to think it is converging to a definite structure, with fixed questions and established ways to address them", and also that "The
Radical Platonist position is just another metaphysical theory like solipsism... In the end the metaphysics just demands that we use a different language for saying what we already knew." Tegmark responds that "The notion of a mathematical structure is rigorously defined in any book on
341:) mathematical structures have physical existence. This drastically shrinks the Level IV multiverse, essentially placing an upper limit on complexity, and may have the attractive side effect of explaining the relative simplicity of our universe." Tegmark goes on to note that although conventional theories in physics are Gödel-undecidable, the actual mathematical structure describing our world could still be Gödel-complete, and "could in principle contain observers capable of thinking about Gödel-incomplete mathematics, just as
404:", and that non-human mathematics would only differ from our own "because we are uncovering a different part of what is in fact a consistent and unified picture, so math is converging in this sense." In his 2014 book on the MUH, Tegmark argues that the resolution is not that we invent the language of mathematics, but that we discover the structure of mathematics.
36:
179:. Mathematical existence equals physical existence, and all structures that exist mathematically exist physically as well. Observers, including humans, are "self-aware substructures (SASs)". In any mathematical structure complex enough to contain such substructures, they "will subjectively perceive themselves as existing in a physically 'real' world".
432:
Tegmark's solution to this problem, the assigning of lower "weights" to the more complex structures seems arbitrary ("Who determines the weights?") and may not be logically consistent ("It seems to introduce an additional mathematical structure, but all of them are supposed to be already included in the set").
399:
with respect to mathematics are limited to basic counting abilities. He adds, "non-human intelligent beings should exist that understand the language of advanced mathematics. However, none of the non-human intelligent beings that we know of confirm the status of (advanced) mathematics as an objective
259:
argues that "Although
Tegmark suggests that '... all mathematical structures are a priori given equal statistical weight,' there is no way of assigning equal non-vanishing probability to all (infinitely many) mathematical structures." Schmidhuber puts forward a more restricted ensemble which admits
284:
fundamental theorems intended to serve as building blocks for additional mathematical results. He explicitly includes universe representations describable by non-halting programs whose output bits converge after finite time, although the convergence time itself may not be predictable by a halting
419:
or at least our own, there must be one unique mathematical structure that describes ultimate reality. So I think it is logical nonsense to talk of Level 4 in the sense of the co-existence of all mathematical structures." This means there can only be one mathematical corpus. Tegmark responds that
431:
comments that "The number of mathematical structures increases with increasing complexity, suggesting that 'typical' structures should be horrendously large and cumbersome. This seems to be in conflict with the beauty and simplicity of the theories describing our world". He goes on to note that
362:, stating that it predicts (a) that "physics research will uncover mathematical regularities in nature", and (b) by assuming that we occupy a typical member of the multiverse of mathematical structures, one could "start testing multiverse predictions by assessing how typical our universe is".
357:
Stoeger, Ellis, and
Kircher note that in a true multiverse theory, "the universes are then completely disjoint and nothing that happens in any one of them is causally linked to what happens in any other one. This lack of any causal connection in such multiverses really places them beyond any
247:
in London called it a "provocative" solution to one of the central problems facing physics. Although he "wouldn't dare" go so far as to say he believes it, he noted that "it's actually quite difficult to construct a theory where everything we see is all there is".
333:
and Mark Alford, the "secularist" (Alford) states that "the methods allowed by formalists cannot prove all the theorems in a sufficiently powerful system... The idea that math is 'out there' is incompatible with the idea that it consists of formal systems."
358:
scientific support". Ellis specifically criticizes the MUH, stating that an infinite ensemble of completely disconnected universes is "completely untestable, despite hopeful remarks sometimes made, see, e.g., Tegmark (1998)." Tegmark maintains that MUH is
386:
argues similarly: "The deepest description of the universe should not require concepts whose meaning relies on human experience or interpretation. Reality transcends our existence and so shouldn't, in any fundamental way, depend on ideas of our making."
376:
The MUH is based on the radical
Platonist view that math is an external reality. However, Jannes argues that "mathematics is at least in part a human construction", on the basis that if it is an external reality, then it should be found in some other
395:. But a few surprising examples of mathematical abstraction notwithstanding (for example, chimpanzees can be trained to carry out symbolic addition with digits, or the report of a parrot understanding a "zero-like concept"), all examples of
381:
as well: "Tegmark argues that, if we want to give a complete description of reality, then we will need a language independent of us humans, understandable for non-human sentient entities, such as aliens and future supercomputers".
543:
390:
However, there are many non-human entities, plenty of which are intelligent, and many of which can apprehend, memorise, compare and even approximately add numerical quantities. Several animals have also passed the
420:"This is less inconsistent with Level IV than it may sound, since many mathematical structures decompose into unrelated substructures, and separate ones can be unified."
201:
Tegmark claims that the hypothesis has no free parameters and is not observationally ruled out. Thus, he reasons, it is preferred over other theories-of-everything by
145:
273:
1312:
57:
44:
463:
1243:
537:
195:
163:
Tegmark's MUH is the hypothesis that our external physical reality is a mathematical structure. That is, the physical universe is not merely
326:
303:
measure of free parameter variations of physical dimensions, constants, and laws over all universes has not yet been constructed for the
1078:
269:
320:
415:
has argued that "At the ultimate level, there can be only one world and, if mathematical structures are broad enough to include all
113:
in and of itself. Tegmark extends this idea to hypothesize that all mathematical objects exist, which he describes as a form of
1342:
240:
1347:
1004:, "83 Years of General Relativity and Cosmology Progress and Problems", Classical and Quantum Gravity 16, A37-A75, 1999.
224:. This categorization posits a nested hierarchy of increasing diversity, with worlds corresponding to different sets of
1362:
515:
1327:
549:
1264:
Hamlin, Colin (2017). "Towards a Theory of
Universes: Structure Theory and the Mathematical Universe Hypothesis".
1103:
874:"Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit"
371:
1252:
488:
232:(level 2), quantum branches (level 3), and altogether different equations or mathematical structures (level 4).
981:
Stoeger, W. R.; Ellis, G. F. R.; Kirchner, U. (2006-01-19). "Multiverses and
Cosmology: Philosophical Issues".
297:
261:
1257:
304:
141:
49:
1304:
1188:
478:
176:
1309:
1281:
1121:
869:
256:
125:
1207:
1158:
947:
895:
783:
727:
665:
588:
412:
338:
98:
569:
Tegmark, Max (November 1998). "Is "the Theory of
Everything" Merely the Ultimate Ensemble Theory?".
128:
argues that it is not possible to assign an equal weight or probability to all mathematical objects
1352:
498:
483:
396:
286:
214:
110:
213:), which says that the mathematical structure that is our external physical reality is defined by
1223:
1197:
1174:
1148:
1041:
1027:
1001:
982:
963:
937:
885:
849:
773:
743:
717:
681:
655:
604:
578:
428:
229:
225:
194:
in that it denies that anything exists except mathematical objects; and a formal expression of
1357:
1269:
1239:
799:
445:
1215:
1166:
955:
903:
791:
735:
673:
596:
531:
505:
441:
346:
277:
265:
244:
202:
1013:
Gil Jannes, "Some comments on 'The
Mathematical Universe'", Found. Phys. 39, 397-406, 2009
1316:
493:
290:
1319:
Tegmark and Harris discuss efficacy of mathematics, multiverses, artificial intelligence.
452:, it should never be used as the final arbiter to decide which theory is to be favored".
1211:
1162:
951:
899:
787:
731:
669:
592:
622:
469:
416:
342:
183:
795:
1336:
1322:
1285:
826:
520:
510:
300:
281:
191:
118:
1291:
1178:
967:
608:
1227:
821:
817:
747:
685:
401:
383:
17:
1136:
1108:
392:
316:
102:
873:
1248:
1219:
1139:(1998). "Is the 'theory of everything' merely the ultimate ensemble theory?".
959:
907:
739:
677:
459:
440:
Tegmark has been criticized as misunderstanding the nature and application of
221:
152:
133:
449:
187:
114:
82:
1170:
1125:
1040:
Page, Don N. (2006-10-09). "Predictions and Tests of
Multiverse Theories".
803:
600:
337:
Tegmark's response is to offer a new hypothesis "that only Gödel-complete (
151:
Tegmark replies that not only is the universe mathematical, but it is also
35:
205:. Tegmark also considers augmenting the MUH with a second assumption, the
987:
890:
854:
848:
Schmidhuber, Juergen (2000-12-20). "Algorithmic
Theories of Everything".
778:
525:
359:
330:
137:
1298:
942:
1301:" (and archives). Discusses the idea that all possible universes exist.
1111:
and published on January 7, 2014, this book describes Tegmark's theory.
1046:
378:
78:
1236:
Our Mathematical Universe: My Quest for the Ultimate Nature of Reality
1153:
583:
345:
can prove certain theorems about Gödel-incomplete formal systems like
190:
in that it proposes the existence of mathematical entities; a form of
928:
Hut, P.; Alford, M.; Tegmark, M. (2006). "On Math, Matter and Mind".
544:
The Unreasonable Effectiveness of Mathematics in the Natural Sciences
220:
The MUH is related to Tegmark's categorization of four levels of the
1286:
The ensemble of universes describable by constructive mathematics.
1202:
1014:
722:
660:
1126:
A Computer Scientist's View of Life, the Universe, and Everything
1130:
Foundations of Computer Science: Potential - Theory - Cognition
1328:"Is the Universe made of math?" Excerpt in Scientific American
1323:
Collection of interviews with Max Tegmark in 'Closer to truth"
1132:. Lecture Notes in Computer Science, Springer: p. 201-08.
329:. In a three-way debate between Tegmark and fellow physicists
29:
325:
It has also been suggested that the MUH is inconsistent with
307:
either, so this should not be regarded as a "show-stopper".
1270:
https://link.springer.com/article/10.1007/s11229-015-0959-y
646:
Tegmark, Max (February 2008). "The Mathematical Universe".
878:
International Journal of Foundations of Computer Science
1253:
Book Review: 'Our Mathematical Universe' by Max Tegmark
1186:Tegmark, Max (2008). "The Mathematical Universe".
1065:Many Worlds in One: The Search for Other Universes
708:Tegmark, Max (2008). "The Mathematical Universe".
144:have suggested that the idea is incompatible with
1294:with links to his technical and popular writings.
1305:Richard Carrier Blogs: Our Mathematical Universe
1059:
1057:
372:Philosophy of mathematics § Mathematicism
759:
757:
641:
639:
637:
635:
633:
631:
448:reminds that "Occam's razor is just a useful
260:only universe representations describable by
8:
105:. According to the hypothesis, the universe
764:Tegmark, Max (2003). "Parallel Universes".
1079:"Mathematical universe? I ain't convinced"
408:Coexistence of all mathematical structures
1201:
1152:
1045:
986:
941:
889:
853:
777:
721:
659:
582:
274:Digital Library of Mathematical Functions
124:The hypothesis has proved controversial.
60:of all important aspects of the article.
561:
182:The theory can be considered a form of
1077:Pigliucci, Massimo (16 January 2014).
923:
921:
919:
917:
843:
841:
424:Consistency with our "simple universe"
56:Please consider expanding the lead to
538:Structuralism (philosophy of science)
7:
146:Gödel's first incompleteness theorem
296:In response, Tegmark notes that a
270:Global Digital Mathematics Library
25:
796:10.1038/scientificamerican0503-40
393:mirror test of self-consciousness
366:Plausibility of radical Platonism
462:
311:Consistency with Gödel's theorem
101:" (TOE) proposed by cosmologist
87:mathematical universe hypothesis
34:
48:may be too short to adequately
1292:Page maintained by Max Tegmark
343:finite-state digital computers
327:Gödel's incompleteness theorem
207:computable universe hypothesis
58:provide an accessible overview
1:
1299:The 'Everything' mailing list
321:Gödel's completeness theorem
516:Measure problem (cosmology)
1379:
1067:. Hill and Wang, New York.
369:
314:
252:Definition of the ensemble
1310:Interview with Sam Harris
1220:10.1007/s10701-007-9186-9
1104:Our Mathematical Universe
1081:. Folsom, CA: Science 2.0
960:10.1007/s10701-006-9048-x
908:10.1142/S0129054102001291
740:10.1007/s10701-007-9186-9
678:10.1007/s10701-007-9186-9
623:Our Mathematical Universe
136:many of them. Physicists
298:constructive mathematics
262:constructive mathematics
236:Criticisms and responses
196:ontic structural realism
95:ultimate ensemble theory
1258:The Wall Street Journal
550:Hilbert's sixth problem
310:
305:string theory landscape
1343:Abstract object theory
1189:Foundations of Physics
1171:10.1006/aphy.1998.5855
930:Foundations of Physics
710:Foundations of Physics
648:Foundations of Physics
601:10.1006/aphy.1998.5855
479:Abstract object theory
177:mathematical structure
1234:Tegmark, Max (2014),
1128:" in C. Freksa, ed.,
698:Tegmark (1998), p. 1.
435:
93:), also known as the
1348:Metaphysical realism
1251:(17 January 2014), "
489:Church–Turing thesis
285:program, due to the
215:computable functions
99:theory of everything
97:, is a speculative "
1212:2008FoPh...38..101T
1163:1998AnPhy.270....1T
1063:A. Vilenkin (2006)
952:2006FoPh...36..765H
900:2000quant.ph.11122S
788:2003SciAm.288e..40T
766:Scientific American
732:2008FoPh...38..101T
670:2008FoPh...38..101T
593:1998AnPhy.270....1T
499:Pancomputationalism
484:Anthropic principle
397:animal intelligence
280:representations of
132:due to there being
111:mathematical object
27:Cosmological theory
18:Ultimate multiverse
1363:Physical cosmology
1315:2017-08-25 at the
1282:Jürgen Schmidhuber
1028:The Hidden Reality
621:M. Tegmark 2014, "
429:Alexander Vilenkin
257:Jürgen Schmidhuber
230:physical constants
226:initial conditions
126:Jürgen Schmidhuber
1244:978-0-307-59980-3
1141:Annals of Physics
571:Annals of Physics
446:Massimo Pigliucci
266:computer programs
167:mathematics, but
75:
74:
16:(Redirected from
1370:
1231:
1205:
1182:
1156:
1091:
1090:
1088:
1086:
1074:
1068:
1061:
1052:
1051:
1049:
1037:
1031:
1025:B. Greene 2011,
1023:
1017:
1011:
1005:
999:
993:
992:
990:
988:astro-ph/0407329
978:
972:
971:
945:
925:
912:
911:
893:
891:quant-ph/0011122
866:
860:
859:
857:
855:quant-ph/0011122
845:
836:
835:
814:
808:
807:
781:
779:astro-ph/0302131
761:
752:
751:
725:
705:
699:
696:
690:
689:
663:
643:
626:
619:
613:
612:
586:
566:
532:Permutation City
506:Impossible world
472:
467:
466:
347:Peano arithmetic
278:linked open data
245:Imperial College
241:Andreas Albrecht
175:specifically, a
70:
67:
61:
38:
30:
21:
1378:
1377:
1373:
1372:
1371:
1369:
1368:
1367:
1333:
1332:
1317:Wayback Machine
1278:
1268:194 (581–591).
1185:
1135:
1122:Schmidhuber, J.
1118:
1116:Further reading
1099:
1094:
1084:
1082:
1076:
1075:
1071:
1062:
1055:
1039:
1038:
1034:
1024:
1020:
1015:arXiv:0904.0867
1012:
1008:
1000:
996:
980:
979:
975:
943:physics/0510188
927:
926:
915:
870:Schmidhuber, J.
868:
867:
863:
847:
846:
839:
822:"Anything goes"
816:
815:
811:
763:
762:
755:
707:
706:
702:
697:
693:
645:
644:
629:
620:
616:
568:
567:
563:
559:
554:
494:Digital physics
468:
461:
458:
438:
426:
417:possible worlds
410:
374:
368:
355:
339:fully decidable
323:
313:
291:halting problem
254:
238:
161:
71:
65:
62:
55:
43:This article's
39:
28:
23:
22:
15:
12:
11:
5:
1376:
1374:
1366:
1365:
1360:
1355:
1350:
1345:
1335:
1334:
1331:
1330:
1325:
1320:
1307:
1302:
1295:
1289:
1277:
1276:External links
1274:
1273:
1272:
1262:
1246:
1232:
1183:
1133:
1117:
1114:
1113:
1112:
1098:
1095:
1093:
1092:
1069:
1053:
1047:hep-th/0610101
1032:
1018:
1006:
994:
973:
913:
884:(4): 587–612.
861:
837:
809:
753:
716:(2): 101–150.
700:
691:
654:(2): 101–150.
627:
614:
560:
558:
555:
553:
552:
547:
540:
535:
528:
523:
518:
513:
508:
503:
502:
501:
491:
486:
481:
475:
474:
473:
470:Physics portal
457:
454:
437:
434:
425:
422:
409:
406:
367:
364:
354:
351:
312:
309:
287:undecidability
253:
250:
237:
234:
184:Pythagoreanism
160:
157:
73:
72:
52:the key points
42:
40:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1375:
1364:
1361:
1359:
1356:
1354:
1351:
1349:
1346:
1344:
1341:
1340:
1338:
1329:
1326:
1324:
1321:
1318:
1314:
1311:
1308:
1306:
1303:
1300:
1296:
1293:
1290:
1287:
1283:
1280:
1279:
1275:
1271:
1267:
1263:
1260:
1259:
1254:
1250:
1247:
1245:
1241:
1237:
1233:
1229:
1225:
1221:
1217:
1213:
1209:
1204:
1199:
1196:(2): 101–50.
1195:
1191:
1190:
1184:
1180:
1176:
1172:
1168:
1164:
1160:
1155:
1154:gr-qc/9704009
1150:
1146:
1142:
1138:
1134:
1131:
1127:
1123:
1120:
1119:
1115:
1110:
1107:: written by
1106:
1105:
1101:
1100:
1096:
1080:
1073:
1070:
1066:
1060:
1058:
1054:
1048:
1043:
1036:
1033:
1030:
1029:
1022:
1019:
1016:
1010:
1007:
1003:
998:
995:
989:
984:
977:
974:
969:
965:
961:
957:
953:
949:
944:
939:
936:(6): 765–94.
935:
931:
924:
922:
920:
918:
914:
909:
905:
901:
897:
892:
887:
883:
879:
875:
871:
865:
862:
856:
851:
844:
842:
838:
833:
829:
828:
827:New Scientist
823:
820:(June 1998).
819:
818:Chown, Markus
813:
810:
805:
801:
797:
793:
789:
785:
780:
775:
771:
767:
760:
758:
754:
749:
745:
741:
737:
733:
729:
724:
719:
715:
711:
704:
701:
695:
692:
687:
683:
679:
675:
671:
667:
662:
657:
653:
649:
642:
640:
638:
636:
634:
632:
628:
624:
618:
615:
610:
606:
602:
598:
594:
590:
585:
584:gr-qc/9704009
580:
576:
572:
565:
562:
556:
551:
548:
545:
541:
539:
536:
534:
533:
529:
527:
524:
522:
521:Modal realism
519:
517:
514:
512:
511:Mathematicism
509:
507:
504:
500:
497:
496:
495:
492:
490:
487:
485:
482:
480:
477:
476:
471:
465:
460:
455:
453:
451:
447:
443:
442:Occam's razor
436:Occam's razor
433:
430:
423:
421:
418:
414:
407:
405:
403:
398:
394:
388:
385:
380:
373:
365:
363:
361:
353:Observability
352:
350:
348:
344:
340:
335:
332:
328:
322:
318:
308:
306:
302:
299:
294:
292:
288:
283:
279:
275:
271:
267:
263:
258:
251:
249:
246:
242:
235:
233:
231:
227:
223:
218:
216:
212:
208:
204:
203:Occam's Razor
199:
197:
193:
192:mathematicism
189:
185:
180:
178:
174:
170:
166:
158:
156:
154:
149:
147:
143:
139:
135:
131:
127:
122:
120:
119:Modal realism
116:
112:
108:
104:
100:
96:
92:
88:
84:
80:
69:
66:December 2023
59:
53:
51:
46:
41:
37:
32:
31:
19:
1265:
1256:
1235:
1193:
1187:
1144:
1140:
1137:Tegmark, Max
1129:
1102:
1083:. Retrieved
1072:
1064:
1035:
1026:
1021:
1009:
1002:G.F.R. Ellis
997:
976:
933:
929:
881:
877:
864:
831:
825:
812:
772:(5): 40–51.
769:
765:
713:
709:
703:
694:
651:
647:
617:
574:
570:
564:
530:
439:
427:
411:
402:Model Theory
389:
384:Brian Greene
375:
356:
336:
324:
295:
268:; e.g., the
255:
239:
219:
210:
206:
200:
181:
172:
171:mathematics
168:
165:described by
164:
162:
150:
129:
123:
106:
94:
90:
86:
76:
63:
47:
45:lead section
1147:(1): 1–51.
1109:Max Tegmark
577:(1): 1–51.
317:Consistency
264:, that is,
228:(level 1),
159:Description
142:Mark Alford
103:Max Tegmark
1353:Multiverse
1337:Categories
557:References
370:See also:
315:See also:
301:formalized
282:formalized
222:multiverse
153:computable
134:infinitely
1203:0704.0646
723:0704.0646
661:0704.0646
625:", Knopf.
450:heuristic
188:Platonism
115:Platonism
83:cosmology
50:summarize
1358:Ontology
1313:Archived
1266:Synthese
1249:Woit, P.
1179:41548734
1124:(1997) "
968:17559900
872:(2002).
804:12701329
609:41548734
526:Ontology
456:See also
413:Don Page
360:testable
331:Piet Hut
138:Piet Hut
130:a priori
1228:9890455
1208:Bibcode
1159:Bibcode
1097:Sources
948:Bibcode
896:Bibcode
834:(2157).
784:Bibcode
748:9890455
728:Bibcode
686:9890455
666:Bibcode
589:Bibcode
379:animals
289:of the
79:physics
1242:
1226:
1177:
966:
802:
746:
684:
607:
85:, the
1224:S2CID
1198:arXiv
1175:S2CID
1149:arXiv
1085:7 May
1042:arXiv
983:arXiv
964:S2CID
938:arXiv
886:arXiv
850:arXiv
774:arXiv
744:S2CID
718:arXiv
682:S2CID
656:arXiv
605:S2CID
579:arXiv
1240:ISBN
1087:2024
800:PMID
319:and
272:and
155:.
140:and
81:and
1255:",
1216:doi
1167:doi
1145:270
956:doi
904:doi
832:158
792:doi
770:288
736:doi
674:doi
597:doi
575:270
243:of
211:CUH
186:or
148:.
117:or
91:MUH
77:In
1339::
1238:,
1222:.
1214:.
1206:.
1194:38
1192:.
1173:.
1165:.
1157:.
1143:.
1056:^
962:.
954:.
946:.
934:36
932:.
916:^
902:.
894:.
882:13
880:.
876:.
840:^
830:.
824:.
798:.
790:.
782:.
768:.
756:^
742:.
734:.
726:.
714:38
712:.
680:.
672:.
664:.
652:38
650:.
630:^
603:.
595:.
587:.
573:.
444:;
293:.
276:,
217:.
198:.
169:is
121:.
109:a
107:is
1297:"
1288:"
1284:"
1261:.
1230:.
1218::
1210::
1200::
1181:.
1169::
1161::
1151::
1089:.
1050:.
1044::
991:.
985::
970:.
958::
950::
940::
910:.
906::
898::
888::
858:.
852::
806:.
794::
786::
776::
750:.
738::
730::
720::
688:.
676::
668::
658::
611:.
599::
591::
581::
546:"
542:"
209:(
173:—
89:(
68:)
64:(
54:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.