My Math Forum  

Go Back   My Math Forum > College Math Forum > Real Analysis

Real Analysis Real Analysis Math Forum


Thanks Tree11Thanks
Closed Thread
 
LinkBack Thread Tools Display Modes
July 13th, 2017, 11:12 AM   #1
Senior Member
 
Joined: Mar 2015
From: New Jersey

Posts: 1,175
Thanks: 90

Cantors Diagonal Argument for n digits.

The number of binary sequences for n digits is always greater than n, for all n.

Ex, n=2

10
01
11
00
11=00 is in the list.

00
01
10
11
01=10 is in the list.
zylo is offline  
 
July 13th, 2017, 11:40 AM   #2
Math Team
 
Joined: Jan 2015
From: Alabama

Posts: 2,826
Thanks: 753

I am not clear why you have posted this. Do you have a question? And I don't understand what "11= 00" or 01 = 10" could mean.

It is straight forward to prove that the set of all binary numeral with up to n digits (counting leading 0s) is . It is also easy to prove that for all positive integers n.
Country Boy is offline  
July 13th, 2017, 12:47 PM   #3
Global Moderator
 
greg1313's Avatar
 
Joined: Oct 2008
From: London, Ontario, Canada - The Forest City

Posts: 7,642
Thanks: 960

Math Focus: Elementary mathematics and beyond
Quote:
Originally Posted by zylo View Post
The number of binary sequences for n digits is always greater than n, for all n.

Ex, n=2

10
01
11
00
11=00 is in the list.

00
01
10
11
01=10 is in the list.
What, exactly, are you trying to say?

I hope we're not back to the nonsense of refuting Cantor's "diagonal argument"! It has
been proven by a legitimate mathematical method and holds true. Whether or not one
chooses to believe the concepts that it espouses is an entirely different matter.
Thanks from topsquark, v8archie and JeffM1
greg1313 is offline  
July 13th, 2017, 02:25 PM   #4
Math Team
 
Joined: Dec 2013
From: Colombia

Posts: 7,038
Thanks: 2344

Math Focus: Mainly analysis and algebra
More to the point Cantor's diagonal argument doesn't talk about finite sequences (those that cease after $n$ digits), it talks about infinite sequences (those that never cease).
v8archie is offline  
July 13th, 2017, 04:19 PM   #5
Senior Member
 
Joined: Oct 2009

Posts: 142
Thanks: 60

This is interesting. As the OP shows, you can indeed extend Cantor's argument to show that $2^n > n$ for finite numbers $n$. Never thought of that, thanks!
Micrm@ss is offline  
July 13th, 2017, 04:55 PM   #6
Math Team
 
topsquark's Avatar
 
Joined: May 2013
From: The Astral plane

Posts: 1,659
Thanks: 652

Math Focus: Wibbly wobbly timey-wimey stuff.
Again?

-Dan
Thanks from greg1313
topsquark is offline  
July 13th, 2017, 05:01 PM   #7
Global Moderator
 
greg1313's Avatar
 
Joined: Oct 2008
From: London, Ontario, Canada - The Forest City

Posts: 7,642
Thanks: 960

Math Focus: Elementary mathematics and beyond
Quote:
Originally Posted by topsquark View Post
Again?
Not for long, if at all.
Thanks from AplanisTophet
greg1313 is offline  
July 13th, 2017, 07:12 PM   #8
Senior Member
 
Joined: Jun 2014
From: USA

Posts: 315
Thanks: 21

Quote:
Originally Posted by zylo View Post
The number of binary sequences for n digits is always greater than n, for all n.
What about n = 0?

...couldn't help myself.
Thanks from JeffM1
AplanisTophet is offline  
July 13th, 2017, 07:46 PM   #9
Math Team
 
Joined: Dec 2013
From: Colombia

Posts: 7,038
Thanks: 2344

Math Focus: Mainly analysis and algebra
Or, indeed any $n \not \in \mathbb N$.
v8archie is offline  
July 14th, 2017, 11:14 AM   #10
Global Moderator
 
Joined: Dec 2006

Posts: 18,156
Thanks: 1422

Quote:
Originally Posted by zylo View Post
The number of binary sequences for n digits is always greater than n, for all n.
Cantor used non-terminating binary sequences, not binary sequences n digits long.
skipjack is online now  
Closed Thread

  My Math Forum > College Math Forum > Real Analysis

Tags
argument, cantors, diagonal, digits



Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
Cantors Diagonal Argument, Logic zylo Topology 100 May 10th, 2017 10:00 AM
Cantors Diagonal Argument is Not Diagonal v8archie Topology 0 June 23rd, 2016 10:16 AM
Cantors Diagonal Argument and Epimenides zylo Topology 4 March 8th, 2016 07:08 AM
Cantors Diag Argument Proves Reals Countable zylo Topology 6 March 5th, 2016 03:09 AM
The Super Diagonal Argument AplanisTophet Number Theory 0 October 24th, 2014 09:59 PM





Copyright © 2017 My Math Forum. All rights reserved.