The following pages link to (Q4859908):
Displaying 15 items.
- Informal and absolute proofs: some remarks from a Gödelian perspective (Q2288278) (← links)
- Is complexity a source of incompleteness? (Q2386137) (← links)
- Gödel on deduction (Q2631643) (← links)
- Gödel and Quine on meaning and mathematics (Q2754659) (← links)
- Gödel's unpublished papers on foundations of mathematics (Q2765288) (← links)
- On Gödel's ``Platonism'' (Q2837151) (← links)
- Argumentation in Mathematics (Q2950029) (← links)
- Forcing, Multiverse and Realism (Q3295824) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- (Q3998995) (← links)
- Les mathématiques sont-elles une syntaxe du langage? (Q4252092) (← links)
- Theses for Computation and Recursion on Concrete and Abstract Structures (Q4637218) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- Hitting a Moving Target: Gödel, Carnap, and Mathematics as Logical Syntax† (Q4968482) (← links)
- Post-Structural Readings of a Logico-Mathematical Text (Q5169419) (← links)