Pages that link to "Item:Q3422401"
From MaRDI portal
The following pages link to Godel's interpretation of intuitionism (Q3422401):
Displaying 11 items.
- Variations on a thesis: intuitionism and computability (Q1102263) (← links)
- The typed lambda-calculus is not elementary recursive (Q1259590) (← links)
- Strong normalization for non-structural subtyping via saturated sets (Q1351999) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Gödel's unpublished papers on foundations of mathematics (Q2765288) (← links)
- Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic (Q3542785) (← links)
- (Q4215634) (← links)
- (Q5039161) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)
