scientific article

zbMath0457.03001MaRDI QIDQ3905246

Douglas Hofstadtesr

Publication date: 1981

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

zbMATH Keywords

musicconcurrencygraphicsformal logicconsciousnessGödel's incompleteness theoremsartcomputerssystems design and development

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Decidability (number-theoretic aspects) (11U05) 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) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Decidability of theories and sets of sentences (03B25) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to number theory (11-01) Computability and recursion theory (03D99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to biology (92-01) Research exposition (monographs, survey articles) pertaining to biology (92-02) Theory of software (68N99)

Related Items (7)

The Collatz problem in the light of an infinite free semigroup ⋮ Quantum gravity and phenomenological philosophy ⋮ Unnamed Item ⋮ Iterated Floor Function, Algebraic Numbers, Discrete Chaos, Beatty Subsequences, Semigroups ⋮ Mutable objects in R ⋮ Gödel's theorem and information ⋮ Long-term memory modules

This page was built for publication: