scientific article; zbMATH DE number 1865733

zbMath1014.03005MaRDI QIDQ4792066

Publication date: 10 February 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

music metamathematics concurrency graphics recursion theory philosophical logic consciousness Gödel's incompleteness theorems art systems design computers theory of the mind

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Decidability of theories and sets of sentences (03B25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to biology (92-01) Artificial intelligence (68Txx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01) Theory of computing (68Qxx) Computability and recursion theory (03Dxx) Mathematical biology in general (92Bxx)

Related Items

On some properties of a meta-Fibonacci sequence connected to Hofstadter sequence and Möbius function ⋮ An exploration of solutions to two related Hofstadter-Huber recurrence relations ⋮ A tight lower bound for top-down skew heaps ⋮ Porous invariants ⋮ The Tangled Allure of Recursion ⋮ Don’t Tell Me the Cybersecurity Moon Is Shining… ⋮ Intertwined infinite binary words ⋮ Symbiotic systems: Exploiting human creativity ⋮ Unnamed Item ⋮ Discovering linear-recurrent solutions to Hofstadter-like recurrences using symbolic computation ⋮ A self-referential agent-based model that consists of a large number of agents moving stochastically in a discrete bounded domain. ⋮ The emergence of choice: decision-making and strategic thinking through analogies ⋮ Rotational stochastic resonance in multistable systems ⋮ Specifications, models, and implementations of data abstractions ⋮ A personal account of Turing's imprint on the development of computer science ⋮ Unbounded procedure summaries from bounded environments ⋮ Homeochaos: Dynamic stability of a symbiotic network with population dynamics and evolving mutation rates ⋮ Games played by Boole and Galois ⋮ Regular languages and their generating functions: The inverse problem ⋮ Forms of life: Unprogrammability constitutes the outside of a system and its autonomy ⋮ A well-behaved cousin of the Hofstadter sequence ⋮ On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data ⋮ Mathematical beauty, understanding, and discovery ⋮ Laguerrian eigenvalue problems and Wright functions ⋮ On a generalization of Hofstadter's \(Q\)-sequence: a family of chaotic generational structures ⋮ Variable-domain fuzzy sets. I: Representation ⋮ Mathematical and Technological Computability ⋮ Musical surfaces ⋮ Logic of agreement: Foundations, semantic system and proof theory ⋮ Fractional dynamics of genetic algorithms using hexagonal space tessellation ⋮ Parallel worlds: Escher and mathematics, revisited ⋮ A note on applicability of the incompleteness theorem to human mind ⋮ Dynamics, adaptation and control for mental models: a cognitive architecture ⋮ Bringing networks to the next level: self-modeling networks for adaptivity and control of mental models ⋮ Sometimes size does not matter ⋮ Artificial intelligence. Debates about its use and abuse ⋮ Arithmetic representations of cellular automata ⋮ Fraiberg-Lenneberg speech