[getting back to work on the first weekday after a new year] okay so what is an integer again

@vogon In fairness, mathematicians have struggled quite a bit with that question.

@neal @vogon “The integers are the only nontrivial totally ordered abelian group whose positive elements are well-ordered.”

“This is equivalent to the statement that any Noetherian valuation ring is either a field—or a discrete valuation ring. ”

That's cleared that up then.

Follow

@ersatzmaus @vogon Some of these terms are barely a century old and for better or worse, pretty much none of them have percolated into primary or even secondary education.

· · Web · 0 · 0 · 1
Sign in to participate in the conversation
Typica Social

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!