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

2019-10-09 Thread Famadoria
HC: Não existe nenhum cardinal entre o cardinal dos números contáveis e aquele do continuum. Sent from my iPhone > On 8 Oct 2019, at 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. > A

[Logica-l] [OFF-TOPIC] Produtividade com LaTex

2019-10-09 Thread Cassiano Terra Rodrigues
An Efficiency Comparison of Document Preparation Systems Used in Academic Research and Development *We show that LaTeX users were slower than Word users, wrote less text in the same amount of time, and produced more typesetting, orthographical, grammatical, and formatting errors. On most measures,

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

2019-10-09 Thread Carlos Gonzalez
Prezada Valeria e lista, Em primeiro lugar, devemos distinguir entre resultados técnicos-matemáticos por uma parte, argumentos pragmatistas por outro (e.g.: "serve para tal coisa", "é útil em tal sentido", etc.) e posições metafísicas (platonismo, convencionalismo, etc.) Os resultados técnicos são

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

2019-10-09 Thread Valeria de Paiva
Prezado Carlos, mjuito obrigada pela sua nota. Sim, eu sei os resultados tecnicos e sim tambem sei que >Não tem incompatibilidade em dar uma prova de consistência relativa de um enunciado P e pensar que platonisticamente que P é falso ou pragmaticamente que P não serve para nada. tenho ate resultad

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

2019-10-09 Thread Elaine Pimentel
Oi, Valeria! Só uma correçãozinha: o Claudio Landim (dono do blog em questão) não é jornalista, é matemático membro da ABC... Bjs! On Wed, Oct 9, 2019 at 2:05 PM Valeria de Paiva wrote: > > Prezado Carlos, > mjuito obrigada pela sua nota. > Sim, eu sei os resultados tecnicos e sim tambem sei qu

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

2019-10-09 Thread 'Samuel Gomes' via LOGICA-L
Olá todos, olá Valeria, Bem, dado o chamamento a opinar, vou fazer alguns comentários adicionais sobre alguns dos posts anteriores, de maneira rápida e curta... Quando eu quis compilar tudo o que eu gostaria de falar sobre a Hipótese do Contínuo, em 2015, o que saiu foi um minicurso de três ses

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

2019-10-09 Thread 'Samuel Gomes' via LOGICA-L
Oi, Eu dei a entender mas não escrevi, no tal V = Ultimate L a Hipótese do Contínuo seria verdadeira. []s Samuel On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo Freire wrote: > > Artigo horroroso. > > > > https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprend

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

2019-10-09 Thread Valeria de Paiva
Ai, ai, ai Elaine, o Claudio 'e muito meu amigo. nao tinha visto o blog em questao, so' tinha visto a critica ao blog aqui. Deixa eu ficar quieta entao! Super obrigada! bjs Valeria On Wed, Oct 9, 2019 at 10:12 AM Elaine Pimentel wrote: > Oi, Valeria! > > Só uma correçãozinha: o Claudio Landim (d

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

2019-10-09 Thread Giorgio Venturi
Caros, já que a discussão está se ampliando de CH para novos axiomas e a justificação, é bom saber que tem muita bibliografia sobre este tema. Os livros da Penelope Maddy são um ótimo começo. Para quem quiser artigos mais recentes sobre o tema me escreva em privado. Abraço, Giorgio Il giorno mer

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

2019-10-09 Thread Valeria de Paiva
oi Samuel, muito obrigada! vou printar e ler com cuidado! pois nao tenho o tempo necessario pro curso todo! Valeu mesmo!!! Posso colocar no meu blog uma versao em ingles? abs Valeria On Wed, Oct 9, 2019 at 10:12 AM 'Samuel Gomes' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > Olá todos, olá Vale

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

2019-10-09 Thread 'Samuel Gomes' via LOGICA-L
Olá, De nada, Claro que pode, Até, []s Samuel On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo Freire wrote: > > Artigo horroroso. > > > > https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html > > > > > -- Você está recebendo esta mensagem porqu

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

2019-10-09 Thread 'Samuel Gomes' via LOGICA-L
Olá, Aproveitando pra melhorar uma partezinha, Talvez só troque no final, Valeria, "Porém, o Axioma da Determinação Projetiva parece uma opção razoável que decide o contínuo como sendo aleph_2 porém necessita de grandes cardinais para ter sua consistência com ZFC demonstrada." por "Porém,

Re: [Logica-l] [OFF-TOPIC] Produtividade com LaTex

2019-10-09 Thread Julio Stern
Se o tempo de digitacao/ editoracao usando LaTeX ou Word eh uma parte significativa na determinacao do tempo de producao de um artigo, o conteudo do referido artigo dever ser p'ra la de trivial Julio Stern From: Cassiano Terra Rodrigues Sent: Wednesday,

Re: [Logica-l] [OFF-TOPIC] Produtividade com LaTex

2019-10-09 Thread Carlos Gonzalez
Prezados Julio e lista, Quanto terá pago Bill Gates por esse artigo? "Produtividade", conceito que é um horror, pior porque está muito mal entendida. O produto final do Latex tem muita mais qualidade que o do Word: sou "produtivo" mas o resultado final é pior? Um torneiro que deixa a peça mal aca