• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 09:38
CEST 15:38
KST 22:38
  • 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
Power Rank - Esports World Cup 202559RSL Season 1 - Final Week9[ASL19] Finals Recap: Standing Tall15HomeStory Cup 27 - Info & Preview18Classic wins Code S Season 2 (2025)16
Community News
BSL Team Wars - Bonyth, Dewalt, Hawk & Sziky teams10Weekly Cups (July 14-20): Final Check-up0Esports World Cup 2025 - Brackets Revealed19Weekly Cups (July 7-13): Classic continues to roll8Team TLMC #5 - Submission re-extension4
StarCraft 2
General
The GOAT ranking of GOAT rankings Power Rank - Esports World Cup 2025 What tournaments are world championships? RSL Revival patreon money discussion thread Jim claims he and Firefly were involved in match-fixing
Tourneys
Esports World Cup 2025 Sparkling Tuna Cup - Weekly Open Tournament FEL Cracov 2025 (July 27) - $8000 live event Master Swan Open (Global Bronze-Master 2) Sea Duckling Open (Global, Bronze-Diamond)
Strategy
How did i lose this ZvP, whats the proper response
Custom Maps
External Content
Mutation #239 Bad Weather Mutation # 483 Kill Bot Wars Mutation # 482 Wheel of Misfortune Mutation # 481 Fear and Lava
Brood War
General
BW General Discussion Dewalt's Show Matches in China [Update] ShieldBattery: 2025 Redesign Ginuda's JaeDong Interview Series BSL Team Wars - Bonyth, Dewalt, Hawk & Sziky teams
Tourneys
[Megathread] Daily Proleagues CSL Xiamen International Invitational [CSLPRO] It's CSLAN Season! - Last Chance [BSL 2v2] ProLeague Season 3 - Friday 21:00 CET
Strategy
Does 1 second matter in StarCraft? [G] Mineral Boosting Simple Questions, Simple Answers
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread [MMORPG] Tree of Savior (Successor of Ragnarok) Path of Exile CCLP - Command & Conquer League Project
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread Vanilla Mini Mafia
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread Things Aren’t Peaceful in Palestine Post Pic of your Favorite Food! The Games Industry And ATVI
Fan Clubs
SKT1 Classic Fan Club!
Media & Entertainment
[\m/] Heavy Metal Thread Anime Discussion Thread Movie Discussion! [Manga] One Piece Korean Music Discussion
Sports
Formula 1 Discussion 2024 - 2025 Football Thread TeamLiquid Health and Fitness Initiative For 2023 NBA General Discussion
World Cup 2022
Tech Support
Installation of Windows 10 suck at "just a moment" Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List
Blogs
Ping To Win? Pings And Their…
TrAiDoS
momentary artworks from des…
tankgirl
from making sc maps to makin…
Husyelt
StarCraft improvement
iopq
Socialism Anyone?
GreenHorizons
Customize Sidebar...

Website Feedback

Closed Threads



Active: 875 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 States9103 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 States9103 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
Esports World Cup
11:00
2025 - Final Day
Solar vs ClassicLIVE!
Cure vs TBD
Serral vs TBD
EWC_Arena14776
ComeBackTV 3936
TaKeTV 831
Hui .702
JimRising 392
3DClanTV 390
Rex300
Fuzer 245
EnkiAlexander 223
CranKy Ducklings147
Reynor128
SpeCial54
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
EWC_Arena14776
Hui .702
JimRising 392
Rex 300
Fuzer 245
Reynor 128
UpATreeSC 85
SpeCial 54
StarCraft: Brood War
Nal_rA 4803
Horang2 4232
Shuttle 3504
Bisu 2041
BeSt 1746
Larva 1085
EffOrt 802
Mini 707
Barracks 505
Stork 410
[ Show more ]
actioN 314
Soma 298
ggaemo 187
Snow 135
TY 126
Soulkey 113
Backho 113
JYJ108
Rush 96
Hyun 75
Sharp 54
sorry 51
sSak 45
Aegong 28
Shinee 25
Terrorterran 20
Sacsri 18
soO 14
Stormgate
BeoMulf80
Dota 2
Gorgc5192
XcaliburYe287
420jenkins273
KheZu93
League of Legends
febbydoto8
Counter-Strike
fl0m1967
sgares221
Other Games
gofns7849
singsing2189
B2W.Neo1394
Beastyqt724
ScreaM380
ArmadaUGS141
KnowMe108
djWHEAT89
QueenE75
Organizations
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 13 non-featured ]
StarCraft 2
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• Michael_bg 5
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• WagamamaTV515
League of Legends
• Nemesis4827
Upcoming Events
OSC
23m
CranKy Ducklings
20h 23m
BSL20 Non-Korean Champi…
1d
CSO Cup
1d 2h
BSL20 Non-Korean Champi…
1d 4h
Bonyth vs Sziky
Dewalt vs Hawk
Hawk vs QiaoGege
Sziky vs Dewalt
Mihu vs Bonyth
Zhanhun vs QiaoGege
QiaoGege vs Fengzi
FEL
1d 19h
BSL20 Non-Korean Champi…
2 days
BSL20 Non-Korean Champi…
2 days
Bonyth vs Zhanhun
Dewalt vs Mihu
Hawk vs Sziky
Sziky vs QiaoGege
Mihu vs Hawk
Zhanhun vs Dewalt
Fengzi vs Bonyth
Sparkling Tuna Cup
3 days
Online Event
4 days
[ Show More ]
uThermal 2v2 Circuit
5 days
The PondCast
5 days
Replay Cast
6 days
Liquipedia Results

Completed

CSL Xiamen Invitational
Championship of Russia 2025
Murky Cup #2

Ongoing

Copa Latinoamericana 4
Jiahua Invitational
BSL20 Non-Korean Championship
Esports World Cup 2025
CC Div. A S7
Underdog Cup #2
IEM Cologne 2025
FISSURE Playground #1
BLAST.tv Austin Major 2025
ESL Impact League Season 7
IEM Dallas 2025
PGL Astana 2025
Asian Champions League '25

Upcoming

CSLPRO Last Chance 2025
ASL Season 20: Qualifier #1
ASL Season 20: Qualifier #2
ASL Season 20
CSLPRO Chat StarLAN 3
BSL Season 21
RSL Revival: Season 2
Maestros of the Game
SEL Season 2 Championship
uThermal 2v2 Main Event
FEL Cracov 2025
HCC Europe
ESL Pro League S22
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall 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 © 2025 TLnet. All Rights Reserved.