THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Import recommendations run Q6534273
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1017/bsl.2022.14 / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W3131699447 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Zur Widerspruchsfreiheit der Zahlentheorie / rank
 
Normal rank
Property / cites work
 
Property / cites work: On axiomatizability within a system / rank
 
Normal rank
Property / cites work
 
Property / cites work: The war of the frogs and the mice, or the crisis of the Mathematische Annalen / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4842677 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023115 / rank
 
Normal rank
Property / cites work
 
Property / cites work: TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The consistency of arithmetics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4756727 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Interpretation of Non-Finitist Proofs--Part I / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the interpretation of non-finitist proofs–Part II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3232283 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hilbert's Programs: 1917–1922 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5585417 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573940 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3764099 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1017/BSL.2022.14 / rank
 
Normal rank
Property / Recommended article
 
Property / Recommended article: On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program / rank
 
Normal rank
Property / Recommended article: On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program / qualifier
 
Similarity Score: 0.8483733
Amount0.8483733
Unit1
Property / Recommended article: On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program / qualifier
 
Property / Recommended article
 
Property / Recommended article: On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem / rank
 
Normal rank
Property / Recommended article: On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem / qualifier
 
Similarity Score: 0.81128335
Amount0.81128335
Unit1
Property / Recommended article: On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem / qualifier
 
Property / Recommended article
 
Property / Recommended article: Hilbert's program. An essay on mathematical instrumentalism / rank
 
Normal rank
Property / Recommended article: Hilbert's program. An essay on mathematical instrumentalism / qualifier
 
Similarity Score: 0.7929059
Amount0.7929059
Unit1
Property / Recommended article: Hilbert's program. An essay on mathematical instrumentalism / qualifier
 
Property / Recommended article
 
Property / Recommended article: Q3812200 / rank
 
Normal rank
Property / Recommended article: Q3812200 / qualifier
 
Similarity Score: 0.78156114
Amount0.78156114
Unit1
Property / Recommended article: Q3812200 / qualifier
 
Property / Recommended article
 
Property / Recommended article: Q2736243 / rank
 
Normal rank
Property / Recommended article: Q2736243 / qualifier
 
Similarity Score: 0.78154564
Amount0.78154564
Unit1
Property / Recommended article: Q2736243 / qualifier
 
Property / Recommended article
 
Property / Recommended article: Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs / rank
 
Normal rank
Property / Recommended article: Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs / qualifier
 
Similarity Score: 0.7810723
Amount0.7810723
Unit1
Property / Recommended article: Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs / qualifier
 
Property / Recommended article
 
Property / Recommended article: Q3558527 / rank
 
Normal rank
Property / Recommended article: Q3558527 / qualifier
 
Similarity Score: 0.7809189
Amount0.7809189
Unit1
Property / Recommended article: Q3558527 / qualifier
 
Property / Recommended article
 
Property / Recommended article: Q4365296 / rank
 
Normal rank
Property / Recommended article: Q4365296 / qualifier
 
Similarity Score: 0.77689135
Amount0.77689135
Unit1
Property / Recommended article: Q4365296 / qualifier
 
Property / Recommended article
 
Property / Recommended article: In the Shadow of Incompleteness: Hilbert and Gentzen / rank
 
Normal rank
Property / Recommended article: In the Shadow of Incompleteness: Hilbert and Gentzen / qualifier
 
Similarity Score: 0.7716261
Amount0.7716261
Unit1
Property / Recommended article: In the Shadow of Incompleteness: Hilbert and Gentzen / qualifier
 

Latest revision as of 20:18, 27 January 2025

scientific article; zbMATH DE number 7606773
Language Label Description Also known as
English
THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
scientific article; zbMATH DE number 7606773

    Statements

    THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (English)
    0 references
    0 references
    25 October 2022
    0 references
    Hilbert \textit{Ansatz}
    0 references
    1-consistent
    0 references
    \(\Pi^0_2\)
    0 references

    Identifiers