MU puzzle
http://dbpedia.org/resource/MU_puzzle an entity of type: WikicatLogicPuzzles
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
Головоломка MU (англ. Mu Puzzle) — головоломка, которую создал Дуглас Хофштадтер. Упомянута в книге Гедель, Эшер, Бах. Ход головоломки - переписывание одной строки в другую по заданным правилам. Головоломка построена так, что она не имеет решения.
rdf:langString
rdf:langString
Trencaclosques MU
rdf:langString
Rompecabezas MU
rdf:langString
MU puzzle
rdf:langString
MU (головоломка)
xsd:integer
4601204
xsd:integer
1115692972
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
Головоломка MU (англ. Mu Puzzle) — головоломка, которую создал Дуглас Хофштадтер. Упомянута в книге Гедель, Эшер, Бах. Ход головоломки - переписывание одной строки в другую по заданным правилам. Головоломка построена так, что она не имеет решения.
xsd:nonNegativeInteger
12287