The following pages link to Alan M. Turing (Q2593897):
Displayed 33 items.
- Systems of logic based on ordinals. (Q2593898) (← links)
- The extensions of a group. (Q2595647) (← links)
- Finite approximations to Lie groups. (Q2599099) (← links)
- On computable numbers, with an application to the Entscheidungsproblem. A correction. (Q2603364) (← links)
- Computability and \(\lambda\)-definability. (Q2603370) (← links)
- The \(p\)-function in \(\lambda\)-\(K\)-conversion. (Q2603371) (← links)
- On computable numbers, with an application to the Entscheidungsproblem. (Q2608913) (← links)
- Equivalence of left and right almost periodicity. (Q2612410) (← links)
- Finite approximations to Lie groups (Q2645862) (← links)
- The word problem in semi-groups with cancellation (Q2648519) (← links)
- (Q2763548) (← links)
- (Q3272474) (← links)
- (Q4002815) (← links)
- (Q4002816) (← links)
- (Q4023938) (← links)
- Intelligent Machinery, A Heretical Theory* (Q4344180) (← links)
- The chemical basis of morphogenesis (Q4609898) (← links)
- (Q5075259) (← links)
- (Q5075267) (← links)
- (Q5624687) (← links)
- Equivalence of Left and Right almost Periodicity (Q5760065) (← links)
- On Computable Numbers, with an Application to the Entscheidungsproblem (Q5765445) (← links)
- On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction (Q5768086) (← links)
- Computability and λ-definability (Q5768087) (← links)
- The þ-function in λ-<i>K</i>-conversion (Q5768088) (← links)
- (Q5769735) (← links)
- Systems of Logic Based on Ordinals<sup>†</sup> (Q5773619) (← links)
- ROUNDING-OFF ERRORS IN MATRIX PROCESSES (Q5789615) (← links)
- Some Calculations of the Riemann Zeta-Function (Q5817627) (← links)
- Practical forms of type theory (Q5825231) (← links)
- The use of dots as brackets in Church's system (Q5834302) (← links)
- A Method for the Calculation of the Zeta-Function (Q5838484) (← links)
- A formal theorem in Church's theory of types (Q5844997) (← links)