Seja nosso patrocinador !

Saiba como você pode ser um patrocinador do nosso projeto e nos ajudar na divulgação da lógica e da matemática pela internet.

Anúncios

Introdução à Lógica

Estudaremos inicialmente alguns tópicos de lógica geral tendo como base alguns livros que trazem a concepção tradicional aristotélica.

Livros à Venda

Alguns livros à venda disponíveis no Mercado Livre. Curso de análise vol. 1 - Elon Lages Lima. Introdução à análise combinatória - José Plínio dos Santos. (VENDIDO) Gödel, Escher, Bach - Leondard Douglas Hofstadter (VENDIDO) Computabilidade e lógica - George Boolos, John Burgess e Richard Jeffrey. Os elementos do programa de Hilbert - Manuel S. Lourenço. Gödel's Theorem: … Continue lendo Livros à Venda

Podcast #32 – Definições

Nesse episódio do podcast  falarei um pouco sobre o que é uma definição, trazendo a discussão um pouco mais para o campo da lógica matemática e dando ênfase nas definições formais – que são definições que ocorrem no escopo de uma linguagem formal.

Método Axiomático e Teorias Formais

Esta série tem por objetivo realizar um breve estudo sobre o método axiomático, partindo desde a Grécia Antiga, com Euclides, e chegando finalmente à sua formulação atual – capturada pela noção de teoria formal – dada pelo matemático alemão David Hilbert em seu conhecido trabalho intitulado "Fundamentos da Geometria".

Podcast #31 – Notas Sobre a Tese de Church

Nesse episódio eu comento brevemente a chamada Tese de Church (ou tese de Church-Turing), que conecta a ideia intuitiva de computabilidade (ou algoritmo) com noções formais, dadas, por exemplo, pelo lambda-cálculo, de Alonzo Church, e pelas máquinas de Turing, do Alan Turing.