Coleção CLE

A Coleção CLE dirige-se especialmente ao público brasileiro e latino-americano interessado nas áreas de Lógica, Epistemologia, Metodologia e História das Ciências ... uma coleção de livros, com títulos anuais, cujo objetivo é a publicação de pesquisas originais, monografias e teses nessas áreas do conhecimento.

Vol. 16 - Tese de Church: Algumas Questões Histórico-Conceituais.

Rodolfo Ertola Biraben

Tese de Church: Algumas Questões Histórico-Conceituais.

Neste livro, o leitor encontrará, inicialmente, um histórico do conceito de recursão, noção matemática tradicional que é usada para explicar a noção de calculabilidade efetiva. A seguir, é apresentado um histórico da tese de Church e, nos últimos capítulos, são analisadas algumas questões histórico-conceituais relativas à referida tese. Livro indicado tanto para os leitores interessados em lógica ou história da ciência como para os interessados nos fundamentos da informática.

R$10,00

Páginas