The following pages link to (Q5597507):
Displaying 16 items.
- The machine as data: a computational view of emergence and definability (Q514566) (← links)
- Extending and interpreting Post's programme (Q636317) (← links)
- Realizability and intuitionistic logic (Q792319) (← links)
- Emergence as a computability-theoretic phenomenon (Q1036528) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- ET and an infinitary Church's thesis (Q1908701) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- Definability as hypercomputational effect (Q2497876) (← links)
- Reflexive intermediate propositional logics (Q2505130) (← links)
- (Q4135468) (← links)
- Kalmár's Argument Against the Plausibility of Church's Thesis (Q5207922) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- (Q5652656) (← links)
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)
- An analysis of Tennenbaum's theorem in constructive type theory (Q6563042) (← links)
