Changes between Version 1 and Version 2 of Logic/ConstructiveMath


Ignore:
Timestamp:
Jan 12, 2020, 4:34:56 AM (12 months ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Logic/ConstructiveMath

    v1 v2  
    11= Constructive Mathematics =
    22
     3Principles of constructive mathematics
    34* Every mathematical "object" must be explicitly constructed.
    45* Existential qualifier requires a ''constructive proof''.
    5 
    66* The Law of excluding middle is not valid (a proof must be shown)
    77* The Law of indirect proof is not valid (a proof must be given)
     8* {{{NOT}}} is merely asserted (not proven)
    89