Turing's legacy. Developments from Turing's ideas in logic
From MaRDI portal
Publication:2803247
Collections of articles of miscellaneous specific interest (00B15) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10)
Recommendations
Cited in
(35)- T for Turing. Machine and, also, uneasiness and desire
- Alan Turing: Life and Legacy of a Great Thinker
- Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing
- Inverse problems are solvable on real number signal processing hardware
- Turing degrees of complete formulas of almost prime models
- On the effective universality of mereological theories
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
- Punctual dimension of algebraic structures in certain classes
- Origins of digital computing: Alan Turing, Charles Babbage, and Ada Lovelace
- Computable Heyting algebras with distinguished atoms and coatoms
- Measure-theoretic uniformity and the Suslin functional
- Categoricity spectra of computable structures
- Analytic computable structure theory and \(L^p\) spaces
- Prime model with no degree of autostability relative to strong constructivizations
- On two types of concept lattices in the theory of numberings
- Mathematical reasoning and the computer
- A structure of punctual dimension two
- The dawn of software engineering: from Turing to Dijkstra. Edited by Kurt De Grave. Including interviews with Tony Hoare, Barbara Liskov, Niklaus Wirth, and Peter Naur
- Investigations on the approximability and computability of the Hilbert transform with applications
- Computability and non-monotone induction
- Computability in infinite Galois theory and algorithmically random algebraic fields
- Enumerating classes of effective quasi-Polish spaces
- Cameo of a consummate computabilist
- Notes on computable analysis
- Cohesive powers of structures
- On bi-embeddable categoricity of algebraic structures
- COMPUTABLY COMPACT METRIC SPACES
- Mathematics and the formal turn
- On approximations for functions in the space of uniformly convergent Fourier series
- Turing degrees and automorphism groups of substructure lattices
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Degree spectra of structures relative to equivalences
- Philosophical explorations of the legacy of Alan Turing. Turing 100
- Degrees of non-computability of homeomorphism types of Polish spaces
- Decompositions of decidable abelian groups
This page was built for publication: Turing's legacy. Developments from Turing's ideas in logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2803247)