Aula Magna com o Prof. Newton da Costa

19/08/2019 09:37

No dia 5 de agosto aconteceu a Aula Magna com o Prof. Newton da Costa na Sala EEL/CTC – 004.

Tema: “Alguns teoremas de incompletude”, em linguagem simples, demonstrando os desafios científicos que se colocam aos novos acadêmicos.

Baseia-se na lógica clássica de primeira ordem, lógica intuicionista, sistema formal, enumeração efetiva de um conjunto, verdade aritmética, fórmula aritmética que expressa a consistência de um sistema formal, aritmética de Peano de primeira ordem e de ordem superior, verdade na aritmética de Peano, aritmética de Heyting, consistência sintática, computador teórico ou máquina de Turing e as aplicações em Tecnologia, Ciência da Computação e Teoria da Informação.

Newton Carneiro Affonso da Costa, nascido em Curitiba, 16 de setembro de 1929 é matemático, lógico e filósofo da ciência, conhecido por seus trabalhos ao criar a lógica paraconsistente. É Doutor Honoris Causa pela UFSC e professor voluntário no Departamento de Filosofia da UFSC.

 

 

A integra da Aula Magna pode ser acessada no link : https://www.youtube.com/watch?v=d988xd9LR_A&t=283s