Block, SkipCaptcha, Automoderated users, edit, rollback
3,135
edits
Changes
Jump to navigation
Jump to search
Line 5:
Line 5: − + − *elementary proofs minimize the underlying assumptions, as in avoiding the assumption that there is a unique, algebraically manipulable square root of negative one
→Significance of Elementary Proofs: remove first reason: complex numbers do not require a unique sqrt of -1; rather, they are technically ordered pairs (a, b) with + and * s.t. (0,1)(0,1)=(-1,0)
== Significance of Elementary Proofs ==
== Significance of Elementary Proofs ==
Elementary proofs are preferred over non-elementary proofs for at least two reasons:
Elementary proofs are preferred over non-elementary proofs for at least one reasons:
*elementary proofs are typically impossible to simplify further in a logically significant manner
*elementary proofs are typically impossible to simplify further in a logically significant manner