Search All of the Math Forum:

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

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

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

Posted: Jun 21, 2013 6:39 PM

Nam Nguyen wrote:
> On 6/21/2013 5:20 AM, Peter Percival wrote:

>>
>> What point do you think you're making?

>
> The point is his below statement is meaningless on multiple accounts:
>
> "There are propositions in ZFC that are neither true nor false".
>
> And on one account, ZFC is _not_ a language in which a proposition (e.g.
> GCH) would be written in, as in his "propositions in ZFC".

So what? "There are propositions in ZFC that are neither true nor
false" is obviously just shorthand for "There are propositions in the
language of ZFC that are neither true nor false". The language of ZFC
being that FO language with one binary predicate conventionally written
$\in$.

Btw, _where_ is the first error in Gödel's 1931 proof of his
incompleteness theorem? Where is it in his Princeton proof? Where is
it in Kleene's book? Where is the first error in his proof of the
completeness theorem? Where is the first error in Henkins proof? In
Rasiowa and Sikorski's?

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