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

Colegas: Gostaria de divulgar um projeto pedagógico em que estamos trabalhando no momento, apoiado pelo CNPq: “Inteligência Artificial: da Lógica às Humanidades” (CNPq/ MCTIC). Trata-se de um projeto para ensino médio, estudantes e professores, que tem objetivo de divulgar, em nível

Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

... Haha, Tem um detalhe sutil aí na prova que o Petrúcio apresentou, Apesar de ser "raciocínio calculacional", pra provar o que ela quer provar, digamos assim, precisa do Axioma da Escolha, No sentido de que o argumento essencialmente diz que: "Dada uma funcao de X em Partes de X, ela nao

Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

Oi João, acredito que o artigo ao qual ele está se referindo seja este aqui: On calculational proofs 1. Vladimir Lifschitz Annals of Pure and Applied Logic Volume

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

Caros Redistas: A fonte do misterio eh a seguinte: >>> Series temporais estacionarias "parecem frequentemente estar >>> correlacionadas"! Como entender esta frase? >>> Pedro Morettin (2017). Econometria Financeira, Capítulo 10. Esta eh uma boa referencia, sempre correta, mas ao mesmo tempo

Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

pra logicos brasileiros que gostam de brincadeiras de matematicos franceses http://www.neverendingbooks.org/wheres-bourbakis-tomb boa sexta! Valeria On Thu, Mar 4, 2021 at 1:09 PM samuel wrote: > ... Humm... Nâo tenho muita experiência com Teoria dos Conjuntos > construtiva "pra valer" (ir lá

Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

Boa tarde, segue uma maneira "intuitiva" (construtiva?), devida a Dijkstra e Misra, de provar o teorema de Cantor. Ela condensa a ideia usada na prova que o Samuel apresentou, exibindo de maneira natural o conjunto que "estraga" a bijeção. Teorema: Para todas as funções F de X em P(X) e g de P(X)