Publication:4040360
From MaRDI portal
zbMath0648.00002MaRDI QIDQ4040360
No author found.
Publication date: 5 June 1993
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
01-06: Proceedings, conferences, collections, etc. pertaining to history and biography
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
00Bxx: Conference proceedings and collections of articles
Related Items
Alonzo church:his life, his work and some of his miracles, Computational depth and reducibility, Weakly useful sequences, Recursive computational depth, Why Turing’s Thesis Is Not a Thesis, Event‐enhanced quantum theory and piecewise deterministic dynamics, Mathematical and Technological Computability, Face Representations via Tensorfaces of Various Complexities, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, The Developments of the Concept of Machine Computability from 1936 to the 1960s, Computability and Recursion, Recursively enumerable reals and Chaitin \(\Omega\) numbers, On Goles' universal machines: a computational point of view, Randomness and universal machines, Turing oracle machines, online computing, and three displacements in computability theory, Dynamically changing interface as a model of measurement in complex systems, Experience, generations, and limits in machine learning, Analogue MIMO detection, An almost machine-independent theory of program-length complexity, sophistication, and induction, Formalism and intuition in computability, Depth, Highness and DNR Degrees, Decoding Genomic Information, Martin Davis’s Bibliography 1950–2015
