Lógica Paraconsistente: Professor Newton Carneiro Afonso da Costa

Newton da Costa nasceu em 16 de setembro de 1929, na cidade de Curitiba, Estado do Paraná. Filho de Dimas Carneiro Affonso da Costa e Sylvia Carneiro Affonso da Costa aos quinze anos interessou-se por questões de Lógica e pelos Fundamentos da Matemática. Com o apoio de um de seus tios, Milton Carneiro, então professor de História da Filosofia da Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, iniciou-se em filosofia por meio de diálogos de Platão e de vários textos de Aristóteles, ambos em traduções francesas. Encantado com a filosofia debruçou-se sobre as obras de autores como Descartes, Poincaré, Lalande e outros, mas foi Bertrand Russell que exerceu forte impacto sobre o jovem Newton, embora este “divirja fundamentalmente de Russell como filósofo”, no entanto admirando-o como lógico, reformador social e ensaísta-publicista.

Newton da Costa e Família

Da Costa obteve três graduações pela Universidade Federal do Paraná: em 1952, Engenharia Civil pela Escola de Engenharia, no ano de 1955 o Bacharelado em Matemática e em 1956 a Licenciatura em Matemática ambos pela Faculdade de Filosofia, Ciências e Letras. Ainda na Faculdade de Filosofia, Ciências e Letras da Universidade Federal do Paraná, no ano de 1961, Newton da Costa recebe o título de Doutor em Matemática e se torna Livre Docente de Análise Matemática e Análise Superior. Em 1964, torna-se Professor Catedrático na mesma área de sua livre-docência. O Professor Newton da Costa, já chamado por seus pares e alunos como Professor da Costa, lecionou 14 anos na Universidade Federal do Paraná.

Formatura de Newton da Costa em engenharia civil (1952)

Newton da Costa foi:

1. Diretor Associado do Instituto de Matemática, Estatística e Ciências da Computação da Unicamp em 1967;
2. Professor Titular do Instituto de Matemática, Estatística e Ciências da Computação da Unicamp de 1968-1969;
3. Professor Titular do Instituto de Matemática e Estatística da USP de 1970-1981;
4. Professor Titular do Departamento de Filosofia da Faculdade de Filosofia, Letras e Ciências Humanas da USP de 1982-1999;
5. Pesquisador do Instituto de Estudos Avançados da USP desde 1985.

Newton da Costa na conferência na Universidade de Torum, na Polônia (1976)

Pioneiros Quânticos: Richard Feynman!

Richard Feynman é tido como um dos maiores cientistas do século 20. Nascido em NY, se formou em física no famoso MIT, e obteve um doutorado em filosofia por Princeton, (tese disponível aqui), em 1942. Feynman também participou do projeto Manhattan, o famoso grupo que desenvolveu as primeiras bombas atômicas, e em 1965 este incrível físico ganhou o prêmio Nobel de física, por seu trabalho relativo a eletrodinâmica Quântica.

Em 1950 Feynman veio ao Brasil, aonde passou vários meses no Rio de Janeiro lecionando física no CBPF. No livro “O Senhor Esta Brincando, Sr Feynman“, a sua experiência em terras brasileiras é retratada. Uma outra curiosidade é que Feynman era percursionista de bongô(!!) e durante a sua estadia no Brasil teve experiências com percussão e o samba.

Feynman tocando bongô em um terreiro de umbanda, em sua passagem pelo Brasil.
(Brincadeira gente, ahahhaa.)

Muitos detalhes interessantes e curiosos sobre a sua vida estão disponíveis no documentário abaixo, com legendas em português (basta ativá-las no youtube):

Considerado um orador brilhante, Feynman contribuiu muito com a popularização científica da física. Escreveu o famoso livro “física em 12 lições” , tendo como base as suas palestras, tendo como público alvo alunos de ensino médio. Um outro livro que ficou famoso por retratar o lado humano de Feynman, e suas visões poéticos sobre a vida foi “O Arco-Íris de Feynman“, livro que retrata também o período final da sua vida, que se encerrou em 1988, fruto de um câncer.

Richard Feynman é considerado um dos pioneiros da computação quântica, graças as idéias que expôs em 1981, em uma conferência no MIT. Essa conferência foi dada tendo como base um artigo que ele próprio escreveu em maio de 1981, chamado “Simulating Physics with Computers“, artigo disponível para leitura neste link.

Neste artigo pioneiro, a idéia de computadores quânticos é discutida, lançando as sementes para um grupo de estudos que só nesta década está encontrando aplicações práticas. Feynman sempre é lembrado por sua inteligência, carisma e bom humor. Não é a toa que foi o pioneiro de uma área tão curiosa como a computação quântica!

Nos vemos nos próximos posts pessoal!

Ps: A Caltech disponibilizou todas as suas palestras, neste link.

Pioneiros Quânticos: David Deutsch!

David Deutsch é um dos principais pioneiros do campo da computação quântica. Nascido em Haifa, Israel, e educado na Inglaterra, Deutsch estudou física nas universidades de Cambridge e Oxford, sendo desde 1999 um professor vinculado à universidade de Oxford, apesar de não dar aulas. Em Oxford, Deutsch é membro fundador do centro de computação quântica do laboratório de Clarendon.

David Deutsch com seu simpático sorriso 🙂

Deutsch também é um membro honorário da Wolfson College, Oxford, além de ser Fellow da Royal Society de Londres. David tem 2 livros publicados, “The Fabric of Reality” e “The Beginning of Infinity“, ambos podem ser encontrados na Amazon.

As contribuições de David para a computação quântica foram fundamentais, tendo escrito um dos principais artigos da área, em 1985, o “Quantum theory, the Church-Turing principle and the universal quantum computer“, aonde teoriza uma máquina de Turing quântica. O Artigo está disponível neste link.

Além disso, criou a teoria das portas lógicas quânticas, das redes computacionais quânticas, o primeiro esquema de correção de erros quântico, além de ter descoberto o primeiro algoritmo quântico. É também creditado, junto com Richard Jozsa, na criação do algoritmo de Deutsch-Jozsa, um dos primeiros exemplos de como algoritmos quânticos podem ser exponencialmente mais rápidos do que os clássicos. Por suas enormes contribuições, ganhou o prêmio Dirac do instituto de física em 1998, e em 2005 o prêmio “Edge of computation Science Prize”.

Na entrevista abaixo, David fala sobre algumas de suas visões da computação quântica:

David também disponibilizou gratuitamente 6 palestras introdutórias para o campo da computação quântica, dadas por ele próprio, com os respectivos tópicos (em inglês):

1- “The Qubit”
2- “Interference”
3-“Measurement”
4- “The Schroedinger Picture”
5- “A Quantum Algorithm”
6- “Grover’s Search Algorithm“.

As palestras estão disponíveis neste link.

David Deutsch expressando o seu amor às flores!

Curiosamente, além de todas as suas contribuições para os campos da física e da computação, Deutsch é um amante das flores. Ele gosta tanto de flores, que o seu canal oficial do youtube possui apenas 2 vídeos, sendo um deles uma palestra de 1 hora que ele deu, intitulada “porque as flores são bonitas?”. Disponível aqui.

Mais detalhes sobre a sua vida, artigos, livros, vídeos e curiosidades, podem ser vistas em seu site oficial.

Pioneiros Quânticos: Paul Benioff!

Em 1981, um físico do Argonne National Laboratory, Paul Benioff, foi o primeiro a aplicar os princípios da física quântica à computação, teorizando sobre a criação de uma máquina de Turing quântica. Essa figurinha querida da computação quântica pode ser encontrada no linkedin, neste link, e apesar de estar aposentado, quem sabe não seja possível trocar umas palavrinhas com o gênio?

Paul Benioff em foto, provavelmente lendo este nosso blog 🙂

Benioff deixou dezenas de artigos escritos sobre diversos aspectos da computação quântica, e muitos podem ser lidos nos links que seguem:

• Artigos de Benioff no site da Argonne National Lab
• Artigos de Benioff no site Arxiv

Em 2016 um simpósio em homenagem as suas contribuições foi realizado em Argonne, com o nome “Quantum Computing: Beginnings to Current Frontiers”. As mais importantes contribuições de Benioff para a computação quântica foram 3 artigos escritos no início da década de 80, foram eles:

• The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines

Neste artigo, Benioff desenvolveu o primeiro modelo quântico com mecânica hamiltoniana para uma máquina de Turing.

• Quantum mechanical Hamiltonian models of discrete processes that erase their own histories: Application to Turing machines

Neste artigo, Benioff estendeu o seu trabalho anterior.

• Quantum mechanical hamiltonian models of turing machines

Neste artigo, Benioff  também estendeu o seu trabalho anterior.

Estes 3 artigos da década de 80 formaram a fundação teórica em que se desenvolveu a computação quântica. Então, aqui fica a nossa homenagem a este grande gênio que foi (e é ainda!) Paul Benioff, e suas contribuições para o campo da computação quântica!

Não percam os nossos próximos artigos da série dos pioneiros quânticos!