| String Theory Discussion Forum |
| [ String Theory Home ] [ Forum Index ] |
Complete mathematicsPosted by DickT on December 20, 2003 at 09:37:11: In Reply to: M Physics 21: Theory & Goedel's theorem posted by kx21 on December 20, 2003 at 03:05:36:
Geometry is complete (Tarski). It is likely that measure theory can be made complete, at the cost of eliminating the axiom of Choice and a few proof techniques. So it's conceivable that all the math that physics needs could be shown to be complete. They need to avoid the proof techniques of arithmetic and second order propositional calculus (quantifiers "there exists" and "for all" and mathematical induction).
Follow Ups: (Reload page to see most recent)
|