JOURNAL ARTICLE

Jan von Plato. Can Mathematics be Proved Consistent?

  • Published In: Philosophia Mathematica, 2023, v. 31, n. 1. P. 104 1 of 3

  • Database: Academic Search Ultimate 2 of 3

  • Authored By: Dawson, John W 3 of 3

Abstract

Google Scholar OpenURL Placeholder Text WorldCat 11 Gödel, Kurt [ 1934 ]: ' On undecidable propositions of formal mathematical systems ', in [Davis, 1965], pp. 39 - 74. Google Scholar OpenURL Placeholder Text WorldCat 9 Gödel, Kurt [ 1931a ]: ' Diskussion zur Grundlegung der Mathematik ', Erkenntnis 2, 147 - 151. Google Scholar Google Preview OpenURL Placeholder Text WorldCat COPAC 6 Gödel, Kurt [ 1930 ]: ' Die Vollstandigkeit der Axiome des logischen Funktionenkalküls ', Monatshefte für Mathematik und Physik 37, 349 - 360. Google Scholar Google Preview OpenURL Placeholder Text WorldCat COPAC 19 Wang Hao [ 1996 ]; A Logical Journey, from Gödel to Philosophy. [Extracted from the article]

Additional Information

  • Source:Philosophia Mathematica. 2023/02, Vol. 31, Issue 1, p104
  • Document Type:Article
  • Subject Area:History
  • Publication Date:2023
  • ISSN:0031-8019
  • DOI:10.1093/philmat/nkac014
  • Accession Number:162393668
  • Copyright Statement:Copyright of Philosophia Mathematica is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Looking to go deeper into this topic? Look for more articles on EBSCOhost.