My Math Forum Limit of a Number

 Real Analysis Real Analysis Math Forum

March 7th, 2018, 09:31 AM   #71
Senior Member

Joined: Aug 2012

Posts: 2,076
Thanks: 593

Quote:
 Originally Posted by zylo Ref Post #68 A series of terms S1, S2, S3,.... either stops or it doesn't. There are no other options.
A sequence is a mathematical function, not a freight train. You seem confused on this point.

You also seem confused about the difference between a sequence and a series. The above is a sequence.

 March 7th, 2018, 09:47 AM #72 Math Team   Joined: Dec 2013 From: Colombia Posts: 7,502 Thanks: 2511 Math Focus: Mainly analysis and algebra Zylo also doesn't understand the difference between "unbounded" and "infinite". I don't understand how someone who is so obviously motivated to investigate mathematics can be comfortable being so ignorant about so many basic facts and definitions. Last edited by v8archie; March 7th, 2018 at 09:59 AM.
March 7th, 2018, 09:53 AM   #73
Senior Member

Joined: Aug 2012

Posts: 2,076
Thanks: 593

Quote:
 Originally Posted by v8archie I think I posted something to this effect last night ($x^2 \ge 0$). It's this implicit acceptance of the infinite (via the natural numbers) that might allow a construction of the reals. You just have to dress up the reasoning in language that avoids appealing to the infinite. The only real hurdle I can see is the need for infinite sequences. If you can make a rational-sounding argument that they are just sequences for which we can always get another element when we need it, the job will be done. The actual definition of the limit doesn't talk about infinity and only references it in passing with the "for all $n \gt N$" which is just another "every even number is divisible by 2" statement.
Since Goodstein has written a grad-level book about how to do analysis without infinity, I'm in no position to say you're wrong.

I would only say that when you write, "If you can make a rational-sounding argument that they are just sequences for which we can always get another element when we need it, the job will be done," you're only restating the problem, not outlining an approach to a solution. But perhaps you've described Goodstein's idea. I have no way to know

March 7th, 2018, 10:07 AM   #74
Math Team

Joined: Dec 2013
From: Colombia

Posts: 7,502
Thanks: 2511

Math Focus: Mainly analysis and algebra
Quote:
 Originally Posted by Maschke you're only restating the problem, not outlining an approach to a solution
Yes, I did make some progress, but it's not maths so much as linguistics. As you pointed out, the starting point is rather contrived.

I certainly wouldn't suggest that I path to a watertight solution. It really would be restating the existing construction in finitist language.

As I say, though, it's interesting how little we appeal to the infinite to create the reals.

March 7th, 2018, 10:45 AM   #75
Senior Member

Joined: Mar 2015
From: New Jersey

Posts: 1,602
Thanks: 115

Quote:
 Originally Posted by zylo Ref Post #68 A sequence of terms S1, S2, S3,.... either stops or it doesn't. There are no other options.
Corrected (U,B) per your suggestion. A sequence is a standard mathematical concept. So you can interpret it as a function, so what? Ever heard of the sequence 1,2,3,....? It either ends or it doesn't.

Quote:
 Originally Posted by Maschke A sequence is a mathematical function, not a freight train. You seem confused on this point. You also seem confused about the difference between a sequence and a series. The above is a sequence.
Thanks. By the way, I recall you were discussing ZFC. I had a question you might be able to answer:

ZFC Axiom of regularity

March 7th, 2018, 10:46 AM   #76
Senior Member

Joined: Aug 2012

Posts: 2,076
Thanks: 593

Quote:
 Originally Posted by zylo Corrected (U,B) per your suggestion. A sequence is a standard mathematical concept. So you can interpret it as a function, so what? Ever heard of the sequence 1,2,3,....? It either ends or it doesn't.
That sequence doesn't end. The only kind of sequence that ends is a finite one.

March 7th, 2018, 10:52 AM   #77
Senior Member

Joined: Mar 2015
From: New Jersey

Posts: 1,602
Thanks: 115

Quote:
 Originally Posted by Maschke That sequence doesn't end. The only kind of sequence that ends is a finite one.
I meant it as a generic sequence, which either ends or it doesn't, unless you have a third option.

March 7th, 2018, 11:28 AM   #78
Math Team

Joined: Dec 2013
From: Colombia

Posts: 7,502
Thanks: 2511

Math Focus: Mainly analysis and algebra
Quote:
 Originally Posted by zylo I meant it as a generic sequence, which either ends or it doesn't, unless you have a third option.
You don't seem able to tell the difference, unless your unbounded/infinite sequence is a third option that terminates after an infinite number of terms. (That third option is nonsense, by the way - I thought I'd better say so to avoid confusing you.)

March 8th, 2018, 03:15 AM   #79
Global Moderator

Joined: Dec 2006

Posts: 19,865
Thanks: 1833

Quote:
 Originally Posted by zylo . . . If I specify for all n, Sn can't have a finite length for all n because the natural numbers are unbounded.
By that reasoning, if S_n is defined to be n for all n, and "finite length" is replaced by "finite", you would be asserting that though some values of n are finite, n isn't finite for every n. For what value of n wouldn't n be finite?

 Tags limit, number

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post zylo Calculus 13 May 31st, 2017 01:53 PM Shen Elementary Math 2 June 5th, 2014 08:50 AM date Calculus 3 June 12th, 2012 12:51 PM kiv864 Applied Math 0 November 2nd, 2010 06:38 PM Anson Complex Analysis 1 February 16th, 2010 05:25 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top