String Theory Discussion Forum
[ String Theory Home ] [ Forum Index ]

Complete mathematics

[ Follow Ups ] [ Post Followup ] [ Basic Physics III ] [ FAQ ]

Posted 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).

(Report this post to the moderator)

Follow Ups: (Reload page to see most recent)



Post a Followup

Name    :     (Save your login cookie)
Password  :     (Delete your login cookie)
Subject : 
Comments:
(The following are optional.)
Link URL : Link Title : Image URL :


[ Follow Ups ] [ Post Followup ] [ Basic Physics III ] [ FAQ ]