vol 4: Glossary
Site map
Directory
Search this site
Home
1: About
2: Synopsis
3: Development
Next:
Previous: Glossary: Toc
... to restore theology to the mainstream of science
Existence
[Borowski, existence]
Formalist definition
A structure may be said to exist if it is consistent.
Inconsistent mathematics
Classical logic and mathematics
'the fact that some putative entity has properties that can be deduced from the theory in question, that is, that some open sentence yields a statement that is true within the theory when the name of that putative entity is substituted for the variable.'
Intuitionist logic and mathematics
'the fact that it is possible to construct some putative entity by a stepwise procedure within the theory.'
Inconsistent mathematics
Click on an "Amazon" link in the booklist at the foot of the page to buy the book, see more details or search for similar items
Related sites:
Concordat Watch
Revealing Vatican attempts to propagate its religion by international treaty
