Teoria Inicial
anos 1930–anos 1950 · Turing e o Nascimento da Computação
Antes que os computadores eletrônicos existissem, matemáticos já exploravam uma questão profunda: as máquinas podem «pensar»? Essa pergunta levou ao surgimento de fundamentos teóricos que estabeleceram as bases matemáticas e lógicas para o posterior nascimento da inteligência artificial. Os pioneiros desta era — Turing, Church, Gödel — realizaram um trabalho que não foi apenas exploração matemática, mas também investigação filosófica sobre a natureza da mente humana.
A exploração teórica desta era pode ser dividida em três vertentes principais: o desenvolvimento da teoria da computação (impulsionada por Turing e Church), os limites da lógica formal (o trabalho de Gödel) e o nascimento da teoria da informação (a contribuição de Shannon). Essas três direções se entrelaçam para formar a pedra angular teórica da inteligência artificial.
Marcos importantes
Teoremas da Incompletude de Gödel
Kurt Gödel publicou seus teoremas da incompletude, provando que qualquer sistema formal suficientemente poderoso contém proposições que não podem ser provadas nem refutadas dentro desse sistema. Essa descoberta não apenas chocou a comunidade matemática, mas também teve implicações profundas para a teoria da computação e a inteligência artificial.
Kurt Gödel (1906–1978)
Tese de Church-Turing
Alonzo Church e Alan Turing propuseram independentemente a famosa Tese de Church-Turing. Essa tese afirma que qualquer função efetivamente computável é Turing-computável. Isso formaliza a noção intuitiva de «computabilidade» e tornou-se a base da ciência da computação.
Alonzo Church & Alan Turing
Máquina de Turing
Alan Turing introduziu o conceito da Máquina de Turing em seu artigo seminal «On Computable Numbers, with an Application to the Entscheidungsproblem». Esse modelo computacional abstrato pode simular qualquer processo matematicamente computável.
Alan Turing (1912–1954)
Cálculo Lambda
Alonzo Church propôs o cálculo lambda, um sistema formal para definição e aplicação de funções. O cálculo lambda é considerado a base teórica da programação funcional. O cálculo lambda original de 1936 não tinha tipos; Church adicionou tipos simples em 1940 («A Formulation of the Simple Theory of Types»), criando um dos primeiros sistemas explicitamente tipados.
Alonzo Church (1903–1995)
Modelo de Neurônio
Warren McCulloch e Walter Pitts publicaram «A Logical Calculus of the Ideas Immanent in Nervous Activity», introduzindo o primeiro modelo de neurônio artificial (neurônio McCulloch-Pitts). Esse modelo simplificou os neurônios em interruptores de limiar binário, lançando as bases para pesquisas posteriores em redes neurais.
Warren McCulloch & Walter Pitts
Cibernética
Norbert Wiener publicou «Cybernetics: Or Control and Communication in the Animal and the Machine», fundando a nova disciplina da cibernética. O estudo de como os sistemas se regulam por meio de mecanismos de feedback teve impacto profundo na IA e na robótica.
Norbert Wiener (1894-1964)
Teoria da Informação de Shannon
Claude Shannon publicou «A Mathematical Theory of Communication», lançando as bases da teoria da informação. Conceitos como entropia, codificação e quantidade de informação tornaram-se ferramentas centrais para compreender dados e processar informação.
Claude Shannon (1916–2001)
Teste de Turing
Em «Computing Machinery and Intelligence», Turing substituiu a pergunta ambígua «As máquinas podem pensar?» pelo jogo da imitação, no qual um interrogador usa uma conversa por texto para distinguir uma máquina de um ser humano. Trata-se de um critério comportamental, não de uma prova de consciência.
Alan Turing
A proposta de Dartmouth de 1955
Em 1955, John McCarthy, Marvin Minsky, Nathaniel Rochester e Claude Shannon usaram o termo «artificial intelligence» na proposta do Dartmouth Summer Research Project e delinearam um programa de pesquisa para o verão de 1956.
John McCarthy et al.
Figuras importantes
Alan Turing
Pai da Ciência da Computação
Turing não foi apenas o fundador da ciência da computação, mas também um pioneiro do pensamento sobre inteligência artificial. Seu modelo da Máquina de Turing estabeleceu as bases da teoria da computação, e o Teste de Turing forneceu um marco de referência para máquinas inteligentes. Durante a Segunda Guerra Mundial, seu trabalho ajudou a decifrar o código Enigma alemão. Em 1954, Turing morreu após ser perseguido por sua homossexualidade. Em 2013, a Rainha Elizabeth II concedeu-lhe um perdão real póstumo.
Alonzo Church
Pai do Cálculo Lambda
Church foi professor na Universidade de Princeton. Seu Cálculo Lambda é a base teórica da programação funcional. Seu aluno foi Turing, e juntos propuseram a Tese de Church-Turing, que permanece central na teoria da computação.
Kurt Gödel
Lógico
Os Teoremas da Incompletude de Gödel são considerados uma das descobertas matemáticas mais importantes do século XX. Eles mostram que mesmo sistemas precisos como a matemática possuem limitações inerentes — uma percepção filosófica que impacta profundamente o desenvolvimento da IA.
Claude Shannon
Pai da Teoria da Informação
Shannon não foi apenas o fundador da teoria da informação, mas também um dos primeiros exploradores da inteligência artificial. Ele construiu um rato mecânico (Teseu) que conseguia resolver labirintos — uma das primeiras demonstrações de máquina de aprendizado. Sua dissertação de mestrado de 1937 «A Symbolic Analysis of Relay and Switching Circuits» é considerada fundamental para a teoria dos circuitos de comutação digitais.
Norbert Wiener
Pai da Cibernética
Wiener foi matemático no MIT e fundou a cibernética, um campo interdisciplinar. Seu conceito de «feedback» influenciou as primeiras pesquisas em IA. Wiener também foi o primeiro a alertar sobre os perigos que a IA poderia trazer.
Citações célebres
Proponho considerar a questão: «As máquinas podem pensar?»
Qualquer sistema formal suficientemente poderoso é incompleto.
O perigo das máquinas não está nas próprias máquinas, mas na dependência do homem em relação a elas.