Open Collections

Postulational methods

University of British Columbia

Since the middle of the 19th century there has been a rapid growth in the use of the postulational method in mathematics. Concurrently with this growth such concepts have arisen as the consistency, independence or completeness of abstract sets of postulates. The definitions of these concepts, as well as the methods used to test postulates for these properties, are widely scattered throughout mathematical and logical, literature. The object of this thesis has been to make a survey of this new field (which we might call Axiomatics) and to indicate some of the techniques used in it. The method has been to take a simple set of postulates (those for the relation of serial order) and then devise proofs for the consistency, completeness, etc. of these postulates. Each proof illustrating one of the methods currently in use for testing postulates.

Text

2012-03-01

For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.

http://hdl.handle.net/2429/41042

Mathematics

University of British Columbia

Graduate