The following pages link to (Q4434377):
Displaying 6 items.
- The modal argument for hypercomputing minds (Q1434374) (← links)
- What paradoxes depend on (Q2054131) (← links)
- The case for hypercomputation (Q2497872) (← links)
- Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic (Q3387900) (← links)
- The Epistemology of Computer-Mediated Proofs (Q4972861) (← links)
- Content Implication and the Yablo’s Sequent of Sentences (Q5006817) (← links)