Podcast #032 • Lógica Matemática • Setembro de 2017

Definições

Sobre o Episódio

Neste episódio, discuto o conceito de definição, trazendo a análise para o campo da lógica matemática. O foco recai sobre as definições formais — aquelas que ocorrem estritamente no escopo de uma linguagem formal.

Sugestões de Leitura

Materiais Complementares

Trilha Sonora