Testing the independence of a system of axioms, using a logical computer
Published online by Cambridge University Press: 24 October 2008
Extract
The object of this paper is to show how a well-known method of demonstrating the independence of one member of a system of axioms can be incorporated into a systematic method of testing for independence, suitable for solution on a logical computer of the type now being built at the University of Nottingham.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 57 , Issue 3 , July 1961 , pp. 443 - 448
- Copyright
- Copyright © Cambridge Philosophical Society 1961
References
REFERENCES
- 1
- Cited by