[Logica-l] an introduction to Logicism, Formalism and Intuitionism (and more)

Logicism, Formalism and Intuitionism: The three main contemporary ways to understand the fundamentals of mathematics. -- by Alexander Bird https://outline.com/RXztCa %%% O *Cantor's Paradise* contém bastante coisa interessante: https://medium.com/cantors-paradise (a qualidade das "pílulas de lógi

[Logica-l] dos novos mundos de Paul Cohen

Paul Cohen, o matemático que criou 'novos mundos' ao resolver um problema -- por Dalia Ventura https://www.bbc.com/portuguese/geral-55981079 JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de rece

Re: [Logica-l] “Inteligência Artificial: da Lógica às Humanidades” (CNPq/ MCTIC).

> Os vários módulos tëm como objetivo: > > (1) desenvolver material didático com componentes eletrônicos de baixo > custo; (2) elaborar e divulgar gratuitamente projetos de dispositivos > robóticos, > (3) produzir material para o ensino de programação básica, e > (4) produzir material que abord

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

Caros e Caras Colegas, Faço minhas as palavras e propostas da Ítala : meus parabéns à diretoria que termina seu mandato e meu total apoio à que vai assumir a direção da SBL. Um grande abraço e cuidem-se bem nestes tempos dark. Chico Miraglia > On 6 Mar 2021, at 15:52, C. Mortari wrote: > >

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

Cara Itala, caras e caros colegas, obrigado por sua mensagem, e pela sugestão de contabilizar o apoio à chapa inscrita para a eleição da diretoria da SBL. Estamos organizando as coisas de modo que a Assembleia seja também transmitida por algum meio (Google Meet, Zoom, etc.). Não vejo problema

Re: [Logica-l] “Inteligência Artificial: da Lógica às Humanidades” (CNPq/ MCTIC).

Excelente iniciativa, Walter, parabéns à equipe! Vou divulgar entre os colegas do EM. Abraço, G. Le ven. 5 mars 2021 à 20:33, Walter Alexandre Carnielli a écrit : > Colegas: > > Gostaria de divulgar um projeto pedagógico em que estamos > trabalhando no momento, apoiado pelo CNPq: > “Inteligê

Re: [Logica-l] Coletivo Lógica Viva: Correlação x Causalidade

Sobre e-valores / FBST para problemas de Cointegracao: O artigo do Marcio Alves Diniz (2020), citado na ultima mensagem, tem a desvantagem de ser um tanto sofisticado. Todavia, serve para explicar algumas coisas muito importantes. Testes de Raiz Unitaria e testes de Cointegracao sempre foram pro