• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 02:52
CEST 08:52
KST 15:52
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
Serral wins HomeStory Cup 2914Serral wins Maestros of the Game 243ByuL, and the Limitations of Standard Play3Team Liquid Map Contest #22: Results and Winners7Code S Season 2 (2026): RO4 and Finals Preview12
Community News
Balance hotfix patch 5.0.16b (July 16)56Reynor: GSL Loss Wasn't About Preparation Format16[IPSL] Spring 2026 Grand Finals - This Weekend!7Weekly Cups (July 6 - 12): Protoss strike back12BSL Season 22 Full Overview & Conclusion8
StarCraft 2
General
Balance hotfix patch 5.0.16b (July 16) [D] Wireframe Casting Removed Clem: "I don't have that much hope in Blizzard" Reynor: GSL Loss Wasn't About Preparation Format Is the larve respawn broken?
Tourneys
Master Swan Open (Global Bronze-Master 2) WardiTV Summer Cup 2026 GSL CK #5 Race War RSL Revival: Season 6 - Qualifiers and Main Event HomeStory Cup 29
Strategy
[G] Having the right mentality to improve
Custom Maps
New Map Maker - Looking for Advice - Love or Hate Work In Progress Melee Maps [D]RTS in all its shapes and glory <3
External Content
The PondCast: SC2 News & Results Mutation # 534 Burning Evacuation Mutation # 533 Die Together Mutation # 532 Nuclear Family
Brood War
General
BW General Discussion ASL22 General Discussion NaDa’s Body Followup Pros Debate: Zerg Unfairly Nerfed? (ASL S22 map) Etiquete rules in Asl?
Tourneys
[IPSL] Spring 2026 Grand Finals - This Weekend! [Megathread] Daily Proleagues Escore Tournament - Season 3 Small VOD Thread 2.0
Strategy
Fighting Spirit mining rates Simple Questions, Simple Answers Creating a full chart of Zerg builds Relatively freeroll strategies
Other Games
General Games
Path of Exile Stormgate/Frost Giant Megathread Nintendo Switch Thread General RTS Discussion Thread Beyond All Reason
Dota 2
Looking for a Dota Mentor Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
TL Mafia Power Rank NeO.D_StephenKing vs This Guy From 1 Million Dance TL Mafia Community Thread Vanilla Mini Mafia
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread The Games Industry And ATVI UK Politics Mega-thread YouTube Thread
Fan Clubs
The IdrA Fan Club The HerO Fan Club!
Media & Entertainment
Anime Discussion Thread Movie Discussion! [Req][Books] Good Fantasy/SciFi books Series you have seen recently...
Sports
2024 - 2026 Football Thread MLB/Baseball 2023 McBoner: A hockey love story Tennis[sport] Formula 1 Discussion
World Cup 2022
Tech Support
Simple Questions Simple Answers FPS when play League Of Legend on laptop How to clean a TTe Thermaltake keyboard?
TL Community
Northern Ireland Global Starcraft The Automated Ban List
Blogs
ASL S22 English Commentary…
namkraft
Poker (part 2)
Nebuchad
The Experiences We Want and …
TrAiDoS
An Exploration of th…
waywardstrategy
ramps on octagon
StaticNine
Funny Nicknames
LUCKY_NOOB
Evil Gacha Games and the…
ffswowsucks
Customize Sidebar...

Website Feedback

Closed Threads



Active: 8327 users

Hot water dulls the mind

Blogs > EtherealDeath
Post a Reply
Normal
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
January 27 2012 00:07 GMT
#1
So, disclaimer: been a while since I did analysis, and this was a random shower thought (yes, I was taking a shower lol). So, half of this is likely badly flawed in some way lol.

So, first we begin with Cantor's diagonal argument. If you do not know what it is, go to http://en.wikipedia.org/wiki/Cantor's_diagonal_argument

We will rework the terms a bit. Namely, we will establish try to establish a 1:1 between the indices and the natural numbers as follows;

#1: 1 0 0 0 0 0 0 0 0 0 0 0 0 0..... 1 in binary
#2: 0 1 0 0 0 0 0 0 0 0 0 0 0 0..... 2 in binary
#3" 1 1 0 0 0 0 0 0 0 0 0 0 0 0..... 3 in binary
etc etc where we were left-to-right least significant to most significant digits, using binary. We generate a sequence for every natural number this way.

So now we can interpret the infinite sequences as numbers in the standard way. Now do the negation (for sequence #n, flip the nth bit), so that we get 0 0 1......

One might be tempted to think we just generated a natural number which is not a natural number - but wait, how can the natural numbers not be one-to-one with the natural numbers, that is, how can a countable set be uncountable?

Well, actually it is apparent we didn't generate a natural number even though we are flipping a countable infinite number of bits, all of which belong to natural numbers. There is clearly no successor to the sequence we generated - there's no next number. So actually, we didn't generate a natural number even though we meant to do so.

I actually stood there in the shower for like 10 minutes thinking that the generated number was a natural number loool. Hot water bad for thinking I guess o.o

P.S. Infinities are awesome, and I don't just mean the pen ones.

P.P.S. I don't suppose there is a way to do something similar with the ordinals somehow used as indices rather than powers of 2?

*
mOnion
Profile Blog Joined August 2009
United States5657 Posts
January 27 2012 00:28 GMT
#2
I come up with all my ideas in the shower. not even like just joke ideas, just all of the ideas that I have, they are all brewed in the shower.

I cannot assess your binary stufz though. 2hard.
☆★☆ 7486!!! Join the Ban mOnion Anti-Trolling Initiative! - Caller | "on a scale of machine to 10, how bad is that Zerg?" - LZgamer | you are the new tl.net bonjwa monion, congrats - Rekrul | "Cheeseburgers dynamite lilacs" - Chill
Jonoman92
Profile Blog Joined September 2006
United States9110 Posts
January 27 2012 00:30 GMT
#3
When I'm in the shower I sing some Taylor Swift.
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
January 27 2012 00:42 GMT
#4
On January 27 2012 09:30 Jonoman92 wrote:
When I'm in the shower I sing some Taylor Swift.


Too bad you are not as cute :/
ShinyGerbil
Profile Blog Joined June 2008
Canada519 Posts
January 27 2012 01:09 GMT
#5
What you constructed is a valid binary string, but not a binary representation of a natural number. All binary representations of natural numbers e = e_1,e_2,... have some index 'n' such that for all k>n, e_k = 0, where yours was an infinite sequence of 1's after the 2nd index. ^^
[s]savior[/s] jaedong fighting! // member of LighT eSports
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
January 27 2012 01:21 GMT
#6
On January 27 2012 10:09 ShinyGerbil wrote:
What you constructed is a valid binary string, but not a binary representation of a natural number. All binary representations of natural numbers e = e_1,e_2,... have some index 'n' such that for all k>n, e_k = 0, where yours was an infinite sequence of 1's after the 2nd index. ^^



err the ... didn't signify continuing 1s. I just didnt bother to write the flipped bits of sequence #4, #5, etc. And also what you wrote about the indicies is what I meant by there is no successor so it's not actually a natural number.
Iranon
Profile Blog Joined March 2010
United States983 Posts
January 27 2012 03:26 GMT
#7
On January 27 2012 10:21 EtherealDeath wrote:
Show nested quote +
On January 27 2012 10:09 ShinyGerbil wrote:
What you constructed is a valid binary string, but not a binary representation of a natural number. All binary representations of natural numbers e = e_1,e_2,... have some index 'n' such that for all k>n, e_k = 0, where yours was an infinite sequence of 1's after the 2nd index. ^^



err the ... didn't signify continuing 1s. I just didnt bother to write the flipped bits of sequence #4, #5, etc. And also what you wrote about the indicies is what I meant by there is no successor so it's not actually a natural number.


You missed his point. The reason that almost everything on that list doesn't represent a natural number in binary is that there's going to be infinitely many 1s and infinitely many 0s interleaved in some way. A binary number only has finitely many 1s in its expansion.
NachiMe
Profile Joined November 2011
250 Posts
January 27 2012 03:27 GMT
#8
I'm curious; can you explain this in words that a grade 11 guy who's terrible at math can understand?
Keyboard Warrior
Profile Joined December 2011
United States1178 Posts
January 27 2012 03:49 GMT
#9
Me too. Shower is such a nice gound to breed ideas.
Maybe its the water, or just the rest from sleep.

On topic. sorry math hates me, so I'll just read what people share here.
Not your regular Keyboard Warrior ¯\_(ツ)_/¯
PolskaGora
Profile Joined May 2011
United States547 Posts
Last Edited: 2012-01-27 03:56:51
January 27 2012 03:56 GMT
#10
Daydreaming impossible scenarios in the shower is real fun. I can meet any fictional characters or go skiing at any time of year. I swear I've probably had more adventures in my shower than in real life.
Tracking treasure down
Ninja_Bread
Profile Blog Joined August 2010
United States113 Posts
January 27 2012 03:57 GMT
#11
But you're counting with integers.... that means 4 ascends 3, and 4 is equal to 0100 (not sure why you flipped the bits backwards) regardless of how many 0's you put - they don't change the value... or maybe I am missing your point?
Mang
Fallians
Profile Blog Joined July 2011
Canada242 Posts
January 27 2012 04:28 GMT
#12
On January 27 2012 09:30 Jonoman92 wrote:
When I'm in the shower I sing some Taylor Swift.


You understand me <3
If you attack before 15minutes.. It's cheese....
Cyber_Cheese
Profile Blog Joined July 2010
Australia3615 Posts
January 27 2012 05:40 GMT
#13
On January 27 2012 12:57 Ninja_Bread wrote:
But you're counting with integers.... that means 4 ascends 3, and 4 is equal to 0100 (not sure why you flipped the bits backwards) regardless of how many 0's you put - they don't change the value... or maybe I am missing your point?

This seems to sum it up for me.
By his logic, I could write 9, but because it's not 09 it leaves no room for ascention?
The moment you lose confidence in yourself, is the moment the world loses it's confidence in you.
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
Last Edited: 2012-01-27 06:09:11
January 27 2012 06:08 GMT
#14
On January 27 2012 12:57 Ninja_Bread wrote:
But you're counting with integers.... that means 4 ascends 3, and 4 is equal to 0100 (not sure why you flipped the bits backwards) regardless of how many 0's you put - they don't change the value... or maybe I am missing your point?


The bits were flipped backwards because otherwise for any specific number, you'd need an infinite number of 0's to the left, which is a bit weird to write and is rather nonstandard notation.

i.e.
#1 = ....00000000001 instead of #1 = 100000000.....


On January 27 2012 12:26 Iranon wrote:
Show nested quote +
On January 27 2012 10:21 EtherealDeath wrote:
On January 27 2012 10:09 ShinyGerbil wrote:
What you constructed is a valid binary string, but not a binary representation of a natural number. All binary representations of natural numbers e = e_1,e_2,... have some index 'n' such that for all k>n, e_k = 0, where yours was an infinite sequence of 1's after the 2nd index. ^^



err the ... didn't signify continuing 1s. I just didnt bother to write the flipped bits of sequence #4, #5, etc. And also what you wrote about the indicies is what I meant by there is no successor so it's not actually a natural number.


You missed his point. The reason that almost everything on that list doesn't represent a natural number in binary is that there's going to be infinitely many 1s and infinitely many 0s interleaved in some way. A binary number only has finitely many 1s in its expansion.


Actually our statements are equivalent. The statement that there can be no successor implies there is no final 1, and vice versa.
infinitestory
Profile Blog Joined April 2010
United States4053 Posts
Last Edited: 2012-01-27 06:14:28
January 27 2012 06:14 GMT
#15
i think what you have stumbled upon is something called a p-adic number (in this case, a 2-adic)
i don't know a whole lot about them, but the number you generate ends up being 001011111111.... which is equal to -12 or something like that.
Translator:3
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
January 27 2012 06:14 GMT
#16
On January 27 2012 14:40 Cyber_Cheese wrote:
Show nested quote +
On January 27 2012 12:57 Ninja_Bread wrote:
But you're counting with integers.... that means 4 ascends 3, and 4 is equal to 0100 (not sure why you flipped the bits backwards) regardless of how many 0's you put - they don't change the value... or maybe I am missing your point?

This seems to sum it up for me.
By his logic, I could write 9, but because it's not 09 it leaves no room for ascention?


I implied an infinite succession, namely

#1 = 1000000..... (Binary 1)
#2 = 0100000..... (Binary 2)
#3 = 1100000..... (Binary 3)
#4 = 0010000..... (Binary 4)
#5 = 1010000..... (Binary 5)
...
#n = (Binary n)

So one would be inclined to think that we have enumerated every possible infinite binary string - thus the total number of possible binary strings of undetermined length is infinite, but countably infinite. By countably infinite I mean we can put them into a 1-1 correspondence with the natural numbers - pair them up exactly one for one by some clever scheme.

However, this isn't the case. Above, we have clearly assigned every natural number an infinite binary string. However, we will now create a binary string which clearly isn't any of the strings above. We do this by flipping bits. For sequence #x, we flip the xth bit. Thus sequence #x is not the same as sequence #1, or #2, #3, etc no matter what sequence #n we use since whatever sequence we compare, one of the bits has been flipped.

So there is no one-to-one correspondence between the infinite binary strings and the natural numbers.
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
January 27 2012 06:15 GMT
#17
On January 27 2012 15:14 infinitestory wrote:
i think what you have stumbled upon is something called a p-adic number (in this case, a 2-adic)
i don't know a whole lot about them, but the number you generate ends up being 001011111111.... which is equal to -12 or something like that.


Huh? I don't see the connection o.O
Jonoman92
Profile Blog Joined September 2006
United States9110 Posts
January 27 2012 06:51 GMT
#18
On January 27 2012 09:42 EtherealDeath wrote:
Show nested quote +
On January 27 2012 09:30 Jonoman92 wrote:
When I'm in the shower I sing some Taylor Swift.


Too bad you are not as cute :/


You are mean

Btw where's my milkis?

http://www.teamliquid.net/blogs/viewblog.php?topic_id=255635&currentpage=All
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
Last Edited: 2012-01-27 06:57:33
January 27 2012 06:57 GMT
#19
I couldn't find you day 2 so it sat in my trunk t.t It actually sat there for 2 months...
supbros
Profile Joined January 2012
Canada2 Posts
January 27 2012 07:10 GMT
#20
It's unclear what you're trying to show. Could you tell us?

It feels like you're trying to show that the set of infinitely long binary strings is uncountable? If so, you can just use Cantor's diagonalization argument instead of the awkward procedure you used in your first post.
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
January 27 2012 07:49 GMT
#21
On January 27 2012 16:10 supbros wrote:
It's unclear what you're trying to show. Could you tell us?

It feels like you're trying to show that the set of infinitely long binary strings is uncountable? If so, you can just use Cantor's diagonalization argument instead of the awkward procedure you used in your first post.


I wasn't trying to show anything, just laying out the confusion I had while in the shower wherein I thought I created a natural number during diagonalization which is clearly absurd.
Ninja_Bread
Profile Blog Joined August 2010
United States113 Posts
Last Edited: 2012-01-27 12:38:11
January 27 2012 12:37 GMT
#22
On January 27 2012 15:08 EtherealDeath wrote:
Show nested quote +
On January 27 2012 12:57 Ninja_Bread wrote:
But you're counting with integers.... that means 4 ascends 3, and 4 is equal to 0100 (not sure why you flipped the bits backwards) regardless of how many 0's you put - they don't change the value... or maybe I am missing your point?


The bits were flipped backwards because otherwise for any specific number, you'd need an infinite number of 0's to the left, which is a bit weird to write and is rather nonstandard notation.

i.e.
#1 = ....00000000001 instead of #1 = 100000000.....


So shouldn't you write #1 as 1000000000000 instead of 0000000001? The only thing you're changing is the base, the same principles still apply....

I feel like you're thinking of something completely different than what you're demonstrating

On January 27 2012 09:07 EtherealDeath wrote:
One might be tempted to think we just generated a natural number which is not a natural number - but wait, how can the natural numbers not be one-to-one with the natural numbers, that is, how can a countable set be uncountable?


So would you please try to explain yourself clearer....?
Mang
Cyber_Cheese
Profile Blog Joined July 2010
Australia3615 Posts
January 27 2012 18:30 GMT
#23
From what I can gather, it's flipping one of the digits value, which just offsets which number is the resultant.
It's still 1:1 if I'm understanding it right though....

010 is 2, but if you flip the right 0 you end up with 011 (three)
If you had 011 and flip the right digit, it becomes 010.
Essentially, odd/even numbers would flip values, but it's 1:1

if you flip a digit of higher value, the difference between the paired numbers increases (001 [1] <-> 011 [3])
But it's still 1:1
The moment you lose confidence in yourself, is the moment the world loses it's confidence in you.
See.Blue
Profile Blog Joined October 2008
United States2673 Posts
January 27 2012 19:08 GMT
#24
On January 27 2012 15:14 infinitestory wrote:
i think what you have stumbled upon is something called a p-adic number (in this case, a 2-adic)
i don't know a whole lot about them, but the number you generate ends up being 001011111111.... which is equal to -12 or something like that.


Why do you ALWAYS beat me to the punch in all the math blogs . Basically that though, natural numbers will have 'tails' of 0s, whereas you're generating one with 1s.
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
January 28 2012 03:07 GMT
#25
On January 27 2012 21:37 Ninja_Bread wrote:
Show nested quote +
On January 27 2012 15:08 EtherealDeath wrote:
On January 27 2012 12:57 Ninja_Bread wrote:
But you're counting with integers.... that means 4 ascends 3, and 4 is equal to 0100 (not sure why you flipped the bits backwards) regardless of how many 0's you put - they don't change the value... or maybe I am missing your point?


The bits were flipped backwards because otherwise for any specific number, you'd need an infinite number of 0's to the left, which is a bit weird to write and is rather nonstandard notation.

i.e.
#1 = ....00000000001 instead of #1 = 100000000.....


So shouldn't you write #1 as 1000000000000 instead of 0000000001? The only thing you're changing is the base, the same principles still apply....

I feel like you're thinking of something completely different than what you're demonstrating

Show nested quote +
On January 27 2012 09:07 EtherealDeath wrote:
One might be tempted to think we just generated a natural number which is not a natural number - but wait, how can the natural numbers not be one-to-one with the natural numbers, that is, how can a countable set be uncountable?


So would you please try to explain yourself clearer....?


That is how I wrote it. Was just responding to a guy asking why I didn't write it the other way, and who clearly didn't get that it was an countably infinite sequence of sequences, and that the bit flipping is to show there is no bijection.

As for the second part, I was just saying how initially I somehow confused myself into thinking I had a new natural number, since previously I was using a natural number interpretation of the sequences. That leads to various contradictions, which is what the rest of that sentence is. But of course, the sequence that consists of the bit flips is not actually a natural number so no problem there.
run.at.me
Profile Joined December 2011
Australia550 Posts
February 02 2012 04:55 GMT
#26
If hotdogs come in packs of 6 why do buns come in 8?
OnceKing
Profile Blog Joined January 2009
United States939 Posts
February 02 2012 05:04 GMT
#27
Day[9] explains this idea a bit towards the end of his video
"Every man has his follies - and often they are the most interesting thing he has got."
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
Last Edited: 2012-02-02 05:16:56
February 02 2012 05:16 GMT
#28
I think I am a terrible writer, since everyone seems to have missed the point of this blog.


On February 02 2012 13:55 run.at.me wrote:
If hotdogs come in packs of 6 why do buns come in 8?


Interesting bump.
Normal
Please log in or register to reply.
Live Events Refresh
Next event in 2h 8m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
WinterStarcraft882
SortOf 35
StarCraft: Brood War
Hyuk 193
NaDa 169
910 101
sorry 89
JulyZerg 37
Larva 32
GoRush 30
Dota 2
NeuroSwarm191
League of Legends
JimRising 720
Counter-Strike
Sick112
Other Games
summit1g7034
XaKoH 182
Organizations
Other Games
gamesdonequick2354
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
[ Show 14 non-featured ]
StarCraft 2
• Berry_CruncH566
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• Azhi_Dahaki20
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• lizZardDota2173
League of Legends
• Stunt558
Upcoming Events
RSL Revival
2h 8m
Classic vs Trap
herO vs SHIN
Sparkling Tuna Cup
3h 8m
OSC
6h 8m
IPSL
9h 8m
Bonyth vs Ret
WardiTV Weekly
1d 4h
Monday Night Weeklies
1d 9h
OSC
1d 17h
PiGosaur Cup
2 days
The PondCast
3 days
Replay Cast
4 days
[ Show More ]
CrankTV Team League
4 days
Replay Cast
4 days
CrankTV Team League
5 days
Korean StarCraft League
5 days
RSL Revival
6 days
Online Event
6 days
Replay Cast
6 days
Liquipedia Results

Completed

YSL S3
HSC XXIX
Eternal Conflict S2 E2

Ongoing

IPSL Spring 2026
Acropolis #4
CSL 2026 Summer (S21)
KCM Race Survival 2026 Season 3
RSL Revival: Season 6
CranK Gathers Season 4: BW vs SC2 Team League
SCTL 2026 Spring
Eternal Conflict S2 E3
Stake Ranked Episode 3
XSE Pro League 2026
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
Asian Champions League 2026
IEM Atlanta 2026
PGL Astana 2026

Upcoming

Escore Tournament S3: W4
ASL S22 SEASON OPEN Day 2
Escore Tournament S3: W5
CSLAN 4
Blizzard Classic Cup 2026
HSC XXX
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
Light Tournament 2026
Eternal Conflict S2 Finale
Stake Ranked Episode 4
Logitech G Connect 2026
StarSeries Fall 2026
FISSURE Playground #5
BLAST Open Fall 2026
Esports World Cup 2026
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2026 TLnet. All Rights Reserved.