Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Valeria de Paiva
viva Chico, Muito obrigada pela mensagem! Eu assisti ha alguns atras a uma palestra do Sol Feferman exatamente sobre quais axioms deviam ser esse >Na opinião do próprio Godel, faltam axiomas “naturais”, que decidam essa questão tão básica. Mas quais Mas eu acho que ainda quero uma

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Francisco Miraglia Neto
Car@s, Pergunta: qual é a cardinalidade do conjunto das partes do naturais? 0. É fácil ver que essa cardinalidade é igual à do conjunto dos reais (ou do intervalo (0, 1), se preferirem); 1. Cantor fez a hipótese de que seria aleph_1, o primeiro cardinal não enumerável. Esta hipótese passou

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Tony Marmo
De fato, você tem razão: o início do texto tem um trecho que diz que a HC é um paradoxo. Eis a passagem: " Estudos recentes de um grupo de matemáticos que trabalham com AM apontam que essa capacidade de aprendizado está relacionada a um paradoxo lógico, conhecido como hipótese continua,

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Valeria de Paiva
oi Adolfo, >Eu não tenho ideia do que seja a hipótese do contínuo. >Onde encontro uma boa explicação? Bom, eu sempre gosto das explicacoes do Samuel, que em geral sao bem diretas e "indolores". nesse caso da' pra ler

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Rodrigo Freire
Pode-se começar uma explicação simplesmente negando o que essa infeliz tentativa que está divulgada na página principal do impa diz a respeito. Primeiro, a hipótese do contínuo, não "hipótese contínua", não é um paradoxo lógico e não foi descoberta por Gödel, como dito no primeiro parágrafo. (Nem

[Logica-l] duas bolsas de pos-doutorado no PPGF/UFRJ

2019-10-08 Por tôpico jean-yves beziau
4.100 reais por mes, 24 meses, prorrogavel até 60 meses (5 anos) https://www.capes.gov.br/bolsas/bolsas-no-pais/pnpd-capes Temos uma lihna de pesquisa no PPGF: Lógica, Conhecimento e Mente Requisitos: projeto de pesquisa e CV lattes Inscrições: até 18 de outubro:

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Eduardo Ochs
Aqui: https://en.m.wikipedia.org/wiki/Continuum_hypothesis On Tue, 8 Oct 2019, 16:32 Adolfo Neto, wrote: > Olá Doria e Rodrigo, > > Eu não tenho ideia do que seja a hipótese do contínuo. > Onde encontro uma boa explicação? > > Abs. > Adolfo > > On Tue, Oct 8, 2019, 16:30 Famadoria wrote: > >>

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Adolfo Neto
Olá Doria e Rodrigo, Eu não tenho ideia do que seja a hipótese do contínuo. Onde encontro uma boa explicação? Abs. Adolfo On Tue, Oct 8, 2019, 16:30 Famadoria wrote: > Lixo, Adolfo. > > Sent from my iPhone > > On 8 Oct 2019, at 15:46, Adolfo Neto wrote: > > Por que? > > On Tue, Oct 8, 2019,

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Famadoria
Lixo, Adolfo. Sent from my iPhone > On 8 Oct 2019, at 15:46, Adolfo Neto wrote: > > Por que? > >> On Tue, Oct 8, 2019, 2:24 PM Rodrigo Freire wrote: >> Artigo horroroso. >> >> >> https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html >> >> >> >> >>

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Famadoria
Mistura de ignorância e erro. Sent from my iPhone > On 8 Oct 2019, at 14:24, Rodrigo Freire wrote: > > Artigo horroroso. > > > https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html > > > > > -- > Você recebeu essa mensagem porque está inscrito no

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Adolfo Neto
Por que? On Tue, Oct 8, 2019, 2:24 PM Rodrigo Freire wrote: > Artigo horroroso. > > > > https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html > > > > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para

[Logica-l] Textos Heyting

2019-10-08 Por tôpico Abílio
Prezadxs colegas, Alguém teria esses textos do Heyting? Abraço Abilio 1. Heyting, A. 1958a. ‘On truth in mathematics’, Verlag van de plechtige viering van het honderdvijftigjarig bestaan der Koninklijke Nederlandse Akademie van Wetenschappen met de teksten der bij die gelegenheit gehouden

[Logica-l] a pior tentativa de explicar a hipotese do continuo

2019-10-08 Por tôpico Rodrigo Freire
Artigo horroroso. https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html -- 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 receber e-mails dele, envie um e-mail

[Logica-l] 3-year fixed term position at Victoria University of Wellington

2019-10-08 Por tôpico Walter Carnielli
Repassando a pedidos, Walter -- We are hiring for a 3-year, fixed term lecturer position at Victoria University of Wellington. Further details can be found here: https://ejye.fa.ap1.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/job/1000343/?utm_medium=jobshare <