# DRMacIver's Notebook

Notes on “Towards a general mathematical theory of experimental science”

Notes on “Towards a general mathematical theory of experimental science”

A friend linked to this paper and I thought it sounded interesting. These are my first-pass notes. The paper failed to clear my threshold for a close reading, which was a shame because I was quite into it in the abstract. I would potentially like to do a close reading of something longer on this subject, but I don’t feel this paper would be worth the close reading.

### Close Reading Questions

Scores go from -1 to +2. The threshold for a close reading is that the total score must be 2 or higher.

- Is this paper interesting? +1
- Is this paper useful? -1
- Is this paper well written? +1

Total score: 1

### Summary

The general goal here is to provide an abstract mathematical notion of what it means to do experimental science. I believe they have provided a reasonable basis for doing so, but it is unclear to me what the actual implications of this are and I feel like if they have really been working on it for as long as they say then one of the following must be true:

- There aren’t any very interesting ones.
- The authors are weirdly bad at motivating their work.

Based on the fact that the paper is reasonably well written and that I have also thought about this issue and didn’t come up with any very interesting implications, I am inclined to think that it is the former, but I hope to be wrong.

Roughly the model of the paper is the following:

We have some abstract set of statements associated with physical reality. These are closed under arbitrary boolean functions (i.e. if we have some set of statements \(U\) and a function \(f: \mathbb{B}^U \to \mathbb{B}\), where \(\mathbb{B} = \{\text{true}, \text{false}\}\), we can construct a statement \(f(U)\) which is interpreted as combining the truth values of all of the elements of \(U\) and passing them to \(f\). This assumption gives the statements (up to equivalence) the structure of a complete boolean algebra.

They consider as a starting point statements which are
*verifiable* - that is, there are is some experimental procedure
that would allow us to eventually determine that the statement were
true. These procedures are allowed to run for infinite time if the
statement is false, but must eventually terminate in finite time if the
statement is true. The verifiable statements are closed under finite
disjunction (i.e. if A and B are both verifiable then the statement “A
and B” is also verifiable) and countably infinite disjunction (i.e. if
\(A_n\) are all verifiable then \(A_1\) or \(A_2\) or \(\ldots\) is verifiable).

They make the interesting (to me) observation that is useful to
define an experimental science in terms of two sets of statements: An
*experimental domain*, which is a set of statements we interpret
as being verifiable by some set of experimental procedures and thus is
closed under countable disjunction and finite conjunction, and a
*theoretical domain*, which is the closure of the experimental
domain under those operations plus negation. i.e. we can state
theoretically things which we cannot verify but can only refute. This
seems like a sensible and useful distinction, and their reasoning for
doing so seems sound.

They then define the “possibilities” as the elements of the theoretical domain that are sufficient to determine the truth value of all other statements in the theoretical domain. These form the points that we are trying to distinguish by experimental procedure.

Probably the key observation of the paper is that these points
acquire two natural structures - from the experimental domain they
acquire a *topological* structure, while from the theoretical
domain they acquire the structure of a \(\sigma\)-algebra. This is a nice
observation.

### Problems I have with the paper

My biggest problem is the one I already alluded to above - “OK but so
what?”. I think the formalism is interesting, but without seeing
anything built on it it currently just stands as a pleasing intellectual
curiosity. I don’t have a problem with such, but this one doesn’t really
give me anything to get excited about beyond a sense of “Huh, neat”, and
I feel like the authors are treating this as a much deeper result than
it actually justifies at present. If they *can* show some
interesting implications from it, then I would revise this opinion.

I also found some of the formalism a bit sloppy. There are a bunch of
places where I’ve written “???” or “suspish” on the paper that I would
want to work through more carefully if I were to do a close reading.
Notably I think they’re playing quite fast and loose with the
countability arguments, and I am rather suspicious of the claim that
statements are closed under *arbitrary* boolean functions - I
would have expected some continuity requirement, and I think the fact
that they don’t impose that calls into question some of their other
claims about countable generation.

I think these formalism issues can probably be fixed, but as I said I don’t plan to do a closer reading of the paper at present, so I haven’t worked through the details of how.