Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Fundamental Theorem of Calculus: derivative is inverse to integral #7 textbook 5th ed. : TRUE CALCULUS; without the phony limit concept
Replies: 38   Last Post: Jun 21, 2013 6:16 AM

 Messages: [ Previous | Next ]
 Peter Percival Posts: 2,224 Registered: 10/25/10
Re: Fundamental Theorem of Calculus: derivative is inverse to integral
#7 textbook 5th ed. : TRUE CALCULUS; without the phony limit concept

Posted: Jun 19, 2013 10:47 AM

Nam Nguyen wrote:

>
> As is, with your '...' being syntactically unformalized, then Yes,
> the followings are possible:
>
> (a) U is finite: containing only finite elements.
> (b) U is finite: containing also infinite elements.
> (c) U is infinite: containing only finite elements.
> (d) U is infinite: containing also infinite elements.
>
> _All_ those are the possibilities. _Which of those 4 possibilities_
> can you _specifically construct that one can verify_ ?
>
> You might have (c) in mind, but then from the unformalized and
> _unverifiable_ notion of (c), how could you _verify_ the existences
> of certain predicate and function sets, hence _verify_ as true or
> false the truth values of certain formulas?

Are you a strict finist? Is all this stuff about things being
unknowable an objection to reasoning about finite sets? Or maybe you're
an ultrafinitist like Esenin-Volpin.

--
I think I am an Elephant,
Behind another Elephant
Behind /another/ Elephant who isn't really there....
A.A. Milne

Date Subject Author
6/16/13 Alan Smaill
6/16/13 namducnguyen
6/17/13 namducnguyen
6/17/13 namducnguyen
6/17/13 Peter Percival
6/17/13 Peter Percival
6/16/13 Alan Smaill
6/17/13 Alan Smaill
6/17/13 namducnguyen
6/18/13 Peter Percival
6/17/13 Alan Smaill
6/17/13 namducnguyen
6/18/13 Peter Percival
6/19/13 Alan Smaill
6/19/13 namducnguyen
6/19/13 namducnguyen
6/19/13 Peter Percival
6/19/13 Alan Smaill
6/19/13 namducnguyen
6/19/13 namducnguyen
6/20/13 Peter Percival
6/20/13 Alan Smaill
6/20/13 namducnguyen
6/21/13 namducnguyen
6/21/13 Alan Smaill