Does god exist?
random trip report
Richard Dawkins proposed a theism scale where 1 means you're sure a god exists, and 7 means you're sure no god exists.
Note: capitalizing "god" implies that one exists and is unique; and using the masculine pronoun implies that god is male. I assume neither, so I use lower case and "it".
Where do I stand on the Dawkins scale? Well, my belief system is based on two principles:
Humans have probed the universe in tremendous detail on a wide range of scales, and have never found any evidence of god (I explain below what I mean by this). And the absence of god is simpler than the existence of god. So when my friend Ray asked me where I am on the Dawkins scale, I said 6.999... This is a math-nerd joke: I didn't say 7 because of course you can't prove that a god doesn't exist. But 6.999... (six followed by infinitely many nines) is actually equal to 7.
There's no evidence of god, but many people believe it exists. I can think of various reasons for this:
If you're less than 6.9 on the Dawkins scale, I respectfully suggest that it's because of one or more of the above reasons. If you disagree, please let me know.
But before we go any further, we need to decide what "god" and "exist" mean. It's pointless (and amusing) when two people argue about words that mean different things to each of them.
What attributes make something god-like? I think most people would include the following:
A god must have all three attributes. For example, it's conceivable that some aspect of the universe can't be described by equations; but if that component has no intention, it's not god; it's just noise.
What can god do? It seems to me there are two possibilities.
A god could be a Creator or Manager, or both. A Creator god could have created the Universe and then moved on to other things - perhaps creating other universes.
There could be - as the Greeks and Romans believed - multiple Manager gods. They could cooperate or compete, and they could have their own little human-like society. If you're going to make up something, why not make it interesting?
I suppose there could even be multiple Creator gods. Perhaps the universe was designed by committee.
God - if it exists - is metaphysical, by which I mean it can't be described by science - not just current human science, but ANY science. Let me explain what I mean by this.
A 'formal system' starts with a set of symbols, which include the familiar symbols from math and logic (equality, and, or, quantifiers like "there exists" and "for all"), as well as constants and variables. The system defines syntactic rules for "statements", and it includes rules for logical deduction (inferring a statement from other statements). A "theory" is a set of "axioms" (statements assumed to be true) and all their logical consequences. For our purposes, theories must have two properties:
A theory is called "complete" if it includes every statement or its negation.
The idea of formal systems comes from mathematics. But it applies to physics too; physics is a formal system for describing the universe. Its constants and variables correspond to physical quantities (like mass and position) that can be measured in experiments. A statement S can be disproven by an experiment that shows the universe doesn't behave the way S says it does.
Physical theories can include randomness. For example, quantum mechanics says that when you observe a particle, the position you see is sampled from a random distribution. It's possible to define "random" in a rigorous way, so that the intent of a god can't hide inside it. Theories that include randomness aren't predictive: they don't uniquely determine how the universe unfolds.
Let's call a physical theory "complete" if it describes everything; i.e. it determines how the universe unfolds except for random processes (this is vague but I think it can be made precise).
Physics has developed a core theory that includes equations describing motion (F=MA), light and EM waves (Maxwell's equations), matter at a small scale (quantum mechanics), matter at a large scale (Einstein's theory of General Relativity) and so on.
The theory includes randomness, so it's not predictive. It's incomplete - it doesn't explain dark matter, it doesn't reconcile gravity and quantum mechanics, and so on. There are many theories - such as string theory - that extend the core theory, and are closer to being complete, but are not yet supported by experimental evidence.
Current science is incomplete. But if we're discussing god, the relevant theory isn't current human science or any of its variants; it's what I'll call the True Theory of Everything (TTE). This is the formal theory that most closely approximates the universe. It's extremely unlikely that humans will ever know TTE. It's possible that writing down TTE would take more pages than there are particles in the universe. It's possible that TTE fails the "finitely describable" criterion for formal theories: maybe there's an infinite sequence of theories, each of which approximates the universe more closely than the last, and there's no finite description of their limit.
TTE may not be complete; it may not completely describe the universe. The aspects of the universe that aren't described by the TTE I call the Formalism Gap: the gap between reality and what can be described by formal systems.
Let me emphasize: the Formalism Gap isn't what's left unexplained by current human science, or by future human science, or by the science of the most advanced ET race ever. It's what can't be described by ANY formal system. That's a pretty strong criterion.
I consider it likely that the Formalism Gap is empty. Human science has existed for a very short time, but it has already figured out an astonishing amount. Science has been confronted with a series of mysteries, and one by one it figured them out. And there may be races far smarter than us.
Should we expect the TTE to explain the origin of the universe? No; I don't think we can expect an explanation that most people will find intuitive and satisfying. If the TTE says there was a singularity, and that there was no "time" before the singularity, that's good enough for me, but probably not for some people. Also, we can't expect the TTE to explain itself - why its particular equations and constants are what they are. But that's OK; a lack of self-explanation is not a Formalism Gap.
Mathematicians has discovered amazing things about formal systems. For example, Gödel's incompleteness theorem proves that no formal system can prove its own consistency. Intuitively: if you're inside a complex system, you can't know even the most basic properties of the system. It's a stretch, but I think that physical systems have an analogous property: from within them, you can't know their origin.
Getting back to the question of how to define "god". I've reduced it two assertions that must both hold for a god to exist:
The first is more or less precise; the second is not. Neither assertion can be proved or disproved, ever. No evidence is actually evidence. A gaggle of angels could descend from the skies with rainbows around their heads, praising God Almighty. But if that event is explained by a formal model, it's not evidence of god.
All we can do is to debate the probabilities of the assertions, and the size of the error bar on these probabilities. It's not even a debate - it can't be more than sharing of intuitions. My intuition is that the Formalism Gap is empty with extremely high probability. And if it's not, I doubt that there's any intent in the gap.
There are some other cosmologies to consider. One is that our universe is a program running on a computer in a meta-universe. The program simulates everything in our universe. The program and the computer were developed by "meta-beings", who are gods in a sense: they're metaphysical relative to our universe, but not relative to theirs. And they have intent.
Given the limitations of our own computer hardware and software, this seems absurd. But maybe it's not:
Is there a way we could test whether we're a simulation? People have come up with some ideas, like counting upward until we can't count any more; then we'd know that we'd exceeded the "memory size" of the host computer, and that we're in a simulation (this idea is clever but flawed).
If our universe is defined by software, we can contemplate interesting features that could be added to it.
Mathematicians reason about things - lines, points, and infinite sets - that don't and can't have a physical existence. There is a school of thought - Platonic realism - that asserts the existence of an abstract "Platonic universe" in which these things exist.
Math has its own version of the Formalism Gap. There is a formal theory of Mathematics - a finitely-describable set of "axioms" from which all currently known Math follows. There are different but equivalent formulations of this - for example, Zermelo-Fraenkel set theory. Unlike physics - where continually refine our formal model as we do experiments - the formal model of Math hasn't changed in about 100 years.
Kurt Godel proved that Math has a Formalism Gap: i.e. there are formal statements that can be neither proved nor disproved from the current axioms - or indeed ANY finitely-describable and consistent set of axioms. Some of these statements are sort of artificial, like a formal statement that says "I am unprovable", and is therefore true but unprovable. But some of them are completely natural, like the continuum hypothesis.
But I digress. If you believe Platonism, every statement of mathematics is true or false. The set T of true statements is complete and consistent, and the Platonic universe is an embodiment of T: it exists because T exists.
If we take this idea to its conclusion, we can posit that for EVERY complete and consistent formal system, there's a corresponding abstract universe that embodies the system. My son Noah proposed a cosmology based on this idea: namely, that the TTE exists and is complete, and our universe is simply the abstract realization of this theory. In fact, every complete physical theory has a corresponding abstract universe. This neatly sidesteps the issue of Origin: formal theories are just lists of statements, they don't have or need a creator.