The MU puzzle is a puzzle stated by Douglas Hofstadter and found in Gödel, Escher, Bach involving a simple formal system called "MIU". Hofstadter's motivation is to contrast reasoning within a formal system (ie., deriving theorems) against reasoning about the formal system itself. MIU is an example of a Post canonical system and can be reformulated as a string rewriting system.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Trencaclosques MU (ca)
- Rompecabezas MU (es)
- MU puzzle (en)
- MU (головоломка) (ru)
|
rdfs:comment
| - El Trencaclosques MU és un trencaclosques formulat per Douglas Hofstadter i es troba en el llibre Gödel, Escher, Bach. És un exemple d'un i pot ser reformulada com un sistema de reescriptura de cadenes de caràcters. (ca)
- El rompecabezas MU es un rompecabezas formulado por Douglas Hofstadter y encontrado en Gödel, Escher, Bach que involucra un sistema formal simple llamado "MIU". La motivación de Hofstadter es contrastar el razonamiento dentro de un sistema formal (es decir, derivar teoremas) contra el razonamiento sobre el sistema formal en sí. MIU es un ejemplo de un sistema post canónico y puede reformularse como un sistema de reescritura de cadenas. (es)
- The MU puzzle is a puzzle stated by Douglas Hofstadter and found in Gödel, Escher, Bach involving a simple formal system called "MIU". Hofstadter's motivation is to contrast reasoning within a formal system (ie., deriving theorems) against reasoning about the formal system itself. MIU is an example of a Post canonical system and can be reformulated as a string rewriting system. (en)
- Головоломка MU (англ. Mu Puzzle) — головоломка, которую создал Дуглас Хофштадтер. Упомянута в книге Гедель, Эшер, Бах. Ход головоломки - переписывание одной строки в другую по заданным правилам. Головоломка построена так, что она не имеет решения. (ru)
|
dct:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - El Trencaclosques MU és un trencaclosques formulat per Douglas Hofstadter i es troba en el llibre Gödel, Escher, Bach. És un exemple d'un i pot ser reformulada com un sistema de reescriptura de cadenes de caràcters. (ca)
- El rompecabezas MU es un rompecabezas formulado por Douglas Hofstadter y encontrado en Gödel, Escher, Bach que involucra un sistema formal simple llamado "MIU". La motivación de Hofstadter es contrastar el razonamiento dentro de un sistema formal (es decir, derivar teoremas) contra el razonamiento sobre el sistema formal en sí. MIU es un ejemplo de un sistema post canónico y puede reformularse como un sistema de reescritura de cadenas. (es)
- The MU puzzle is a puzzle stated by Douglas Hofstadter and found in Gödel, Escher, Bach involving a simple formal system called "MIU". Hofstadter's motivation is to contrast reasoning within a formal system (ie., deriving theorems) against reasoning about the formal system itself. MIU is an example of a Post canonical system and can be reformulated as a string rewriting system. (en)
- Головоломка MU (англ. Mu Puzzle) — головоломка, которую создал Дуглас Хофштадтер. Упомянута в книге Гедель, Эшер, Бах. Ход головоломки - переписывание одной строки в другую по заданным правилам. Головоломка построена так, что она не имеет решения. (ru)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage disambiguates
of | |
is foaf:primaryTopic
of | |