Changes between Version 1 and Version 2 of Logic/ConstructiveMath
 Timestamp:
 Jan 12, 2020, 4:34:56 AM (12 months ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Logic/ConstructiveMath
v1 v2 1 1 = Constructive Mathematics = 2 2 3 Principles of constructive mathematics 3 4 * Every mathematical "object" must be explicitly constructed. 4 5 * Existential qualifier requires a ''constructive proof''. 5 6 6 * The Law of excluding middle is not valid (a proof must be shown) 7 7 * The Law of indirect proof is not valid (a proof must be given) 8 * {{{NOT}}} is merely asserted (not proven) 8 9