• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 07:28
CEST 13:28
KST 20:28
  • 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
Team Liquid Map Contest #22 - The Finalists14[ASL21] Ro16 Preview Pt1: Fresh Flow9[ASL21] Ro24 Preview Pt2: News Flash10[ASL21] Ro24 Preview Pt1: New Chaos0Team Liquid Map Contest #22 - Presented by Monster Energy21
Community News
2026 GSL Season 1 Qualifiers11Maestros of the Game 2 announced32026 GSL Tour plans announced11Weekly Cups (April 6-12): herO doubles, "Villains" prevail1MaNa leaves Team Liquid22
StarCraft 2
General
MaNa leaves Team Liquid 2026 GSL Tour plans announced Team Liquid Map Contest #22 - The Finalists Weekly Cups (April 6-12): herO doubles, "Villains" prevail Oliveira Would Have Returned If EWC Continued
Tourneys
Sparkling Tuna Cup - Weekly Open Tournament GSL CK: More events planned pending crowdfunding 2026 GSL Season 1 Qualifiers Master Swan Open (Global Bronze-Master 2) SEL Doubles (SC Evo Bimonthly)
Strategy
Custom Maps
[D]RTS in all its shapes and glory <3 [A] Nemrods 1/4 players [M] (2) Frigid Storage
External Content
Mutation # 521 Memorable Boss The PondCast: SC2 News & Results Mutation # 520 Moving Fees Mutation # 519 Inner Power
Brood War
General
ASL21 General Discussion BGH Auto Balance -> http://bghmmr.eu/ Gypsy to Korea Pros React To: Tulbo in Ro.16 Group A Data needed
Tourneys
Escore Tournament StarCraft Season 2 [Megathread] Daily Proleagues [ASL21] Ro16 Group A [ASL21] Ro16 Group B
Strategy
Simple Questions, Simple Answers What's the deal with APM & what's its true value Any training maps people recommend? Fighting Spirit mining rates
Other Games
General Games
Nintendo Switch Thread General RTS Discussion Thread Battle Aces/David Kim RTS Megathread Stormgate/Frost Giant Megathread Starcraft Tabletop Miniature Game
Dota 2
The Story of Wings Gaming
League of Legends
G2 just beat GenG in First stand
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
Vanilla Mini Mafia Mafia Game Mode Feedback/Ideas TL Mafia Community Thread Five o'clock TL Mafia
Community
General
Things Aren’t Peaceful in Palestine US Politics Mega-thread Russo-Ukrainian War Thread YouTube Thread Canadian Politics Mega-thread
Fan Clubs
The IdrA Fan Club
Media & Entertainment
Anime Discussion Thread [Req][Books] Good Fantasy/SciFi books [Manga] One Piece Movie Discussion!
Sports
2024 - 2026 Football Thread McBoner: A hockey love story Formula 1 Discussion Cricket [SPORT]
World Cup 2022
Tech Support
[G] How to Block Livestream Ads
TL Community
The Automated Ban List
Blogs
Reappraising The Situation T…
TrAiDoS
lurker extra damage testi…
StaticNine
Broowar part 2
qwaykee
Funny Nicknames
LUCKY_NOOB
Iranian anarchists: organize…
XenOsky
ASL S21 English Commentary…
namkraft
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1827 users

Hot water dulls the mind

Blogs > EtherealDeath
Post a Reply
1 2 Next All
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 States9108 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 States9108 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.
1 2 Next All
Please log in or register to reply.
Live Events Refresh
WardiTV Map Contest Tou…
11:00
Group D
WardiTV369
TKL 154
IndyStarCraft 129
Rex70
3DClanTV 57
Liquipedia
Sparkling Tuna Cup
10:00
Weekly #128 (TLMC 22 Edition)
ByuN vs HonMonOLIVE!
Classic vs TBD
CranKy Ducklings132
herO (SOOP)41
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
TKL 152
IndyStarCraft 129
Rex 70
MindelVK 44
herO (SOOP) 41
StarCraft: Brood War
Britney 23977
Calm 4736
Horang2 1552
ToSsGirL 592
EffOrt 417
Zeus 305
Larva 305
NaDa 256
BeSt 229
firebathero 218
[ Show more ]
Killer 172
Last 166
ZerO 164
Soma 154
Hyun 106
PianO 98
ggaemo 88
Rush 83
Soulkey 59
Mind 54
Pusan 51
Sharp 48
sSak 43
[sc1f]eonzerg 40
Barracks 30
yabsab 21
Shinee 20
Sea.KH 19
Hm[arnc] 16
SilentControl 16
Movie 15
Noble 15
soO 15
IntoTheRainbow 12
sorry 12
Dota 2
Gorgc1764
XaKoH 554
Counter-Strike
zeus1232
x6flipin352
edward170
Super Smash Bros
Mew2King129
Heroes of the Storm
Khaldor255
Other Games
singsing1580
B2W.Neo1244
DeMusliM219
Pyrionflax166
ZerO(Twitch)12
Organizations
Dota 2
PGL Dota 2 - Main Stream10312
PGL Dota 2 - Secondary Stream3808
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 16 non-featured ]
StarCraft 2
• Adnapsc2 18
• CranKy Ducklings SOOP7
• LaughNgamezSOOP
• AfreecaTV YouTube
• sooper7s
• intothetv
• Migwel
• Kozan
• IndyKCrew
StarCraft: Brood War
• blackmanpl 4
• FirePhoenix1
• STPLYoutube
• BSLYoutube
• ZZZeroYoutube
League of Legends
• Jankos2045
• TFBlade957
Upcoming Events
Ladder Legends
3h 33m
IPSL
4h 33m
JDConan vs TBD
Aegong vs rasowy
BSL
7h 33m
StRyKeR vs rasowy
Artosis vs Aether
JDConan vs OyAji
Hawk vs izu
CranKy Ducklings
12h 33m
Replay Cast
21h 33m
Wardi Open
22h 33m
Afreeca Starleague
22h 33m
Bisu vs Ample
Jaedong vs Flash
Monday Night Weeklies
1d 4h
RSL Revival
1d 14h
Afreeca Starleague
1d 22h
Barracks vs Leta
Royal vs Light
[ Show More ]
WardiTV Map Contest Tou…
1d 23h
RSL Revival
2 days
Replay Cast
3 days
The PondCast
3 days
KCM Race Survival
3 days
WardiTV Map Contest Tou…
3 days
Replay Cast
4 days
Escore
4 days
RSL Revival
5 days
WardiTV Map Contest Tou…
5 days
Ladder Legends
6 days
uThermal 2v2 Circuit
6 days
BSL
6 days
Sparkling Tuna Cup
6 days
WardiTV Map Contest Tou…
6 days
Liquipedia Results

Completed

Escore Tournament S2: W3
RSL Revival: Season 4
NationLESS Cup

Ongoing

BSL Season 22
ASL Season 21
CSL 2026 SPRING (S20)
IPSL Spring 2026
KCM Race Survival 2026 Season 2
StarCraft2 Community Team League 2026 Spring
WardiTV TLMC #16
Nations Cup 2026
IEM Rio 2026
PGL Bucharest 2026
Stake Ranked Episode 1
BLAST Open Spring 2026
ESL Pro League S23 Finals
ESL Pro League S23 Stage 1&2
PGL Cluj-Napoca 2026
IEM Kraków 2026

Upcoming

Escore Tournament S2: W4
Acropolis #4
BSL 22 Non-Korean Championship
CSLAN 4
Kung Fu Cup 2026 Grand Finals
HSC XXIX
uThermal 2v2 2026 Main Event
2026 GSL S2
RSL Revival: Season 5
2026 GSL S1
XSE Pro League 2026
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
IEM Atlanta 2026
Asian Champions League 2026
PGL Astana 2026
BLAST Rivals Spring 2026
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.