sudgy/math-from-nothing

Issues

• Define e and τ (and basic facts about them)

  #1 opened 3 years ago by sudgy
  1

• Make older proofs use well-ordering better

  #12 opened 2 years ago by sudgy
  1

• Define polynomials

  #9 opened 2 years ago by sudgy
  1

• Define field of fractions for an arbitrary ring

  #10 opened 2 years ago by sudgy
  1

• Get through Part I of Munkres' Topology

  #11 opened 3 years ago by sudgy
  0

• Deal with repeated proofs in Linear Algebra

  #7 opened 3 years ago by sudgy
  1

• Prove special cases of Zorn's Lemma

  #8 opened 3 years ago by sudgy
  0

• Figure out how to work with `ex_val` in exotic situations

  #6 opened 3 years ago by sudgy
  0

• Prove the basic facts about ordinal exponentiation

  #5 opened 3 years ago by sudgy
  0

• Be able to state the Riemann hypothesis

  #4 opened 3 years ago by sudgy
  0

• Prove the fundamental theorem of geometric calculus

  #3 opened 3 years ago by sudgy
  0

• Define integration

  #2 opened 3 years ago by sudgy
  0