[Home]History of Soundness

HomePage | Recent Changes | Preferences

Revision 4 . . (edit) September 11, 2001 5:37 pm by Larry Sanger
Revision 3 . . September 11, 2001 2:24 pm by Iwnbap [Added symbolic logic soundness]
Revision 2 . . (edit) March 22, 2001 6:36 am by Larry Sanger
  

Difference (from prior major revision) (minor diff, author diff)

Added: 9a10,11


In mathematical logic, the term soundness has another technical meaning; if a theorem holding in some symbolic formal system imples that the theorem holds in some model, then the system is said to be sound. The reverse condition (holding in a model implies holding in a formal system) is called completeness?.

HomePage | Recent Changes | Preferences
Search: