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: 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: lattes.cnpq.br/9497525586581224
Ad infinitum
Oi pessoal, amanhã 9:00, o Alfredo vai apresentar sua pesquisa em fundamentos da matemática no encontro do grupo de lógica da UNICAMP. O evento vai ser transmitido em live no link a seguir (sigam o canal do grupo!):
youtube.com/live/KZIBwQSWI-s?si=-so1QuR61adGhEHh
Abraço
1 week ago | [YT] | 17
View 0 replies
Ad infinitum
Página do programa: www.posfil.unb.br/
Página do edital: www.posfil.unb.br/index.php/destaques/336-edital-p…
1 month ago | [YT] | 16
View 2 replies
Ad infinitum
Nessa terça (05/08/2025), começamos a série "Ordinais e recursão transfinita". Esse é um tema fundamental para entendemos o uso da teoria dos conjuntos nos fundamentos da matemática.
Para os membros, os vídeos serão disponibilizados com antecedência (além dos da série sobre os construtíveis de Gödel).
Segue o link para o site, onde vcs encontrarão as listas de exercício:
www.canaladinfinitum.com/t%C3%B3picos-de-conjuntos…
3 months ago | [YT] | 20
View 0 replies
Ad infinitum
Nessa quinta, 19:00, faremos uma conversa sobre o legado do positivismo lógico!
Teremos como convidados o professor Ivan Cunha e o Gilson Olegario.
7 months ago | [YT] | 39
View 6 replies
Ad infinitum
Oi pessoal, hoje chegamos a 5 mil inscritos!
Muito obrigado a todos!
Grande abraço.
8 months ago | [YT] | 90
View 16 replies
Ad infinitum
Criamos o grupo de Whatsapp dos apoiadores. A ideia é conversarmos sobre dúvidas.
Quem quiser participar do grupo, sigam os seguintes passos:
1- Torne-se membro apoiador.
2- comente nesse post (para checarmos o email, não vemos sempre...).
3- envie email para canaladinfinitum@gmail.com com o seu número de whatsapp.
Abraço
9 months ago | [YT] | 20
View 2 replies
Ad infinitum
Olá, pessoal.
Em razão de problemas técnicos, o vídeo desta semana será postado na quinta-feira em vez de terça.
Valeu!
9 months ago (edited) | [YT] | 22
View 0 replies
Ad infinitum
Oi pessoal, na semana que vem, dia 17/12/2024 às 19:30, falaremos no canal do CAFIL da UEL sobre "O legado do positivismo lógico".
Link para aqueles que quiserem acompanhar:
youtube.com/live/EXSE2Ez3LfU
11 months ago | [YT] | 17
View 2 replies
Ad infinitum
Oi pessoal, vou fazer uma conversa hoje 18:00 no canal do Pedro Ivo @ateuinforma
Link para a live:
youtube.com/live/q4DvSGXlaJo?si=DksL5o8kTuox_2eO
1 year ago | [YT] | 39
View 2 replies
Ad infinitum
Escrevemos para divulgar o edital de seleção para mestrado e doutorado no PPGFIL/UnB.
Os seguintes professores atuam na área de Lógica:
- Alexandre Costa-Leite (Lógicas Não Clássicas, Filosofia e Astrobiologia, Metafísica e Estudos do Futuro)
- Alfredo Roque Freire (Lógica, Teoria dos Conjuntos e de Classes, Fundamentos da Matemática e Metafísica)
- Edgar Almeida (Aritmética formal e aspectos filosóficos do ensino de matemática e lógica)
- Giorgio Venturi (Lógica, Teoria dos Conjuntos, Lógica Modal, História da Lógica, Filosofia da Matemática e Filosofia da Linguagem)
- Luiza Ramos (Filosofia da Matemática, História da Lógica e Fundamentos Teóricos de Inteligência Artificial)
- Rodrigo de Alvarenga Freire (Teoria dos Conjuntos e de Classes, Definibilidade e Fundamentos da Matemática)
Nosso grupo tem publicado resultados de pesquisa em aritméticas de primeira e segunda ordem, lógicas não clássicas e teorias de conjuntos e classes, além de contribuições em filosofia da matemática e filosofia da lógica.
Publicamos, também, textos e vídeos em todas as subáreas da lógica, especialmente no canal “Ad Infinitum” e no selo editorial “Lógica no Avião” . Nosso programa oferece disciplinas e seminários nessas subáreas e em assuntos relacionados.
Link para o processo:
posfil.unb.br/index.php/editais/editais#processo-s…
Edital:
posfil.unb.br/images/Edital_05_2024_Selecao_PPGFIL…
Atenciosamente,
--
Alfredo Roque Freire
1 year ago | [YT] | 20
View 4 replies
Load more