wiki:Logic/ConstructiveMath

Constructive Mathematics

Principles of constructive mathematics

  • Every mathematical "object" must be explicitly constructed.
  • Existential qualifier requires a constructive proof.
  • The Law of excluding middle is not valid (a proof must be shown)
  • The Law of indirect proof is not valid (a proof must be given)
  • NOT is merely asserted (not proven)
Last modified 11 months ago Last modified on Jan 12, 2020, 4:34:56 AM
Note: See TracWiki for help on using the wiki.