Riley S. Faelanriley@toot.cat
Mar 11, 2026, 3:38 PMReplies
moduluxmodulux@node.isonomia.netMar 11, 2026, 3:42 PM@riley Yes, I heard about it; the most elegant possible proof for a given theorem, roughly?
Rather I was thinking of the notion you stated that proofs aren't information, and I see why you said it. But it doesn't seem intuitive when we compare it to other ways we use the notion.
For example let's say we have a composite number pq. Generally speaking, we would say that getting p and q is additional information. But the proof that some p in particular and some q in particular result in pq would contain no information. It's rather odd to think of.
- Riley S. Faelanriley@toot.catMar 11, 2026, 4:01 PM
@modulux You know how numeric probabilities can vary depending on how equipotentiality is defined, and it sometimes be left implicit with multiple equally plausible "obvious" definitions?
Modelling the information flow of abstract mathematics as such runs into this same sort of problems. Nobody has axiomatised it; there's a bunch of common intuitive assumptions, but a lot of them are ... well, you can pry them loose and justify it if you want to, and sometimes, get interesting results this way. But a lot of times, you don't get anything, or maybe you will have to nail down your own (quasi)-axioms first. These aren't like the axioms of modern geometry; they're really kind of like what Eukleides wrote in the beginning of The Elements, and then never did anything with because it didn't make any sense.[1]
So you see why I suggested a huge mug of beer for dealing with this stuff.
[1] Caveat: if you go searching, a lot of sources offer modern axiomatic geometry instead of Eukleides' original work — still because his vague notion of foundations didn't make sense, and now we actually have the axioms that could have been used for the conclusions he went on to, pardon the pun, draw. Most of the rigorisation work was done in the 1600s' Italy; the lingering hairy problem of the Parallels' Axioms was eventually solved by Lobachevskiy in early 1800s by demonstrating that it can be reversed without breaking anything else, and Euklidean geometry as understood by moden mathematics generally rests on Hilbert's[2] work from the pinnacle of the 19th century, as in, it was published in 1899. But it can be great fun to read translations of the original Elements, including the crappy parts.
[2] You might have heard of his hotel, which has a countable infinity number of rooms. Ijon Tichy was a repeat customer.
- Riley S. Faelanriley@toot.catMar 11, 2026, 4:10 PM
@modulux Oh, btw: Turing's Machines are this way, in part, because they genuinely used to try and go with the notion of information flows in mathematics being like frictionless spherical cows in vacuum. For some things, it's a great simplifications; for others, well, it didn't work out, and we ended up having Complexity Theory.