### Decimal Inconsistency

February 7th, 2015
[html]
Ben Orlin and I were playing around with a weird kind of infinite repeating decimal. He wrote up a blog post, there was some discussion, but now I think there's a contradiction in what I thought were reasonable axioms.

First a summary. This is all based around the idea that you can have "`0.9̅3`" or "`0.9̅4`," and in fact "`0.9̅3 < 0.9̅4`". The first one is `0.999...3` while the latter is `0.999...4`. Or "first you have nines forever, and then either a three or a four". Since `3 < 4`, we should have ```0.9̅3 < 0.9̅4```. If this is confusing Ben's post goes into more detail.

(I'll note here that this isn't normal math. You can't add these, subtract them, multiply, etc. Normally `0.9̅` is exactly `1` and `0.9̅3` is meaningless. We're playing with some things that are kind of like numbers, but not entirely.)

Here are some properties it seems like these numbers should have, where `x` and `y` are infinite decimals and `R` is any of `>`, `=`, or `<`. To simplify writing in text we're writing `0.x̅y` as `(x)y`.

1. `x R y → (x) R (y)`
2. `x R y → xz R yz`
3. `x R y → zx R zy`
4. `x = x0`
5. `x(x) = (x)`
6. `(xy) = x(yx)`
Here's the contradiction, which my coworker Shawn figured out:
```  ((x)x) = (x)(x(x))   by #6
= (x)((x))    by #5
= ((x))       by #5

so

(x)x = (x)         by #1
= (x)0        by #4

so

x = 0           by #3

```
This seems right to me, but all of the axioms also seem reasonable. I'm not sure what you would drop to make this more reasonable.

### Recent posts on blogs I like:

#### How to Build High-Speed Rail with Money the United States Has

The bipartisan infrastructure framework (BIF) just passed the Senate by a large margin, with money for both roads and public transportation. Unlike the 2009 Obama stimulus, the BIF has plenty of money for high-speed rail – not just \$8 billion as in the 20…

via Pedestrian Observations July 31, 2021

#### Collections: The Queen’s Latin or Who Were the Romans, Part V: Saving And Losing an Empire

This is the fifth and final part (I, II, III, IV) of our series asking the question ‘Who were the Romans?’ How did they understand themselves as a people and the idea of ‘Roman’ as an identity? Was this a homogeneous, ethnically defined group, as some ver…

via A Collection of Unmitigated Pedantry July 30, 2021