Hostname: page-component-586b7cd67f-rdxmf Total loading time: 0 Render date: 2024-11-30T15:33:34.577Z Has data issue: false hasContentIssue false
  • English
  • Français

Mathematics, Logic and Undecidability

Published online by Cambridge University Press:  03 November 2016

B. Meltzer
B. Meltzer*
Affiliation:
Metamathematics Unit, 5 Buccleugh PlaceEdinburgh, 8
Get access Rights & Permissions [Opens in a new window]

Extract

Among the greatest advances in knowledge this century one would include relativity, quantum mechanics and the explanation of hereditary replication in living things by the structure of the DNA molecule. But it would not be absurd to include in this category a discovery which is not at all well-known and goes back to 1930, namely, that logic and mathematics as we know them have undecidable propositions.

Type
Research Article
Information
The Mathematical Gazette , Volume 51 , Issue 375 , February 1967 , pp. 16 - 25
Copyright
Copyright © Mathematical Association 1967

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)