@dahukanna @futurebird But Dawn, Myrmi, we kinda did, dint we? Like, how would we know, otherwise?

@dahukanna @futurebird I was once asked what book a 13yo should read about math. I said "give'em Eric Bell's _Men of Mathematics_".

The book is well-written, and it's full of scurrilous gossip and silly legendary bullshit.

But at 13, we don't really need to know the truth of everything. We need to know that math really *matters*, we need to know that actual *people* made math.

Bell's a great story-teller, and at 13 we need to know we are part of a story.

@GeePawHill - 1,000,000%

@futurebird has me remote attending her class making cards right now for that exercise, engaging my curiosity and play. I would be literally skipping iin to class, waiting in anticipation for “math-drama” challenge.

I’m NOT doing the work because of “standard” test and I was not thinking about “inventing zero” pre-university.

@dahukanna @futurebird Yep. Cuz we're an us.

@silvermoon82 @futurebird Non-Fungible Zero

@ersatzmaus @lapis @futurebird
The Romans used an abacus or similar for arithmetic. Or slaves that used other number systems.
Roman Numerals were only used to record numbers.
Read Georges Ifrah
"From One to Zero" revised as "The World's First Number-Systems" (The Universal History of Numbers 1).
The ancients knew about zero, but the big breakthrough was using it for place number system instead of a gap.
The Romans invented concrete, bureaucracy & some war machines. Most else was copied.

@futurebird C has at least four kinds of zero. I’m sure there’s space for at least one more.

@raymaccarthy @lapis @futurebird I'm aware, I was using the roman numeral system as an example. I did mention place-value as the key innovation.

@futurebird
They could invent 0+0i, with a zero imagination

@becomingwisest @Unixbigot @futurebird

We would've figured this out sooner had there been the usual warp core dump, but ever since StarshipOS 11.0 fricking systemd has hidden them away somewhere stupid.

@futurebird
A good video on the history of 0:
https://youtu.be/ndmwB8F2kxA

@futurebird I love how this math theory was first created a decade after NaN already existed on computers https://en.wikipedia.org/wiki/Wheel_theory

@eleanor
a really great thing that has an absolute conspiracy against it.

@faithisleaping @futurebird

@somebody
Thats what she said.
@futurebird @SarraceniaWilds

@futurebird @johncarlosbaez Anyway, my point is that "decoding alien hieroglyphs" is actually a pretty good way to start to get an intuition for what an automorphism is.

For example, if you were given all the alien hieroglyphs that correspond to their integers, and given access only to their addition table, then you'd be able to figure out what 0 is, as any identity must be unique, if it exists. Similarly you'll be able to figure out which two hieroglyphs correspond to ±1, in the sense that you could call one of them "1 up" and "1 down", and from there figure out what "2 up" and "3 down" are, but you'll never be able to decide if "up" correponds to positive and "down" corresponds to negative, or vice-versa.

This intuition is captured by the fact that the group of integers under addition has exactly one non-trivial automorphism: we can negate everything everywhere and things will still work out. (And in fact, this is the only such change that is guaranteed to work perfectly in all cases.)

Of course, if you then gain access to the alien's multiplication table, you can multiply "1 up" by "1 up", and that answer will correspond to the positive direction. Thus we can fully decode the alien's integers, which corresponds to the fact that the ring of integers exhibits only the identity automorphism: when multiplication is involved, we can't just flip everything's sign and expect things to work out.

This intuition is a bit hard to operationalize, though, as the addition tables are infinitely large. In reality, if the alien heiroglyphs are truly capable of expressing arbitrarily large members of an infinite set, such as the rational numbers, the notation must involve some regularity. That regularity can provide insight into the alien's interpretation of their rationals in ways that don't correspond to what could be learned from their operation tables alone.

The automorphisms of the group of rationals under addition correspond to multiplying by a non-zero rational number, capturing the intuition that you'll never be able to definitively decode the scale of the alien's unit of measurement from the addition table alone. But if you see something like 1/10000, you can guess it's probably not the unit, versus something much simpler like 1/1.

However, the field of rationals exhibit only the trivial automorphism, meaning that you could fully decode alien rationals from their addition and multiplication table.

Switching to a finite system avoids these complications, and also is capable of providing much more interesting examples of automorphism groups than your more widely-appreicated number systems can.