4 ms·
Expecting to see some foundational mathematical logic content, was disappointed.
by badosu 10y ago
Expecting to see some foundational mathematical logic content, was disappointed.
- DamonHD 10y agoTerry, is that you? B^>
- manaskarekar 10y agoI was expecting GEB references. https://en.m.wikipedia.org/wiki/Gödel,_Escher,_Bach https://en.m.wikipedia.org/wiki/Gödel,_Escher,_Bach
- DamonHD 10y agoHaving 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?
- badosu 10y agoThis is a pretty good article that could satisfy the headline: https://johncarlosbaez.wordpress.com/2016/06/29/large-countable-ordinals-part-1/ https://johncarlosbaez.wordpress.com/2016/06/29/large-counta...
- Maken 10y agoToo bad, it's your old friend Unicode.
- DoofusOfDeath 10y agoNo worries, I'm sure the next version of Unicode will have a single glyph that provides a complete introduction to the topic.
- stcredzero 10y agoWe 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.
- deleted 10y ago[deleted]
- badosu 10y agoIt's turtles all the way!
- clock_tower 10y agoYou should join the Unicode Consortium; I'm pretty sure you'd fit right in. :)
- jdmichal 10y agoI had an encoding problem once, so I used Unicode. Now I have ۲۶۷۹ problems.
- Sniffnoy 10y agoShould perhaps be called "So you think you know what a numeral is". Still interesting though.