Hacker News Reader

Comment by badosu | Hacker News Reader

Expecting to see some foundational mathematical logic content, was disappointed.

Too bad, it's your old friend Unicode.

No worries, I'm sure the next version of Unicode will have a single glyph that provides a complete introduction to the topic.

We need to extend Unicode to account for quantum computing and qubits. It needs to evolve into Qunicode. Text with this feature baked in could be called Quneiform. It should be stored on light-reflecting crystals that are manufactured using kilns.

It's turtles all the way!

You should join the Unicode Consortium; I'm pretty sure you'd fit right in. :)

I had an encoding problem once, so I used Unicode. Now I have ۲۶۷۹ problems.

Should perhaps be called "So you think you know what a numeral is". Still interesting though.

I was expecting GEB references.

https://en.m.wikipedia.org/wiki/Gödel,_Escher,_Bach

Having actually done a little number theoretical stuff back in the day, I see what you mean, but prosaically this was astonishing enough for me to make the link worth posting:

Decimal characters include digit characters, and all characters that can be used to form decimal-radix numbers, e.g. U+0660, ARABIC-INDIC DIGIT ZERO.

Rigid designators vs definite descriptions for numerals, anyone?

This is a pretty good article that could satisfy the headline: https://johncarlosbaez.wordpress.com/2016/06/29/large-counta...

Terry, is that you? B^>

Reply on news.ycombinator.com