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

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

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 ]