Re: Jan Burse gives support that godels use of impredicative statm

The axiom of reducibility draws attention to the
problematic status of impredicative definitions. To quote Weyl 1946,

as it is another example colin leslie dean cliams makes godel invalid as
godel state himself that he constructs impredicative statements- which
text books on logic say are invalid and your quote shows are a problem
and
make his theorem invalid

http://gamahucherpress.yellowgum.com/books/philosophy/GODEL5.pdf

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.