The following pages link to Church's thesis without tears (Q3043140):
Displayed 6 items.
- Metric spaces in synthetic topology (Q651311) (← links)
- On fixed-point theorems in synthetic computability (Q1683373) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- Continuity and nondiscontinuity in constructive mathematics (Q3984410) (← links)
- Continuity properties in constructive mathematics (Q4032642) (← links)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)