Walter Pitts aprendeu lógica e matemática sozinho quando criança. Aos 12 anos, encontrou um exemplar de Principia Mathematica, de Bertrand Russell e Alfred North Whitehead , na biblioteca local e escreveu uma carta a Russell sugerindo melhorias para o primeiro volume.

Quando Pitts tinha 15 anos, Russell foi convidado para a Universidade de Chicago e Pitts frequentou suas aulas, enquanto vivia como sem-teto perto da universidade. Russell aconselhou Pitts a trabalhar com Rudolf Carnap , que também frequentava as aulas de Russell. Pitts entrou no escritório de Carnap com uma cópia rabiscada do famoso livro de Carnap, A Sintaxe Lógica da Linguagem , e saiu sem dizer a Carnap como contatá-lo. Carnap levou meses para localizar Pitts e lhe oferecer um emprego temporário com uma renda modesta.

Pitts dominou a lógica abstrata de Carnap e a aplicou à estrutura neuronal do cérebro após muitas discussões com Nicolas Rashevsky , fundador do Boletim de Biofísica Matemática.

Pitts iniciou uma amizade para a vida toda com Jerome Lettvin , um estudante de medicina da Universidade de Illinois em Chicago.

Warren McCulloch , vinte e cinco anos mais velho que Pitts, passou a maior parte da sua vida argumentando que os neurônios no cérebro são portas lógicas como as dos computadores digitais, e que o cérebro pode ser compreendido como uma máquina de Turing (um computador digital universal).

McCulloch e Pitts foram, portanto, os criadores do amplamente aceito "modelo computacional da mente". Seu trabalho tornou-se a base da cibernética, que modela o cérebro como um computador digital, e da inteligência artificial, bem como dos "autômatos celulares", nos quais células individuais vivem ou morrem de acordo com os estímulos das células vizinhas. Veja "O Jogo da Vida", de John Conway .

Em seu artigo de 1943, "Um Cálculo Lógico das Ideias Imanentes à Atividade Nervosa", Pitts e seu colega mais velho, Warren McCulloch, escreveram

Devido à natureza "tudo ou nada" da atividade nervosa, os eventos neurais e as relações entre eles podem ser tratados por meio da lógica proposicional. Constata-se que o comportamento de toda rede pode ser descrito nesses termos, com a adição de meios lógicos mais complexos para redes que contêm círculos; e que, para qualquer expressão lógica que satisfaça certas condições, pode-se encontrar uma rede que se comporte da maneira que ela descreve. Mostra-se que muitas escolhas particulares entre possíveis hipóteses neurofisiológicas são equivalentes, no sentido de que, para cada rede que se comporta sob uma hipótese, existe outra rede que se comporta sob a outra e produz os mesmos resultados, embora talvez não no mesmo instante. Diversas aplicações do cálculo são discutidas.

"Um Cálculo Lógico das Ideias Imanentes à Atividade Nervosa", p. 99

McCulloch afirmou que suas ideias de que as redes neurais são semelhantes aos argumentos da lógica proposicional e, portanto, às redes de computadores, datam de muitos anos atrás.

Há muitos anos, um de nós, por considerações impertinentes a este argumento, foi levado a conceber a resposta de qualquer neurônio como factualmente equivalente a uma proposição que propunha seu estímulo adequado. Ele, portanto, tentou registrar o comportamento de redes complexas na notação da lógica simbólica das proposições. A lei do "tudo ou nada" da atividade nervosa é suficiente para garantir que a atividade de qualquer neurônio possa ser representada como uma proposição. As relações fisiológicas existentes entre as atividades nervosas correspondem, naturalmente, às relações entre as proposições; e a utilidade da representação depende da identidade dessas relações com as da lógica das proposições. A cada reação de qualquer neurônio há uma afirmação correspondente de uma proposição simples. Esta, por sua vez, implica ou alguma outra proposição simples ou a disjunção da conjunção, com ou sem negação, de proposições semelhantes, de acordo com a configuração das sinapses e o limiar do neurônio em questão.

"Um Cálculo Lógico das Ideias Imanentes à Atividade Nervosa", p. 99

Na década de 1930, McCulloch estudou lógica em Yale, no curso de lógica proposicional de Frederic Fitch , baseado na grande obra Principia Mathematica de Bertrand Russell e Alfred North Whitehead .

Fitch também foi orientador de tese de Ruth Barcan Marcus , cujo trabalho sobre a " necessidade de identidade " influenciou Saul Kripke .

Apesar de a informação fluir ao longo dos neurônios no cérebro, a rede neural não é uma rede de computadores, os processos cerebrais não são algoritmos, não existe uma unidade central de processamento (CPU) nem mesmo processamento paralelo distribuído.

Muito simplesmente, o homem não é uma máquina e o cérebro não é um computador.

No entanto, podemos considerar McCulloch como o primeiro pensador a oferecer uma solução para o problema mente-corpo que "incorpora" uma mente imaterial, um software lógico , em um computador de hardware mecânico material , como sugere o título de seu livro de 1965, " Embodiments of Mind " (Incorporações da Mente).

Normal | Professor | Pesquisador