Resumen de A lógica matemática e o surgimento da Teoria da Computação
Este artigo, de cunho mais histórico e descritivo do que técnico, fornece um apanhado geral do desenvolvimento histórico da lógica matemática e suas contribuições para o surgimento da teoria da computação, bem como do próprio computador. Será feita uma análise da história da lógica matemática desde seus primórdios, iniciando com Aristóteles e seus discípulos, que já na Grécia antiga haviam argumentado sobre os princípios básicos da lógica matemática. Será observada também a contribuição de Alan Turing, um dos maiores colaboradores para o surgimento da teoria da computação, juntamente com o matemático Alonzo Church. Turing propôs e concebeu uma máquina de estados ideal (Máquinas de Turing), assumindo o fato de que nem tudo pode ser computável, refutando a afirmação de Leibnez feita no século XVIII. A análise continua a partir do novo rumo da lógica matemática no século XIX, com os trabalhos de George Boole e Gottlob Frege. Este trabalho também tem por objetivo fornecer uma introdução teórica sobre cálculos proposicionais e de predicados de primeira ordem, visando uma compreensão mais detalhada da lógica matemática no contexto histórico. Considerações a respeito do conceito de inteligência de máquinas são relatadas a partir de exemplo atual da robótica.
