Re: Jan Burse gives support that godels use of impredicative s
- From: "elsiemelsi" <cyprinsam@xxxxxxxxxxxxxxx>
- Date: Sun, 27 Jan 2008 11:40:14 -0600
(*) The collected works of Gödel
it is what he states in his 1931 paper and his On undecidable
propositions of formal mathematical systems
we are concerned with here not what he may have said in other places
and in these works he states he constructs impredicative statements -which
you admitt are problematical -and others say are invalid
as well as useing the axiom of reducibility
--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html
.
- Follow-Ups:
- Re: Jan Burse gives support that godels use of impredicative s
- From: Jan Burse
- Re: Jan Burse gives support that godels use of impredicative s
- From: Jan Burse
- Re: Jan Burse gives support that godels use of impredicative s
- References:
- Prev by Date: Re: Jan Burse gives support that godels use of impredicative statments invalidates his theorem
- Next by Date: Re: Godels incompleteness theorem was not just about a version o
- Previous by thread: Re: Jan Burse gives support that godels use of impredicative statments invalidates his theorem
- Next by thread: Re: Jan Burse gives support that godels use of impredicative s
- Index(es):
Relevant Pages
|
|
