Revision #33 → #1017 · back to history
addedArithmetic796edec7646b
addedNumber theory6ddbcab1ee50
addedNatural numbers1bd668706837
addedWhole numbers0346f67e6470
addedIntegers3dfacbd7f336
addedCardinal numbers8bf517a73ec3
addedOrdinal numbers7958f5ab3f88
addedRational numbere0cc01ca51c8
addedDecimal fractions8dc454076a3f
addedRational numbers and decimals7669fbb675cd
addedIrrational numbersc49ba6666c40
addedReal numbersa4b2fcf560bf
addedNon-positional numeral system76e492c03a17
addedUnary numeral system21818c2030d0
addedEgyptian hieroglyphic numerals71184ef52c87
addedPositional numeral system08d0728db9a3
addedDecimal system8c2ca4bd4329
addedBinary system222a2926ba54
addedArithmetic operations6b26bb759501
addedIdentity element0d3d0bfaaba9
addedInverse element3b1a261e3e67
addedInverse operation2674a91229ad
addedCommutativity5ec5e70d61e7
addedAssociativity2d78f0c9c482
addedAddition8a827be752c0
addedSummation130afd152c0e
addedCountingdf1b976a8920
addedSubtraction106a6be306e7
addedAdditive identity and inverse7b27aada203b
addedAddition is commutative and associative3b4f2d6d1393
addedMultiplication0f8ed5d682bf
addedDivision2a79ad519f64
addedMultiplicative identity and inverse0c03366a2471
addedMultiplication is commutative and associativef15622dbca4f
addedExponentiationb7cf335e3001
addedLogarithmd30e8cd1ec83
addedExponentiation/logarithm identity elementsb24f4d7767ba
addedExponentiation/logarithm not commutative or associative654c9e8a524e
addedInteger arithmetica48b181711ca
addedAddition with carriesc030fe64b2b9
addedMultiplication as repeated addition376ec06bd569
addedLong multiplication31abd433b1d1
addedLong division41ac698ca478
addedIntegers not closed under divisiond3416f6faf1e
addedExponentiation by squaringf03123957370
addedIntegers not closed under logarithm/exponentiationec8a6dabf267
addedNumber theory935c994561c8
addedFundamental theorem of arithmetica9af81610a17
addedEuclid's theorem10d7921104b1
addedFermat's Last Theorem60f2564b98cd
addedRational number arithmetic61a4cbb5b6d4
addedAdding rationals with common denominator8049e6f725b2
addedMultiplying rationals51fe9d49c73e
addedDividing rationalsf3ee3f6c49d5
addedRationals closed under division2e437943e815
addedIntegers/rationals not closed under exp/log5e332db991be
addedDecimal fraction notation6a1c40ddfc7e
addedNot all rationals have finite decimals9e516f173d86
addedRepeating decimals are rationalac6f06464f8b
addedReal number arithmetic49433845cebb
addedReals closed under exponentiation688d13c59079
addedTruncation9b50f15fb9b8
addedRounding7f20d4a98b0f
addedSignificant digits147d3c088bce
addedUncertainty propagation (addition/subtraction)de4ee6f54e8c
addedUncertainty propagation (multiplication/division)5ebbac1e2d38
addedInterval arithmetic16d20a5f53f8
addedAffine form9e890f4da0da
addedScientific notation4bd24624aa6d
addedFloating-point arithmetic809c7ac597d3
addedFloating-point addition not associative37519a1eb7f9
addedMental arithmeticaaca7139209d
addedCompensation method6e540f373ea5
addedModular arithmetic81fbaaedf329
addedVector and matrix arithmeticaca3f1c3e08f
addedDecimal arithmetic4d1ba22f9d95
addedCompound unit arithmetic90be5f34cdee
addedNon-Diophantine arithmetics3d45565814ec
addedAxiomatic foundations42a37f4801e5
addedDedekind–Peano axiomsef2bf1ef8768
addedPeano axiom 13d54c178a5be
addedPeano axiom 2 (successor)f5108c2459b7
addedPeano axiom 3 (injectivity)d2eabf9b48b3
addedPeano axiom 4 (0 not a successor)2b9d5eb93da1
addedPeano axiom 5 (induction)a64d9be4c671
addedNatural numbers as setsb7d898e2f83e
addedIntegers as ordered pairs9dda34b5caa5
addedRational numbers as pairs595bb496b274
addedReal numbers via Dedekind cutsc16e55f12d20