Switch to: References

Add citations

You must login to add citations.
  1. La Descente Infinie, l'Induction Transfinie Et le Tiers Exclu.Yvon Gauthier - 2009 - Dialogue 48 (1):1.
    ABSTRACT: It is argued that the equivalence, which is usually postulated to hold between infinite descent and transfinite induction in the foundations of arithmetic uses the law of excluded middle through the use of a double negation on the infinite set of natural numbers and therefore cannot be admitted in intuitionistic logic and mathematics, and a fortiori in more radical constructivist foundational schemes. Moreover it is shown that the infinite descent used in Dedekind-Peano arithmetic does not correspond to the infinite (...)
    Direct download (3 more)  
    Export citation