M Physics 21: Complete Theory
[ Follow Ups ] [ Post Followup ] [ Basic Physics III ] [ FAQ ]
Posted by kx21 on December 20, 2003 at 12:08:53:
In Reply to: Complete mathematics posted by DickT on December 20, 2003 at 09:37:11:
Dear DickT, M Thanks... *** * M Physics 21: Complete Theory *** Definition:- Complete Theory 'A theory T is complete if for every sentence S in the language of the theory, either S or not(S) is a theorem of T.'
e.g. Tg - A formal theory for geometry...
Tarski has demonstrated that Tg is complete. This means that, for any purely geometrical statement S [in the language of Tg], either S or Not(S) is a theorem of Tg. kx21
(Report this post to the moderator)
Follow Ups: (Reload page to see most recent)
Post a Followup
[ Follow Ups ] [ Post Followup ] [ Basic Physics III ] [ FAQ ]
|