Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs (Q3160441): Difference between revisions

@@ Property / Wikidata QID @@
+Q58539928
@@ Property / Wikidata QID: Q58539928 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2054239358
@@ Property / OpenAlex ID: W2054239358 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/0204255
@@ Property / arXiv ID: math/0204255 / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Widerspruchsfreiheit der Zahlentheorie
@@ Property / cites work: Zur Widerspruchsfreiheit der Zahlentheorie / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+HILBERT'S PROGRAMME
@@ Property / cites work: HILBERT'S PROGRAMME / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of proof theory
@@ Property / cites work: A survey of proof theory / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3160441