http://dbpedia.org/ontology/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.
, El rompecabezas MU es un rompecabezas form … 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.como un sistema de reescritura de cadenas.
, The MU puzzle is a puzzle stated by Dougla … 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.reformulated as a string rewriting system.
, Головоломка MU (англ. Mu Puzzle) — головоломка, которую создал Дуглас Хофштадтер. Упомянута в книге Гедель, Эшер, Бах. Ход головоломки - переписывание одной строки в другую по заданным правилам. Головоломка построена так, что она не имеет решения.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.archive.org/web/20180514064627/https:/exorciser.ch/geb/mu_puzzle%7Carchive-date=14 +
, https://web.archive.org/web/20160304043854/http:/miu.edlogic.co.uk/ +
, https://exorciser.ch/geb/mu_puzzle%7Ctitle=MU +
, http://miu.edlogic.co.uk/ +
|
http://dbpedia.org/ontology/wikiPageID
|
4601204
|
http://dbpedia.org/ontology/wikiPageLength
|
12287
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1115692972
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Unsolvable_puzzles +
, http://dbpedia.org/resource/Modular_arithmetic +
, http://dbpedia.org/resource/String_rewriting_system +
, http://dbpedia.org/resource/Category:Logic_puzzles +
, http://dbpedia.org/resource/Douglas_Hofstadter +
, http://dbpedia.org/resource/Post_canonical_system +
, http://dbpedia.org/resource/Godel%27s_Incompleteness_Theorem +
, http://dbpedia.org/resource/If%2C_and_only_if +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/G%C3%B6del%2C_Escher%2C_Bach +
, http://dbpedia.org/resource/Divisible +
, http://dbpedia.org/resource/Invariant_%28mathematics%29 +
, http://dbpedia.org/resource/Rules_of_inference +
, http://dbpedia.org/resource/Recursive_definition +
, http://dbpedia.org/resource/Formal_system +
, http://dbpedia.org/resource/Unrestricted_grammar +
, http://dbpedia.org/resource/Susanna_S._Epp +
, http://dbpedia.org/resource/Axiom +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_web +
, http://dbpedia.org/resource/Template:Code +
, http://dbpedia.org/resource/Template:Douglas_Hofstadter +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Refimprove_section +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Unsolvable_puzzles +
, http://dbpedia.org/resource/Category:Logic_puzzles +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Puzzle +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/MU_puzzle?oldid=1115692972&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/MU_puzzle +
|
owl:sameAs |
http://ca.dbpedia.org/resource/Trencaclosques_MU +
, http://yago-knowledge.org/resource/MU_puzzle +
, http://www.wikidata.org/entity/Q11953040 +
, http://es.dbpedia.org/resource/Rompecabezas_MU +
, https://global.dbpedia.org/id/EX9D +
, http://dbpedia.org/resource/MU_puzzle +
, http://ru.dbpedia.org/resource/MU_%28%D0%B3%D0%BE%D0%BB%D0%BE%D0%B2%D0%BE%D0%BB%D0%BE%D0%BC%D0%BA%D0%B0%29 +
, http://rdf.freebase.com/ns/m.0cb_dr +
|
rdf:type |
http://dbpedia.org/class/yago/Puzzle106784639 +
, http://dbpedia.org/class/yago/Message106598915 +
, http://dbpedia.org/class/yago/Problem106784003 +
, http://dbpedia.org/class/yago/Subject106599788 +
, http://dbpedia.org/ontology/VideoGame +
, http://dbpedia.org/class/yago/WikicatLogicPuzzles +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/Question106783768 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
|
rdfs:comment |
The MU puzzle is a puzzle stated by Dougla … 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.reformulated as a string rewriting system.
, 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.
, Головоломка MU (англ. Mu Puzzle) — головоломка, которую создал Дуглас Хофштадтер. Упомянута в книге Гедель, Эшер, Бах. Ход головоломки - переписывание одной строки в другую по заданным правилам. Головоломка построена так, что она не имеет решения.
, El rompecabezas MU es un rompecabezas form … 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.como un sistema de reescritura de cadenas.
|
rdfs:label |
MU (головоломка)
, MU puzzle
, Rompecabezas MU
, Trencaclosques MU
|