Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Re: You can't do what you can't do!
Posted:
Jun 30, 2014 8:13 PM


On 06/29/2014 10:05 PM, grahamcooper7@gmail.com wrote: > G <> ~proof(G) > > G <> ~proof(~proof(G)) > > ~EXIST(FORMALTHEORY) > FORMALTHEORY  G > > > > G. Cooper >  > You can't do what you can't do > Ergo It's Impossible! >
It's always with respect to some fixed formal system, such as: First order Peano Arithmetic.
dave
 http://meditationatae.wordpress.com/



