# Poll: What Type of Number Would You Want to Be? (I think I got it to work this time.) **URL:** \ **Category:** In My Humble Opinion\ **Created:** [July 5, 2020, 9:10pm UTC](https://boards.straightdope.com/t/poll-what-type-of-number-would-you-want-to-be-i-think-i-got-it-to-work-this-time/914408 "2020-07-05T21:10:34Z")\ **Posts on this page:** 5\ **Page:** 3
**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\ **Post date:** [June 27, 2021, 1:42am UTC](https://boards.straightdope.com/t/poll-what-type-of-number-would-you-want-to-be-i-think-i-got-it-to-work-this-time/914408/41 "2021-06-27T01:42:14Z")
The set of all numbers that can be finitely expressed in any notation system is a countable set. Put the notation in a PDF file (or any other convenient computer file), and each of those PDF files corresponds to an integer, so the number of expressible numbers can be no greater than the number of integers. ---
**Author:** ![Senegoid](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/senegoid/32/6606_2.png) [@Senegoid](https://boards.straightdope.com/u/Senegoid)\ **Post date:** [June 27, 2021, 4:51am UTC](https://boards.straightdope.com/t/poll-what-type-of-number-would-you-want-to-be-i-think-i-got-it-to-work-this-time/914408/42 "2021-06-27T04:51:13Z")
> [@Hari\_Seldon](#): > > Yes. Mathjax is essentially a subset of LaTeX. I’m not sure how far it goes. Simple equations for sure. Wowie Zowie! Now we can re-hash all those 0.999...=1 threads with real mathematical notations! (Note, the real-time preview pane acts real clunky when there’s any of this in the post.) ---
**Author:** ![Ynnad](https://avatars.discourse-cdn.com/v4/letter/y/4491bb/32.png) [@Ynnad](https://boards.straightdope.com/u/Ynnad)\ **Post date:** [June 27, 2021, 1:45pm UTC](https://boards.straightdope.com/t/poll-what-type-of-number-would-you-want-to-be-i-think-i-got-it-to-work-this-time/914408/43 "2021-06-27T13:45:08Z")
> [@Chronos](#): > > The set of all numbers that can be finitely expressed in any notation system is a countable set. Put the notation in a PDF file (or any other convenient computer file), and each of those PDF files corresponds to an integer, so the number of expressible numbers can be no greater than the number of integers. This sounds like a good start. Now if we could show: (1) the set of “non-expressible” numbers is a noncountable set and (2) a noncountable set is larger than a countable set, I think we are there. It seems obvious but how do we know for sure? ---
**Author:** ![74westy](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/74westy/32/3950_2.png) [@74westy](https://boards.straightdope.com/u/74westy)\ **Post date:** [June 27, 2021, 2:50pm UTC](https://boards.straightdope.com/t/poll-what-type-of-number-would-you-want-to-be-i-think-i-got-it-to-work-this-time/914408/44 "2021-06-27T14:50:51Z")
0.000...1 ---
**Author:** ![Hari\_Seldon](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/hari_seldon/32/5173_2.png) [@Hari\_Seldon](https://boards.straightdope.com/u/Hari_Seldon)\ **Post date:** [June 27, 2021, 6:58pm UTC](https://boards.straightdope.com/t/poll-what-type-of-number-would-you-want-to-be-i-think-i-got-it-to-work-this-time/914408/45 "2021-06-27T18:58:31Z")
> [@Ynnad](#): > > This sounds like a good start. Now if we could show: (1) the set of “non-expressible” numbers is a noncountable set and (2) a noncountable set is larger than a countable set, I think we are there. It seems obvious but how do we know for sure? The problem with this argument is that there could be uncountably many representation schemes. Both e and \pi can be expressed with a single well-understood symbol. [Previous page](https://boards.straightdope.com/t/poll-what-type-of-number-would-you-want-to-be-i-think-i-got-it-to-work-this-time/914408.md?page=2)