Re: Tegmark Mathematical Universe
"Lee Corbin" <[email protected]> Sat, 22 Mar 2014 14:49:15 -0700
| Newsgroups | gmane.science.physics.fabric-of-reality |
|---|---|
| Message-ID | <7E890DD12E9D499B868A3B22FEBFFA98@Windows71> |
------=_NextPart_000_074D_01CF45DD.E55510C0
Content-Type: text/plain;
charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Bruno writes
> I am OK with the idea that running a program implementing s=
uffering is
> ethically bad, at least before we solve the computationalist =
measure problem.
Is that another term for "observer moment measure proble=
m"?
What's a brief outline of the computationalist measure problem?
Lee
=
>
I gave an argument that if the brain (even in a weak general sense) is T=
uring emulable, then "mathematical universe" hypothesis is provable, with s=
ome small amount of Occam razor. The physical universe emerges from a stati=
stics on first person points of view associated to computations, which exis=
ts in a tiny part of arithmetic. Tegmark is just very fuzzy when he invokes=
the "whole of mathematics", which is not something making mathematical sen=
se. Also, the physical universe cannot be a mathematical structure among ot=
hers. The relation between math and physics run much deeper, once we take s=
eriously the hypothesis that our brain are "machine": somehow physical real=
ness is a sum on a large set of "mathematical fictions". The emergence of t=
he physical laws is a specific arithmetical phenomena. Comp forces to exten=
d Everett philosophy (physicists obeys to the law of physics) to arithmetic=
(mathematician obeys to the laws of numbers). The price of comp is that we=
have to justify the observation of the universe(s) from arithmetic and cla=
ssical computer science. The bit-qubit relation must go in both direction.
=
Charges can also be reversed. Are there *any* evidences that there is, at t=
he basic ontological level, more than the arithmetical reality? I am not su=
re there is one, beyond the Aristotelian confusion between truth and observ=
able. In fact, for any digital machine, the existence of more than arithmet=
ic is absolutely undecidable.
I am OK with the idea that running a program=
implementing suffering is ethically bad, at least before we solve the comp=
utationalist measure problem.
Bruno
<
http://iridia.ulb.ac.be/~marc=
hal/
------=_NextPart_000_074D_01CF45DD.E55510C0
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
</head>
<body style="background-color: #fff;">
<span style="display:none"> </span>
<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id="ygrp-mlmsg" style="position:relative;">
<div id="ygrp-msg" style="z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->
<div id="ygrp-text" >
<p>
<DIV dir="ltr">
<DIV style="FONT-SIZE: 12pt;FONT-FAMILY: 'Book Antiqua';COLOR: #000000;">
<DIV>Bruno writes</DIV>
<DIV> </DIV>
<DIV>> I am OK with the idea that running a program implementing suffering
is</DIV>
<DIV>> ethically bad, at least before we solve the computationalist measure
problem. </DIV>
<DIV> </DIV>
<DIV>Is that another term for "observer moment measure problem"?</DIV>
<DIV> </DIV>
<DIV>What's a brief outline of the computationalist measure problem?</DIV>
<DIV> </DIV>
<DIV>Lee</DIV>
<DIV> </DIV>
<DIV>></DIV>
<DIV>I gave an argument that if the brain (even in a weak general sense)
is Turing emulable, then "mathematical universe" hypothesis is provable, with
some small amount of Occam razor. The physical universe emerges from a
statistics on first person points of view associated to computations, which
exists in a tiny part of arithmetic. Tegmark is just very fuzzy when he invokes
the "whole of mathematics", which is not something making mathematical sense.
Also, the physical universe cannot be a mathematical structure among others. The
relation between math and physics run much deeper, once we take seriously the
hypothesis that our brain are "machine": somehow physical realness is a sum on a
large set of "mathematical fictions". The emergence of the physical laws is a
specific arithmetical phenomena. Comp forces to extend Everett philosophy
(physicists obeys to the law of physics) to arithmetic (mathematician obeys to
the laws of numbers). The price of comp is that we have to justify the
observation of the universe(s) from arithmetic and classical computer science.
The bit-qubit relation must go in both direction.</DIV>
<DIV>Charges can also be reversed. Are there *any* evidences that there is, at
the basic ontological level, more than the arithmetical reality? I am not sure
there is one, beyond the Aristotelian confusion between truth and observable. In
fact, for any digital machine, the existence of more than arithmetic is
absolutely undecidable.</DIV>
<DIV> </DIV>
<DIV>I am OK with the idea that running a program implementing suffering is
ethically bad, at least before we solve the computationalist measure problem.
</DIV>
<DIV>Bruno</DIV>
<DIV><</DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV>http://iridia.ulb.ac.be/~marchal/</DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV></DIV>
<DIV> </DIV></DIV></DIV>
</p>
</div>
<!--~-|**|PrettyHtmlStart|**|-~-->
<div style="color: #fff; height: 0;">__._,_.___</div>
<div style="clear:both"> </div>
<table cellspacing=4px style="margin-top: 20px; margin-bottom: 10px;">
<tbody>
<tr>
<td style="font-size: 12px; font-family: arial; font-weight: bold; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA " >
<a style="text-decoration: none; color: #2D50FD" href="https://groups.yahoo.com/neo/groups/Fabric-of-Reality/conversations/messages/25643;_ylc=X3oDMTJxbjUwcm5zBF9TAzk3MzU5NzE0BGdycElkAzE4ODg2MDAEZ3Jwc3BJZAMxNzA1MDIwNTg1BG1zZ0lkAzI1NjQzBHNlYwNmdHIEc2xrA3JwbHkEc3RpbWUDMTM5NTY1MTMwNw--?act=reply&messageNum=25643">Reply via web post</a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; " >
<a href="mailto:[email protected]?subject=Re%3A%20Tegmark%20Mathematical%20Universe" style="text-decoration: none; color: #2D50FD;">
Reply to sender </a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; ">
<a href="mailto:[email protected]?subject=Re%3A%20Tegmark%20Mathematical%20Universe" style="text-decoration: none; color: #2D50FD">
Reply to group </a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; " >
<a href="https://groups.yahoo.com/neo/groups/Fabric-of-Reality/conversations/newtopic;_ylc=X3oDMTJlaGZzMm40BF9TAzk3MzU5NzE0BGdycElkAzE4ODg2MDAEZ3Jwc3BJZAMxNzA1MDIwNTg1BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTM5NTY1MTMwNw--" style="text-decoration: none; color: #2D50FD">Start a New Topic</a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #2D50FD; background-color: #F2F2F2; border: 1px solid #EAEAEA; " >
<a href="https://groups.yahoo.com/neo/groups/Fabric-of-Reality/conversations/topics/25631;_ylc=X3oDMTM2bW80NjZ0BF9TAzk3MzU5NzE0BGdycElkAzE4ODg2MDAEZ3Jwc3BJZAMxNzA1MDIwNTg1BG1zZ0lkAzI1NjQzBHNlYwNmdHIEc2xrA3Z0cGMEc3RpbWUDMTM5NTY1MTMwNwR0cGNJZAMyNTYzMQ--" style="text-decoration: none; color: #2D50FD;">Messages in this topic</a>
(13)
</td>
</tr>
</tbody>
</table>
<!------- Start Nav Bar ------>
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-vital" style="background-color: #f2f2f2; font-family: Verdana; font-size: 10px; margin-bottom: 10px; padding: 10px;">
<span id="vithd" style="font-weight: bold; color: #333; text-transform: uppercase; "><a href="https://groups.yahoo.com/neo/groups/Fabric-of-Reality/info;_ylc=X3oDMTJlanE5dm9kBF9TAzk3MzU5NzE0BGdycElkAzE4ODg2MDAEZ3Jwc3BJZAMxNzA1MDIwNTg1BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTM5NTY1MTMwNw--" style="text-decoration: none;">Visit Your Group</a></span>
<ul style="list-style-type: none; margin: 0; padding: 0; display: inline;">
</ul>
</div>
<div id="ft" style="font-family: Arial; font-size: 11px; margin-top: 5px; padding: 0 2px 0 0; clear: both;">
<a href="https://groups.yahoo.com/neo;_ylc=X3oDMTJkbTk3ZzRpBF9TAzk3NDc2NTkwBGdycElkAzE4ODg2MDAEZ3Jwc3BJZAMxNzA1MDIwNTg1BHNlYwNmdHIEc2xrA2dmcARzdGltZQMxMzk1NjUxMzA3" style="float: left;"><img src="http://l.yimg.com/ru/static/images/yg/img/email/new_logo/logo-groups-137x15.png" height="15" width="137" alt="Yahoo! Groups" style="border: 0;"/></a>
<div style="color: #747575; float: right;"> • <a href="https://info.yahoo.com/privacy/us/yahoo/groups/details.html" style="text-decoration: none;">Privacy</a> • <a href="mailto:Fabric-of-Reality-unsubscribe-hHKSG33TihhbjbujkaE4pw@public.gmane.org?subject=Unsubscribe" style="text-decoration: none;">Unsubscribe</a> • <a href="https://info.yahoo.com/legal/us/yahoo/utos/terms/" style="text-decoration: none;">Terms of Use</a> </div>
</div>
<!-- |**|end egp html banner|**| -->
</div> <!-- ygrp-msg -->
<!-- Sponsor -->
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-sponsor" style="width:160px; float:right; clear:none; margin:0 0 25px 0; background: #fff;">
<!-- Start Recommendations -->
<div id="ygrp-reco">
</div>
<!-- End Recommendations -->
</div> <!-- |**|end egp html banner|**| -->
<div style="clear:both; color: #FFF; font-size:1px;">.</div>
</div>
<img src="http://geo.yahoo.com/serv?s=97359714/grpId=1888600/grpspId=1705020585/msgId=25643/stime=1395651307" width="1" height="1"> <br>
<div style="color: #fff; height: 0;">__,_._,___</div>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</body>
<!--~-|**|PrettyHtmlStart|**|-~-->
<head>
<style type="text/css">
<!--
#ygrp-mkp {
border: 1px solid #d8d8d8;
font-family: Arial;
margin: 10px 0;
padding: 0 10px;
}
#ygrp-mkp hr {
border: 1px solid #d8d8d8;
}
#ygrp-mkp #hd {
color: #628c2a;
font-size: 85%;
font-weight: 700;
line-height: 122%;
margin: 10px 0;
}
#ygrp-mkp #ads {
margin-bottom: 10px;
}
#ygrp-mkp .ad {
padding: 0 0;
}
#ygrp-mkp .ad p {
margin: 0;
}
#ygrp-mkp .ad a {
color: #0000ff;
text-decoration: none;
}
#ygrp-sponsor #ygrp-lc {
font-family: Arial;
}
#ygrp-sponsor #ygrp-lc #hd {
margin: 10px 0px;
font-weight: 700;
font-size: 78%;
line-height: 122%;
}
#ygrp-sponsor #ygrp-lc .ad {
margin-bottom: 10px;
padding: 0 0;
}
#actions {
font-family: Verdana;
font-size: 11px;
padding: 10px 0;
}
#activity {
background-color: #e0ecee;
float: left;
font-family: Verdana;
font-size: 10px;
padding: 10px;
}
#activity span {
font-weight: 700;
}
#activity span:first-child {
text-transform: uppercase;
}
#activity span a {
color: #5085b6;
text-decoration: none;
}
#activity span span {
color: #ff7900;
}
#activity span .underline {
text-decoration: underline;
}
.attach {
clear: both;
display: table;
font-family: Arial;
font-size: 12px;
padding: 10px 0;
width: 400px;
}
.attach div a {
text-decoration: none;
}
.attach img {
border: none;
padding-right: 5px;
}
.attach label {
display: block;
margin-bottom: 5px;
}
.attach label a {
text-decoration: none;
}
blockquote {
margin: 0 0 0 4px;
}
.bold {
font-family: Arial;
font-size: 13px;
font-weight: 700;
}
.bold a {
text-decoration: none;
}
dd.last p a {
font-family: Verdana;
font-weight: 700;
}
dd.last p span {
margin-right: 10px;
font-family: Verdana;
font-weight: 700;
}
dd.last p span.yshortcuts {
margin-right: 0;
}
div.attach-table div div a {
text-decoration: none;
}
div.attach-table {
width: 400px;
}
div.file-title a, div.file-title a:active, div.file-title a:hover, div.file-title a:visited {
text-decoration: none;
}
div.photo-title a, div.photo-title a:active, div.photo-title a:hover, div.photo-title a:visited {
text-decoration: none;
}
div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts {
font-family: Verdana;
font-size: 10px;
font-weight: normal;
}
.green {
color: #628c2a;
}
.MsoNormal {
margin: 0 0 0 0;
}
o {
font-size: 0;
}
#photos div {
float: left;
width: 72px;
}
#photos div div {
border: 1px solid #666666;
height: 62px;
overflow: hidden;
width: 62px;
}
#photos div label {
color: #666666;
font-size: 10px;
overflow: hidden;
text-align: center;
white-space: nowrap;
width: 64px;
}
#reco-category {
font-size: 77%;
}
#reco-desc {
font-size: 77%;
}
.replbq {
margin: 4px;
}
#ygrp-actbar div a:first-child {
/* border-right: 0px solid #000;*/
margin-right: 2px;
padding-right: 5px;
}
#ygrp-mlmsg {
font-size: 13px;
font-family: Arial, helvetica,clean, sans-serif;
*font-size: small;
*font: x-small;
}
#ygrp-mlmsg table {
font-size: inherit;
font: 100%;
}
#ygrp-mlmsg select, input, textarea {
font: 99% Arial, Helvetica, clean, sans-serif;
}
#ygrp-mlmsg pre, code {
font:115% monospace;
*font-size:100%;
}
#ygrp-mlmsg * {
line-height: 1.22em;
}
#ygrp-mlmsg #logo {
padding-bottom: 10px;
}
#ygrp-msg p a {
font-family: Verdana;
}
#ygrp-msg p#attach-count span {
color: #1E66AE;
font-weight: 700;
}
#ygrp-reco #reco-head {
color: #ff7900;
font-weight: 700;
}
#ygrp-reco {
margin-bottom: 20px;
padding: 0px;
}
#ygrp-sponsor #ov li a {
font-size: 130%;
text-decoration: none;
}
#ygrp-sponsor #ov li {
font-size: 77%;
list-style-type: square;
padding: 6px 0;
}
#ygrp-sponsor #ov ul {
margin: 0;
padding: 0 0 0 8px;
}
#ygrp-text {
font-family: Georgia;
}
#ygrp-text p {
margin: 0 0 1em 0;
}
#ygrp-text tt {
font-size: 120%;
}
#ygrp-vital ul li:last-child {
border-right: none !important;
}
-->
</style>
</head>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</html>
<!-- end group email -->
------=_NextPart_000_074D_01CF45DD.E55510C0--