O vale onde cada padrão exigia seu próprio tear. · Source

Uma carroça, um tear e uma promessa em que ninguém crê

Num vale de tecelões, o bom senso é lei: um tear, um padrão. O tear de listras tece listras, o de rosas tece rosas, o de xadrez tece xadrez — e um padrão novo significa um ano na oficina, construindo uma máquina nova. Então chega uma forasteira com uma carroça pequena trazendo um único tear, e afirma que ele tece todos os padrões do vale. Os tecelões riem. Ela pede linha.

Ela troca uma corrente de cartões perfurados — o pano muda

Ela passa a linha e pendura sobre o tear uma longa corrente de cartões rígidos, cada um trazendo apenas um desenho de furos. O tear avança estalando pela corrente e tece listras perfeitas. Ela tira essa corrente e pendura outra — e o mesmo tear, as mesmas engrenagens, tece rosas. O padrão nunca esteve dentro da máquina. Ele viaja nos cartões. Os mais velhos se aproximam, caçando o truque…

Por dentro, o tear é de uma simplicidade constrangedora

Eles o examinam à luz do lampião e encontram a parte perturbadora: este tear é mais simples que os deles. Ele conhece só um punhado de gestos — apalpar os furos do cartão atual, erguer estes fios ou aqueles, lançar a lançadeira, passar ao cartão seguinte. Cada grande rosa era milhares desses gestos minúsculos, soletrados furo a furo. Então o construtor mais velho faz a pergunta afiada: um padrão mais grandioso não vai exigir um tear mais grandioso?

Um padrão mais grandioso só pede uma corrente mais longa

Não, diz ela. Um padrão mais grandioso precisa de uma corrente de cartões mais longa — nunca de um tear novo. A máquina está pronta; daqui em diante, só as instruções mudam. Em uma estação, a oficina do vale — décadas de um-tear-por-padrão — vira em silêncio uma mesa de perfurar cartões, e os orgulhosos teares especiais juntam poeira ao longo da parede. Até que, numa noite, alguém repara no que o tear dela anda fabricando…

Hoje à noite o tear faz cartões — para si mesmo

Cartões são só furos — e furos são algo que um tear sabe perfurar. Hoje à noite o tear dela produz cartões novos: instruções que ele mesmo lerá amanhã. Os mais velhos sentem o chão inclinar. O projeto inteiro de um tear pode ser soletrado numa corrente — então esta máquina, alimentada com os cartões certos, pode virar o tear de listras, o de rosas, qualquer tear que alguém venha a construir. Uma máquina vestindo outras máquinas como fantasias…

Uma máquina que lê máquinas: a máquina universal

(\text{state},\ \text{symbol}) \;\to\; (\text{write},\ \text{move},\ \text{next state})

O vale havia tropeçado na ideia fundadora da computação: uma máquina cuja mente inteira é uma pequena tabela de regras — leia abaixo: neste estado, vendo esta marca — escreva, mova, mude de estado — pode tomar a tabela de outra máquina como meras marcas e tornar-se ela. Essa é a máquina universal. Seu computador nunca ganha engrenagens novas; cada programa é outra corrente de cartões. A única pergunta que resta é com que velocidade — até que uma corrente se recusa a parar…

🌱 A pergunta que nenhuma corrente responde

Algumas correntes, descobrem os aldeões, giram para sempre — o tear estala sem parar e o pano nunca termina. Então pedem à forasteira um juiz: uma corrente que leia qualquer outra e preveja se sua tecelagem um dia acaba. Ela balança a cabeça — essa corrente, comprovadamente, não pode existir. 🌱 Se até uma máquina capaz de virar todas as máquinas guarda perguntas que nunca poderá resolver, qual das perguntas que você faz todo dia não tem cartão?