Informal and absolute proofs: some remarks from a Gödelian perspective (Q2288278): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113900464
@@ Property / Wikidata QID: Q113900464 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11245-017-9515-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2767368731
@@ Property / OpenAlex ID: W2767368731 / rank @@
+Normal rank
@@ Property / cites work @@
+Informal proofs and mathematical rigour
@@ Property / cites work: Informal proofs and mathematical rigour / rank @@
+Normal rank
@@ Property / cites work @@
+Q3586722
@@ Property / cites work: Q3586722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4330501
@@ Property / cites work: Q4330501 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel on Concepts
@@ Property / cites work: Gödel on Concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q2787073
@@ Property / cites work: Q2787073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912532
@@ Property / cites work: Q3912532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4830809
@@ Property / cites work: Q4830809 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel on deduction
@@ Property / cites work: Gödel on deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Axiomatizability using additional predicates
+Normal rank
@@ Property / cites work @@
+Q3916562
@@ Property / cites work: Q3916562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431481
@@ Property / cites work: Q5431481 / rank @@
+Normal rank
@@ Property / cites work @@
+Obituary: John R. Myhill (1923–1987)
@@ Property / cites work: Obituary: John R. Myhill (1923–1987) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5513756
@@ Property / cites work: Q5513756 / rank @@
+Normal rank
@@ Property / cites work @@
+Church's thesis and the ideal of informal rigour
@@ Property / cites work: Church's thesis and the ideal of informal rigour / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3600462
@@ Property / cites work: Q3600462 / rank @@
+Normal rank
@@ Property / cites work @@
+Why Do We Prove Theorems?
@@ Property / cites work: Why Do We Prove Theorems? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4859908
@@ Property / cites work: Q4859908 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216621
@@ Property / cites work: Q3216621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367940
@@ Property / cites work: Q4367940 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2288278