other axioms of set theory<\/a>, so any argument to accept it or reject it is going to be philosophical rather than mathematical.
<\/p>\n\n\n\nAt this point you are probably wondering, what does all this have to do with observable quantities? Well, one important principle of science is empiricism: the adequacy of a scientific theory rests ultimately on its consistency with our observations. In a sense which can be precisely defined, there is no experiment anyone could conduct to give evidence for or against the axiom of choice. In what follows, we want to describe a connection between constructivism in mathematics, and empiricism in the sciences. Intuitively, the kinds of properties which we can gain empirical knowledge of ought to be constructible, with properties at the lowest levels of a hierarchy of constructibility corresponding to properties which can be effectively verified or falsified by observation. If we need to use the axiom of choice to prove that a particular mathematical object exists, it is very far from constructible, and thus, one could argue, should play no role in a scientific theory.
<\/p>\n\n\n\n
Connecting Science with Mathematics
<\/h3>\n\n\n\n
One way we can connect mathematics to empirical science is to imagine that every scientific experiment is broken up into a collection of sub-experiments with binary (“yes” or “no”) outcomes. For example, suppose you want to measure voltage across two points in a circuit. You might first ask, “Is the voltage at most 32V?”. If the answer is yes, you ask, “Is it between 0V and 16V?”. If the answer is no, then it must be between 16V and 32V, so your next question will be “Is it between 16V and 24V?”. By asking finer and finer binary questions, you can narrow down the voltage to any level of precision you like. By the way, this process I just mentioned is pretty much how an ADC (analogue-to-digital converter) works: it’s a circuit which takes in a voltage, and gives you a sequence of binary bits representing the voltage. <\/p>\n\n\n\n
In a complicated experiment, we may have many quantities we are trying to control and measure. But in principle, any such experiment will ultimately result in a finite collection of bits, which we can think of as the contents of the scientist’s lab notebook. Even if a scientist is using analogue equipment, when they type up a paper in LaTeX and submit it to publication, it has been converted into digital information. We could even totally remove the scientists from the equation, by imagining that we have a robot outfitted with a large collection of sensors which is controlled by a computer. We could program this robot to conduct a complicated experiment, involving building specialized equipment, performing intermediate tests for calibration, etc. In fact, the code controlling such a scientific robot would be considered by many to be the ultimate standard for describing the methodology of an experiment: replication would be a breeze!<\/p>\n\n\n\n
In any case, we can in principle describe the setup of the experiment with some finite number of bits, and the outcome of the experiment will be some finite number of bits. Then a scientific hypothesis could be expressed mathematically by a partial function ![\"F\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-88df03c55e081c7cd9da4e7d74ba7265_l3.png\" "\\"Rendered")
which takes as input some sequence of bits ![\"\sigma\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-eaaf379fee5e67946f3fedf5631047b1_l3.png\" "\\"Rendered")
describing an experimental setup, and outputs a sequence of bits ![\"F(\sigma)\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-40d8e284353a75401a2522e83dc6f01d_l3.png\" "\\"Rendered")
describing the experimental outcome. An example of such function would be a function that takes a description of the positions and velocities (up to a margin of error) of a bunch of pool balls, and tells you what their positions and velocities (up to another margin of error) will be 10 seconds from now.
<\/p>\n\n\n\n
If we are careful with the way we set up the encoding of information, we can arrange these descriptions of experimental setups in a partial order: we will say ![\"\sigma \leq \tau\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-9184aa71780ae3e700cdd36bf2bda412_l3.png\" "\\"Rendered")
if ![\"\tau\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-2d0f4e922bf6aa03f0b4a3128b5a72d5_l3.png\" "\\"Rendered")
describes an experimental setup which is consistent with everything says about it. In the pool ball example, might describe the positions and velocities up to a smaller margin of error than . We can do the same for experimental outcomes. We can now describe two topological spaces: a space of experimental setups ![\"\mathcal{S}\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-1d7de18d42ad3d1105d40362594474c2_l3.png\" "\\"Rendered")
, and a space of experimental outcomes ![\"\mathcal{O}\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-5abc902990ed91c27a73ef70b47b5a25_l3.png\" "\\"Rendered")
. will be the collection of all maximally consistent sets of descriptions of experimental setups, while will be the collection of all maximally consistent sets experimental outcomes. That is, a point in will be a collection of the form ![\"\{\sigma_{i} : i \in I\}\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-30579b3547b8c089afdde35c61879b47_l3.png\" "\\"Rendered")
such that adding even a single new would make it inconsistent. A base for the topology of will be ![\"\big\{ \{ s \in \mathcal{S} : \sigma \in s\} : \sigma \text{ is a description of an experimental setup} \big\}\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-75b398082421ba8b808acd70d918442f_l3.png\" "\\"Rendered")
. Likewise for . If we had a complete, deterministic physical theory, and the laws of physics were continuous, then the corresponding function would determine a total continuous function ![\"f: \mathcal{S} \rightarrow \mathcal{O}\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-09d6732c6c52ab3868b8b20ff54ec9fe_l3.png\" "\\"Rendered")
.<\/p>\n\n\n\n
If our theory is not deterministic, we could still represent it mathematically, we’d just think of as a space of probability distributions over outcomes instead. Because of the construction of and , both and could be represented as quotients of Baire space, ![\"\omega^{\omega}\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-4a50b0181bfcaf9891bdfe4d316ee00c_l3.png\" "\\"Rendered")
, so ultimately, our functional model (relating experimental setups to experimental outcomes, or probability distributions over experiment outcomes), can be represented using a function ![\"f : \omega^{\omega} \rightarrow \omega^{\omega}\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-36bcd119218a9a059c3c0ef37ecbb299_l3.png\" "\\"Rendered")
. This brings us into the realm of an area of mathematics known as descriptive set theory<\/strong>. If we believe that the laws of physics are continuous, we should expect that this function ![\"f\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-f5844370b6482674a233a3063f762555_l3.png\" "\\"Rendered")
should be continuous: if ![\"O\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-5fd89de58d79b25e5ca6ae69a6ff464b_l3.png\" "\\"Rendered")
is an open set of outcomes, then ![\"f^{-1}(O) = \{x : f(x) \in O\}\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-e1b63dc66bc8f301aef30262dd94126b_l3.png\" "\\"Rendered")
should be open as well.
<\/p>\n","protected":false},"excerpt":{"rendered":"According to folklore, the physicist Richard Feynman, who boasted about his mathematical intuition, was once asked by some trickster mathematicians whether it is possible to break the unit ball into finitely many disjoint pieces, and re-arrange them by rigid motions to form two unit balls. Such a procedure is known as a “paradoxical decomposition”. Feynman […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_themeisle_gutenberg_block_has_review":false,"footnotes":""},"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/posts\/61"}],"collection":[{"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/comments?post=61"}],"version-history":[{"count":3,"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/posts\/61\/revisions"}],"predecessor-version":[{"id":153,"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/posts\/61\/revisions\/153"}],"wp:attachment":[{"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/media?parent=61"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/categories?post=61"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/moody.industries\/blog\/wp-json\/wp\/v2\/tags?post=61"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
![\"4 \pi/3\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-0e253a45c990a94f3d000e76f17c9a47_l3.png\" "\\"Rendered")
, the volume of the unit ball. ![\"4\pi/3\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-bc7aeabe46ecd54e7dfd2d85fdb98f6a_l3.png\" "\\"Rendered")
.<\/li>![\"8\pi/3\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-a735a4577a80e9c972aa06ad427d55da_l3.png\" "\\"Rendered")
, which is more than the sum of the volumes of the re-arranged pieces. ![\"(A_i : i \in I)\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-850295910329ab6d5f0469edc37ae515_l3.png\" "\\"Rendered")
, you can find an indexed collection of elements ![\"(a_i : i \in I)\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-3bf344d88808861c9292069574208f87_l3.png\" "\\"Rendered")
where each ![\"a_i\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-0ea7aa2fd00c5c5980e75b075179d117_l3.png\" "\\"Rendered")
belongs to ![\"A_i\"](\"https:\/\/moody.industries\/blog\/wp-content\/ql-cache\/quicklatex.com-e681a3f16f02a0e83a443fd5b904b94a_l3.png\" "\\"Rendered")
. Imagine, if you will, a collection of boxes of socks. The axiom of choice says you can choose one sock from every box. Results by Kurt G\u00f6del and Paul Cohen established that the axiom of choice is independent of (can neither be proven or disproven from) the