Parte III · Era 1 — Precursores (até 1955)

draft

Antes de existir um computador eletrônico, já se sonhava com o raciocínio mecanizado. Esta era é a pré-história da IA: a lógica formal, a teoria da computação e a cibernética preparam o terreno conceitual.

Narrativa

A pergunta "pode uma máquina pensar?" é antiga, mas só ganha base rigorosa quando o raciocínio é reduzido a manipulação de símbolos (lógica) e quando se define o que uma máquina pode computar (Turing). Em paralelo, a ideia de que o cérebro é uma rede de unidades de processamento (McCulloch-Pitts) e de que sistemas se autorregulam por realimentação (Wiener) fornece a metáfora biológica e o vocabulário do controle.

Marcos

  • ~350 a.C. — Silogismo · Aristóteles · primeira teoria formal da inferência

    válida.

  • 1843 — Notas sobre a Máquina Analítica · Ada Lovelace · vislumbra que

    máquinas poderiam manipular símbolos além de números.

  • 1847 — *The Laws of Thought* · George Boole · álgebra da lógica — base de

    todo circuito digital.

  • 1879 — Lógica de predicados · Gottlob Frege · formaliza quantificação e

    prova.

  • 1936 — Máquina de Turing · Alan Turing · define computabilidade; o modelo

    abstrato de todo computador.

  • 1943 — Neurônio artificial · McCulloch & Pitts · primeiro modelo

    matemático de um neurônio; redes lógicas.

  • 1948 — *Cybernetics* · Norbert Wiener · controle e comunicação por

    realimentação em animais e máquinas.

  • 1948 — Teoria da Informação · Claude Shannon · quantifica informação

    (bit, entropia) — fundamenta tudo que vem depois.

  • 1949 — Aprendizado Hebbiano · Donald Hebb · "neurônios que disparam juntos

    conectam-se" — base da plasticidade e do aprendizado em redes.

  • 1950 — *Computing Machinery and Intelligence* · Alan Turing · propõe o

    Teste de Turing e debate a "máquina pensante".

Pessoas

Alan Turing (1912–1954) — pai da ciência da computação e da IA teórica. Computabilidade (1936), Teste de Turing (1950), criptanálise em Bletchley Park. 🖼️ Foto F-III.1 — retrato fotográfico (domínio público comum).

Claude Shannon (1916–2001) — pai da teoria da informação. Bit, entropia, capacidade de canal; também pioneiro do xadrez por computador (1950). 🖼️ Foto F-III.2.

Warren McCulloch & Walter Pitts — o primeiro neurônio matemático (1943). Mostraram que redes de neurônios lógicos podem computar qualquer função proposicional. 🎨 retrato ilustrado se não houver foto livre.

Norbert Wiener (1894–1964) — fundador da cibernética. Realimentação e controle — vocabulário que a IA e o RL ainda usam.

🎨 Figura F-III.3 — Da lógica à máquina. Brief: ilustração conceitual: à esquerda, símbolos lógicos e a álgebra de Boole gravados em pedra/papel; ao centro, a fita da Máquina de Turing; à direita, um neurônio estilizado de McCulloch-Pitts virando um nó de circuito. Mostra a "passagem" do pensamento abstrato para o mecanismo. Paleta do Compêndio.

Ligação com o Compêndio: esta era é a fonte dos insumos formais que a Parte I mapeia (lógica, teoria da informação, computabilidade) e das inspirações (neurônio, realimentação) discutidas em ../01-ciclo-de-vida/04-natureza-dos-insumos.kmd.