💾 Archived View for gemini.locrian.zone › misc › kaufman-decimals.gmi captured on 2024-05-10 at 11:10:05. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

The Kaufman Decimals

Original post on Math with Bad Drawings

Archivist’s note: Commenter Jefftk suggested using parentheses instead of overlines for representation in text. Thus, for the sake of clarity here, notation such as:

  _
0.91

will be notated as

0.(9)1

---

You never know where conversations will turn with Jeff Kaufman. He goes barefoot, hates cucumbers, and donates fantastic chunks of his Google salary to charity. He’s fun.

One night over ice cream, we found ourselves talking about repeating decimals. After we filled a napkin with the proof that 0.999... = 1, Jeff had a brainstorm, and wrote the following:

0.(9)4

“What the heck is that?” I asked.

“It’s a number where the nines go on forever,” he said. “And afterwards, there’s a four.”

“After forever?”

“Yes,” he said. “Exactly.”

“I see. So it’s bigger than this...”

0.(9)3

“But smaller,” I continued, “than this.”

0.(9)5

“Well, clearly,” he said. “All three numbers are identical up until the infinity-th place past the decimal. They differ at the infinity-and-1st place.”

A woman ordering her ice cream eyed us warily.

“What about this?” I said, and drew the following:

0.(9)4(8)1

“Naturally,” Jeff said. “The 9’s go on forever. Then there’s a 4. Then the 8’s go on forever. Then there’s a 1.”

“That’s all logical enough,” I said (perhaps bending the meaning of “logical”). “But what if there’s something like this?”

0.(9)(9)

“Is that different,” I continued, “from this?”

0.(99)

“That’s tricky,” Jeff said. “The first one is nines forever, then nines forever again. But the second one is just double-nines forever – which is the same as nines forever.”

“Let me get this straight,” I said. “You’re saying this...”

0.(9)(9) > 0.(9)

“And also...”

0.(99) = 0.(9)

“Exactly,” he said.

By this point we’d filled most of our napkin. I unfolded another so that the treatise could continue to evolve. “I’m not convinced that these are well-ordered,” I said.

“Well-ordered” is a math term I’d learned in college. A set of items is “well-ordered” if you can put them into a nice, logical order, with no contradictions. For example, tennis players’ heights are well-ordered. But their skills are not – Anita beats Brianna, and Brianna beats Carla – so you’d expect Anita to beat Carla. But instead (in this real-life example from a friend’s high school tennis team), the reverse happens. Carla beats Anita. That’s not well-ordered.

“Well, let’s figure it out,” said Jeff. “If we can find a case where A > B and also B > A, then you’re right. If not, then everybody everywhere will have to start using these numbers, because they’re more fun.”

“Good luck with that,” I said.

At this point, my sister joined us for an ice cream. Holding her cone with one hand, her free hand contributed the following to our napkin:

0.((9))1

“Oh!” Jeff exclaimed. “Cool.”

“I see,” I said. “The nines go on forever. And then the forevers go on forever. And then, after all that, there’s a 1.”

This is when things got out of hand (if they hadn’t already).

0.((9)1)2

(the nines go on forever, and then there’s a one, and then that nine-forever-then-a-one pattern goes on forever, and then, at long last, there’s a two)

0.(((9)1)2)7

(as above, except that repeats forever, and then at the very end, there’s a 7)

0.(((9)1)27)3(((8(46)))5)

(as above, except that repeats forever, and then there’s a 3, and then... well, hopefully you get the idea)

“Are these well-ordered?” I asked, as we began to unfold a fourth napkin.

“I don’t know,” Jeff said. “To be honest, I’m not entirely sure what they are.”

By this point, it was 11pm, closing time at J.P. Licks. The last ones there, we stuffed the napkins into our pockets, grabbed our bags, and made for the door.

“What were you guys working on?” one of the employees asked us.

“The Kaufman decimals,” I told him. “On napkins today, in textbooks tomorrow.”

He politely rolled his eyes.

Note: As usual, I’ve used imagination to plug the holes in memory – though Jeff is every bit as weird and wonderful as described. Mathematical minds out there: Are the Kaufman decimals well-ordered? I’m curious mostly about first-order Kaufman decimals. My hunch is that the higher-order ones must run afoul of logic somewhere or other, although I’d love to see a demonstration of that, too.

0.(((9)1)((27)))8

0.(0)1

Comments

Thread by Creative Metaphor

Creative Metaphor:

Well... .0(repeating)1 would be what you add to .9(repeating) to get to 1. Right? So wouldn’t that make .0(repeating)1 be assigned some random Greek letter (though I’m pretty sure they are already all assigned so maybe Arabic or Norse letters...)

So let’s say fehu ( |// ) is what you add to .9 (repeating) to get 1.

---

Ben Orlin:

Ooh, I like fehu. Gonna keep that one in my back pocket.

I suspect that trying to add these will lead to a whole mess of contradictions. The discussion on my last post seemed to suggest that it’s hard to find a system in which 0.999... doesn’t equal 1, but still has a meaning.

---

Creative Metaphor:

I also just realized you missed one idea. You have .(9)(9) and .(9) and .(99) and but you didn’t have a .(9)9 ... which clearly would be be .(9)(9) > .(9)9 > .(9) = (.99)

And then obviously it follows that if .(9)(9) > .(9) and .(9) = 1 then .(9)(9) > 1.

MWAHAHAHA!

---

mrsaturn:

I think that proves that the system is not well ordered.

---

Ben Millwood:

I claim that 0.0...1 + 0.9... is not 1 but rather 0.9...1.

Although, come to think of it, I don’t know what 0.0...5 + 0.0...5 is. Maybe addition doesn’t work very well after all.

---

John P:

0.0...1 + 0.9... wouldn’t be one in any case. If you can assume “equal cardinality of infinite expansions” (I’m being quite loose with the terminology), then yes, it would be 0.9...1. However, if we don’t have “equal infinities” it would be something like 0.9...109... (with just nine repeating) or 0.9...0...1. But that isn’t how infinities work, really.

I don’t think the Kaufmann decimals would work like that, either. Infinite expansions rarely do.

Also, if you jive with the whole .9... = 1 thing, it still wouldn’t be one! It’d be 1.0...1

I just forgot to cover that case.

Thread by Julian Hyde

Julian Hyde:

Ok, so wait. You can multiply and divide Kaufman decimals, right? So 0.0...1 * 2 = 0.0...2

So therefore 0.0...1 * 10 = 0.0...10. But normally when you have a zero at the end of a decimal you can just remove is (0.500 = 0.50 = 0.5), so 0.0...1 * 10 = 0.0...1. Divide each side by 0.0...1 and you get 10 = 1!

I think this will be a big deal.

---

Jeff Kaufman:

I don’t think you can multiply and divide these. I’m not even sure you can add and subtract them. Orlin’s current question is very weak: are they even well ordered?

---

Gred:

You can divide by them normally, just not if they’re no finite distance from 0. You can multiply by them if you remember that infinity minus 1 is infinity, so 4*1.[9]3 = 7.[9]72, because the last 9 times 4 becomes a 6, then the 3 becomes a 12. Then you can at least divide by them some of the time?

---

Ben Orlin:

That’s clever. I hadn’t thought about multiplying – unsurprisingly, it wreaks havoc on place value.

---

Abram Demski:

I think this also illustrates why you cannot add these (at least not elegantly).

The value of .(0)1 * 10 is the same as the value of adding up .(0)1 ten times.

More technically:

What we’re doing here is allowing ordinal locations rather than integer locations, in our decimal expansion. This doesn’t work well because limit ordinals have no predecessors, but we need predecessors in order to “carry” during addition operations!

Thread by Ralph Morrison

Ralph Morrison:

It seems that all the Kaufman decimals written thus far are what one might call “rational Kaufman decimals”, in that you can represent them in a nice finite way (finitely many numerals, finitely many bars). If you want things to get even CRAZIER, you could look at irrational Kaufman decimals, which have no representation with finitely many numerals and bars. For instance,

0.(1 with a bar)0(1 with a bar)00(1 with a bar)000(1 with a bar)0000...

or, perhaps more trippily, 0.1 with infinitely many bars over the 1. Or you could combine those two.

Whee!

---

Ben Orlin:

Yikes! I like 0.(0)1, with infinitely many bars over the zero.

I mean, we could have a notation for infinitely many bars, like a squiggly bar.

But then you could have infinitely many squiggly bars...

---

Abram Demski:

So, 0.{0}1.

Thread by Joshua Sasmor

Joshua Sasmor:

Are these even real numbers? I mean in the Dedekind sense – are they an element of the “standard analysis” definition of the reals?

---

Ben Orlin:

My hunch is no? I’m sure you’ve got more insight into this than I do, but I can’t imagine this notation has any meaningful visual interpretation on the real line. If we’re talking about Dedekind cuts, I’d suppose 0.(9)1 = 0.(9)2 = ... = 0.(9) = 1.

---

Owen Cotton-Barratt:

Yeah, this is correct. You can get lots of these for every rational number (which only see the part of the Kaufman decimal up to the end of the first bar). As produced in the post, you can’t get to irrational numbers this way.

Thread by Jefftk

Jefftk:

A useful notation when in text: instead of “123 with a bar” write (123). Now I can express “3, then 9 repeated forever, followed by 2, all that after the 3 repeated forever, then 4 repeated forever” as: 3((9)2)(4).

Here’s an implementation in Python that orders them: https://github.com/jeffkaufman/decimals/blob/master/decimal.py

There’s a list of examples that it sorts properly.

It handles all the examples in the post except for the equivalence between (9) and (99).

---

Ben Orlin:

I like your parentheses notation.

Am I right in reading that your sorter puts 0.2(0), 0.2(0)0, and 0.2(0)(0) in that order. Should those be equivalent? Can your sorter do cases of equality?

Also, is your sorter saying 0.5589 < 0.((551)57)4? It seems like the opposite inequality should hold.

---

Jefftk:

The sorter doesn’t do equality, but I’d like to figure that out. In the post you have (9) and (99) as equivalent, and I feel like (0) shouldn’t matter unless it’s followed by something non-zero (trailing 0s are irrelevant). Right now anything with a distinct string representation will get compared as distinct.

There was a missing comma, but there’s also a problem. I’ve fixed the comma and moved the test examples into the order that it sorts them, but it does still sort 58 < (51). Uh oh.

Thread by Dr. K

Here is a paradox that I think might help illustrate why you don’t want to have Kaufman decimals. Do we want to say that the following inequality is true?

0.(9)5 + 0.(0)4 > 0.(9)5 – 0.(0)4

Given that all (9)’s and all (0)’s have the same cardinality (aleph-zero), we are just doing arithmetic with the 5’s and 4’s and the end, so this inequality should be effectively the same as (5 + 4) > (5 – 4). So let’s accept that the inequality is true. Now we add the numbers on the left side.

0.(9)5 + 0.(0)4 = 0.(9)9

That is, an infinite sequence of nines with an extra nine at the end. But how is that different from a plain infinite sequence of nines? You can always accommodate an extra nine into (9), for the same reason that Hilbert’s Hotel can always accommodate an extra guest. So, we have to say that:

0.(9)9 = 0.(9)

Now we do the substraction on the right side.

0.(9)5 – 0.(0)4 = 0.(9)1

And given that

0.(9)1 > 0.(9)

we can expand and we get that

0.(9)5 + 0.(0)4 < 0.(9)5 – 0.0(4)

So, Kaufman decimals allow us to pick a positive number, add another positive number to it, and end up with a positive number smaller than the one we started with. Sort of like saying that 5 + 4 = 0.

Either Kaufman’s decimals are silly, or they are more sophisticated than I can understand.

---

Thomas Fallon:

Well I think the point is that .(9)9 > .(9). It looks like what is going on is instead of assigning a digit to each natural number as we do for decimals representing real numbers, we are now assigning a digit with each ordinal number. If you are unfamiliar with the ordinal numbers, it turns out that they are too numerous to be contained in a set and instead form a proper class. They can be formed by continuing the idea of the set theoretic construction of the natural numbers. We start by identifying the empty set with 0 = ∅, and then define a successor function S(x) = x ∪ {x}, so 1 = {0}, 2 = {0,1}, 3 = {0,1,2}, etc. This is the successor function used in the axiom of infinity http://en.wikipedia.org/wiki/Axiom_of_infinity. This idea can then be continued by saying ω is represented by the set of natural numbers, we can then apply the successor function to ω, so S(ω) = ω+1, and we can then form ω+2, ω+3, ... , ω*2. We can then continue applying the successor function to get ω*2 + 1, ω*2 + 2, ω*2 + 3, ... , ω*3, ..., ω*4, ... , ω^2, ..., ω^2*2, ... , ω^3 , ... , ω^4 , ... , ω^ω , .... , (ω^ω)^2 = ω^(ω*2) , ... , ω^(ω*3) , ... , ω^ω^2 , ..., ω^ω^ω , ...

These all are examples of countable ordinals, but we can then form the set of all countable ordinals which represents the first uncountable ordinal and continue this process even further. Since whenever we form a set of all the ordinals we have constructed so far, we can then take the successor of that to get the next ordinal, this means that no set can contain all of the ordinals and so the ordinals form a proper class. If my explanation is confusing, http://en.wikipedia.org/wiki/Ordinal_number might help, the concept is also explained in Naive Set Theory by Paul Halmos