Turing's Legacy

DOI10.1017/CBO9781107338579zbMath1341.03002OpenAlexW4238504694MaRDI QIDQ2803247

No author found.

Publication date: 4 May 2016

Full work available at URL: https://doi.org/10.1017/cbo9781107338579

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10) History of computer science (68-03)

Related Items (26)

Prime Model with No Degree of Autostability Relative to Strong Constructivizations ⋮ On the effective universality of mereological theories ⋮ On two types of concept lattices in the theory of numberings ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Computable Heyting algebras with distinguished atoms and coatoms ⋮ Mathematics and the formal turn ⋮ A structure of punctual dimension two ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing ⋮ Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ Cameo of a Consummate Computabilist ⋮ Analytic computable structure theory and $L^p$ spaces ⋮ Turing degrees and automorphism groups of substructure lattices ⋮ Notes on computable analysis ⋮ On approximations for functions in the space of uniformly convergent Fourier series ⋮ Degree spectra of structures relative to equivalences ⋮ Punctual dimension of algebraic structures in certain classes ⋮ Categoricity spectra of computable structures ⋮ Decompositions of decidable abelian groups ⋮ Turing degrees of complete formulas of almost prime models ⋮ Investigations on the approximability and computability of the Hilbert transform with applications ⋮ T for Turing. Machine and, also, uneasiness and desire ⋮ On bi-embeddable categoricity of algebraic structures ⋮ Measure-theoretic uniformity and the Suslin functional ⋮ Enumerating classes of effective quasi-Polish spaces ⋮ Degrees of non-computability of homeomorphism types of Polish spaces

This page was built for publication: Turing's Legacy