Hi Brent, No, I don't have any desire to anthropomorphize those things you mentioned, but I think it's fair to say we are all wired to want to anthropomorphize things in general - especially things we can't predict that have some kind of impact on us, like the weather. That said, I don't have a particular *need* to do so, and if the "god of comp" is best understood as nothing but the cold calculus of logic, so be it. But the indeterminacy embodied by comp as Bruno has exposed opens the door to potentially many interpretations of Truth... so it got me to thinking about if there were ways in which solving the measure problem might end up characterizing the nature of the kind of mathematical truth that could support the experience we are having right now. I think it's an interesting question.
Believe me, I am as far from talking about the bearded guy as any diehard atheist, so don't take this as a question that leads anywhere in particular. I have no agenda here, I promise. I walk a path somewhere between atheism and a full-blooded embrace of "divinity" (a wide range I know), and I make no claims to having any kind of consistent position. Bruno's idealism does appeal to me though, and I am exploring that. Terren On Mon, Feb 18, 2013 at 4:18 PM, meekerdb <meeke...@verizon.net> wrote: > On 2/18/2013 11:47 AM, Terren Suydam wrote: > > > If God is arithmetical truth, then what if anything is there to be said > about its "character"? I know from a formal perspective the answer is > nothing, because nothing formal can be said about truth. > > This is more of an informal question, and comes out of my innate desire > to anthropomorphize. > > > Why would you suppose that your desire to anthropomorphize is anything > other than wishful thinking? Do you also have a desire to > anthropormorphize the periodic table? the solar system? the infinitesimal > calculus? > > > If we accept the God of comp, > > > See, Bruno, this is what your use of "God" language leads to. You protest > that you're just making a scientific theory of what is fundamental - but > already people are turning it back toward a guy with a beard in the clouds. > > Brent > > and come to see our experience as the view from the inside of a > particular infinity of universal machines, then is there something to be > said about what corners of arithmetical truth we "must" (or "most > probably") be in that can help us relate in a more personal sense to this > god? > > A crude example question might be, if God did not have a sense of humor, > could we exist? You could substitute other characterizations for other > questions. > > Given that we could in principle derive physics from the math of the UD > - providing a (partial) answer to the measure problem - could we not also > "solve" for the "character" of God? > > Terren > > > -- > 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 everything-list+unsubscr...@googlegroups.com. > To post to this group, send email to everything-list@googlegroups.com. > Visit this group at http://groups.google.com/group/everything-list?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > > No virus found in this message. > Checked by AVG - www.avg.com > Version: 2013.0.2899 / Virus Database: 2639/6110 - Release Date: 02/17/13 > > > -- > 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 everything-list+unsubscr...@googlegroups.com. > To post to this group, send email to everything-list@googlegroups.com. > Visit this group at http://groups.google.com/group/everything-list?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list?hl=en. For more options, visit https://groups.google.com/groups/opt_out.