Carnielli lança seu clássico da matemática em São Paulo

A Editora UNESP promove em São Paulo o lançamento de Computabilidade, funções computáveis, lógica e os fundamentos da matemática, livro de Walter Carnielli e Richard L. Epstein. O evento acontece no dia 3 de agosto, às 18h30, na Livraria Cultura do Conjunto Nacional (Av. Paulista, 2073).

Walter Carnielli autografará a obra e estará à disposição da imprensa para entrevistas. O autor é mestre e doutor em Matemática pela Unicamp, com pós-doutorado nos EUA (Berkeley) e Alemanha (Münster e Bonn) como bolsista da Fundação Alexander Von Humboldt. Atualmente é professor titular do departamento de Filosofia do IFCH-Unicamp e membro do Centro de Lógica e Computação (CLC) do Instituto Superior Técnico (IST) em Lisboa, Portugal. Carnielli é  autor de dezenas de artigos de pesquisa em Lógica, Computabilidade, Teoria dos conjuntos e combinatória.

Sobre o livro

Desde a década de 80, a versão em inglês de Computabilidade, funções computáveis, lógica e os fundamentos da Matemática, do matemático e lógico brasileiro Walter Carnielli e do norte-americano Richard L. Epstein, tem sido referência para um vasto campo de estudos que envolve a Filosofia, a Matemática e a Ciência da Computação. Este livro, há muito esperado pelo público brasileiro, é agora lançado em português pela Editora UNESP com o apoio da FAPESP.

A maneira como torna acessível e intuitiva a introdução à teoria da computabilidade e à lógica, fez de Computabilidade livro recomendado e adotado em cursos de Ciências da Computação, Matemática e Filosofia  em instituições como as universidades de Cambridge e Edinburgh, no Reino Unido, a Carnegie Mellon e a Columbia University, nos EUA, e a National Chung Cheng University de Taiwan. Também aparece como literatura recomendada aos alunos de Filosofia da Matemática no The London Philosophy Study Guide.

Aqui, vemos como a angústia filosófica em relação ao infinito está estritamente relacionada a conceitos que têm um impacto direto na Matemática e nas Ciências da Computação. Isto porque a pesquisa histórica e a abordagem filosófica dos autores não são apenas um refinamento erudito, mas servem para motivar o estudo da matemática técnica e a esclarecer complexas construções matemáticas, oferecendo assim uma base sólida para os iniciantes neste campo e ao público geral. Ou, como salienta Jeremy Avigad, da Carnegie, o livro fornece uma base sólida para os estudantes de Matemática, Ciência da Computação e no design de sistemas de computadores e teorias relacionadas, promovendo “uma interação substantiva entre a Filosofia e essas ciências”.

Mais do que uma tradução da edição norte-americana original, a edição brasileira foi retrabalhada por Carnielli para adequar o estilo “ao modo brasileiro de abordar certos conceitos e motivações”, expandindo também a bibliografia. Para os que apreciam uma abordagem estritamente matemática, há a descrição detalhada da máquina de Turing e a explicação das Funções Computáveis. Também apresenta a lógica proposicional e um sumário da lógica de predicados, além de um detalhado tratamento dos teoremas da incompletude de Gödel. Isso sem falar na apresentação completa da parte sintática da lógica de primeira ordem. Para completar, os exercícios incluídos partem de tarefas fáceis até um nível de pós-graduação e o livro ainda traz como apêndice a história do desenvolvimento da teoria das funções computáveis e da indecibilidade até 1970.

Título: Computabilidade, funções computáveis, lógica e os fundamentos da Matemática
Autores: Walter Carnielli e Richard L. Epstein
Número de páginas: 415
Formato: 16 x 23 cm
Preço: R$ 58
ISBN: 85-7139-650-7
Data de publicação: 2006