Comum · Jogos

MU puzzle

Puzzle in Douglas Hofstadter's book "Gödel, Escher, Bach"

Texto em inglês

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 (i.e., deriving theorems) against reasoning about the formal system itself.

Na Wikipédia

Texto em inglês Ainda não há artigo no seu idioma: trecho em inglês.

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 (i.e., 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.

Texto: Wikipédia em inglês, CC BY-SA 4.0. ·

Cartas próximas

Abrir

…

Toca para fechar

…

Confirmação