Non-Standard Models for Formal Languages.

• Main Author: Kochen, Simon.
• Other Authors: Lambek, J. (Supervisor)
• Format: Others
• Language: en
• Published: McGill University 1955
• Subjects: Mathematics.
• Online Access: http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=109996

The well known Incompleteness Theorem of Godel showed that for any formal axiomatic system S which is adequate for number theory there exists a proposition expressible in S which is undecidable in S. That a proposition expressible in a system is independent of the axioms of the system is not a remarkable or novel result. Euclid's parallel postulate is independent of the remaining Euclidean axioms of geometry as was shown by the discovery of the non-Euclidean geometries.