Ad infinitum
O objetivo desse canal é divulgar temas ligados aos fundamentos da matemática. Veremos temas em lógica informal, lógica formal e teoria de conjuntos, especialmente em relação aos infinitos.
O canal é alimentado com conteúdos elaborados e produzidos por dois amigos apaixonados por matemática e filosofia:
Alfredo Roque Freire é engenheiro de computação pelo ITA, doutor em filosofia pela UNICAMP e atualmente professor na Universidade de Brasília (UnB).
Currículo: http://lattes.cnpq.br/9597772498442436
Edgar L B Almeida é graduado em matemática pela unesp, mestre e doutor em filosofia Unicamp. Atua no momento como professor efetivo no IFB e pesquisador associado na UnB.
Currículo: http://lattes.cnpq.br/9497525586581224
Aula 3 - curso de construtíveis
Aula 2 - curso de construtíveis
Aula 1 - curso de construtíveis
Mergulhos em boas ordens
Boa ordem
Prova do teorema da recursão
Recursão nos naturais - Ordinais e recursão transfinita
Ordem dos naturais e indução forte - Ordinais e recursão transfinita
Naturais e ordinais - Ordinais e recursão transfinita
Ordem parcial e total - Ordinais e recursão transfinita
Ordinais e recursão transfinita - Introdução
Unicidade dos Reais - Construtíveis
Cardinais e sequência aleph - construtíveis
Ordinais e recursão transfinita - construtíveis
Consistência da hipótese do contínuo - Construtíveis
Consistência do axioma da escolha - construtíveis
Os Construtíveis e a absolutidade
Modelos e Consistência - construtíveis
Construtíveis - Consistência do axioma da escolha e da hipótese do contínuo
O erro de Schröder. TCDB, parte 7
O argumento de Dedekind. TCDB, parte 6
O argumento de Bernstein. TCDB, parte 5
Um problema, duas formulações. TCDB, parte 4
Axioma da Escolha e teorema de Cantor Dedekind Bernstein. TCDB, parte 3
Enunciado do teorema de Cantor-Dedekind-Bernstein. TCDB, parte 2
Teorema de Cantor-Schröder-Bernstein
Resolução dos exercícios do vídeo 10, parte 2, do curso de lógica de predicados
Resolução dos exercícios do vídeo 10 do curso de lógica de predicados
Resolução dos exercícios do vídeo 9 do curso de lógica de predicados
Resolução dos exercícios do vídeo 11 do curso de lógica de predicados