Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:puzzle
|
| gptkbp:alphabet |
M
U I |
| gptkbp:basedOn |
formal systems
|
| gptkbp:category |
gptkb:recreational_mathematics
gptkb:logic |
| gptkbp:createdBy |
gptkb:Douglas_Hofstadter
|
| gptkbp:demonstrates |
limitations of formal systems
|
| gptkbp:goalString |
gptkb:MU
|
| gptkbp:hasRule |
III in a string may be replaced with U
If you have Mx, you may write Mxx UU in a string may be dropped If a string ends with I, you may add a U at the end |
| gptkbp:initialString |
gptkb:MI
|
| gptkbp:introducedIn |
gptkb:Gödel,_Escher,_Bach
|
| gptkbp:isUnsolvable |
true
|
| gptkbp:publicationYear |
1979
|
| gptkbp:relatedTo |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:bfsParent |
gptkb:Gödel,_Escher,_Bach
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
MU Puzzle
|