My Math Forum Infinitesimal and Infinite and Foundations of Calculus

 Calculus Calculus Math Forum

October 22nd, 2018, 08:48 PM   #51
Senior Member

Joined: Oct 2009

Posts: 803
Thanks: 301

Quote:
 Originally Posted by v8archie So they are, as I always thought, an expansion of the reals. They aren't even really an alternative model, they are built out of reals to get more, as the reals are built from the rationals.
Yes, they are an expansion of the reals, so you do get more.

But they are also an alternative model since they satisfy the same first-order sentences as the reals. So according to first-order logic, there is no difference between the reals and the hyperreals. Only second-order sentences make the difference. In that point of view, they are alternative.

 October 23rd, 2018, 06:46 AM #52 Banned Camp   Joined: Mar 2015 From: New Jersey Posts: 1,720 Thanks: 125 There seems to be a problem with the concept of infinitesimal in this thread. Perhaps I csn help: An infinitesimal is a distance which can be made arbitrarily small, as in 1/n for example.
October 23rd, 2018, 07:41 AM   #53
Senior Member

Joined: Sep 2016
From: USA

Posts: 624
Thanks: 396

Math Focus: Dynamical systems, analytic function theory, numerics
Quote:
 Originally Posted by zylo There seems to be a problem with the concept of infinitesimal in this thread. Perhaps I csn help: An infinitesimal is a distance which can be made arbitrarily small, as in 1/n for example.
lmao. Thank for clearing that up!

 October 23rd, 2018, 09:46 AM #54 Banned Camp   Joined: Mar 2015 From: New Jersey Posts: 1,720 Thanks: 125 In keeping with the scope of this thread and forum, perhaps someone could illustrate the clarified and rigorous derivation of the derivatives of $\displaystyle x^{2}$ and sinx using hyperreals.
 October 23rd, 2018, 10:29 AM #55 Math Team   Joined: Dec 2013 From: Colombia Posts: 7,663 Thanks: 2643 Math Focus: Mainly analysis and algebra Using your definition, it's the usual limit derivation.

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post shaharhada Calculus 8 October 20th, 2018 06:53 AM shaharhada Algebra 9 November 10th, 2017 09:57 AM bt359 Calculus 1 November 15th, 2013 11:39 AM fjingram Real Analysis 4 July 30th, 2010 04:07 AM 1210 Real Analysis 3 September 20th, 2007 08:06 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top