Re: [Logica-l] A respeito de um Teorema de Tarski e uma historinha interessante

2017-04-01 Por tôpico Walter Carnielli
Caro Hermógenes: como se depreende da historinha, Fréchet acreditava na verdade do Axioma da Escolha, e Lebesgue na falsidade. Esse é o ponto da mensagem. O que eu escrevi é menos importante. De toda forma, escreví que [...] o Axioma da Escolha não é nem óbvio (quer dizer, **obviamente

Re: [Logica-l] A respeito de um Teorema de Tarski e uma historinha interessante

2017-04-01 Por tôpico 'Samuel Gomes' via LOGICA-L
... Touché para o Hermógenes, O uso de linguagem comum e cotidiana quando vamos divulgar matemática (ou ciência) sempre traz seus riscos, Só passei por aqui pra passar mais algumas referências: --> Muitas histórias como essa do Walter podem ser encontradas no livro: Moore, Gregory H.

Re: [Logica-l] A respeito de um Teorema de Tarski e uma historinha interessante

2017-04-01 Por tôpico Hermógenes Oliveira
Walter Carnielli escreveu: > > [...] > > Para os estudantes iniciantes compreenderem [...] o Axioma da Escolha > não é [...] falso [...] Me parece que "estudantes iniciantes", dependendo do seu grau de doutrinação em Lógica (especialmente lógica clássica ensinada

[Logica-l] A respeito de um Teorema de Tarski e uma historinha interessante

2017-04-01 Por tôpico Walter Carnielli
Há alguns dias, nos Seminários de Lógica no CLE, falei sobre ''O Princípio de Ariadne e o Axioma da Escolha'', apresentando uma alternativa ao Axioma da Escolha, o "Principio de Ariadne" (baseado em uma propriedade combinatória infinita, trabalho conjunto com Carlos Di Prisco). Mencionei uma

Re: [Logica-l] Filha do Kurt Gödel e da Marylin Monroe

2017-04-01 Por tôpico jyb
Gödel OFF TOPIC numa lista de lógica Walter !? Isso provavalemente tem a ver com o paradoxo da mentirosa ... Adeline Gödel Monroe (AGM) conta na autobiografia dela (que vai ser lançada no EBL em Pirenopolis), que de fato foi o proprio Gödel que ensinou a Marilyn a ler neste livro AGM conta

Re: [Logica-l] Filha do Kurt Gödel e da Marylin Monroe

2017-04-01 Por tôpico Walter Carnielli
Que surpresa! Nao pela filha de Gödel, mas não imaginava que a Marilyn Monroe soubesse ler..deve estar fingindo! E isso tudo é OFF TOPIC, surpreende-me que o fundador e guardião da Lista esteja participando sem se dar conta disso -- deve ser o Primeiro de Abril dele :-) W. Em 1 de

Re: [Logica-l] Filha do Kurt Gödel e da Marylin Monroe

2017-04-01 Por tôpico jyb
Caro JM Sei que com muitas pessoas, voce acredita so nas coisas que voce ve (a chamada "visual rationality") Por isso estou mandando aqui uma foto da Marilyn junto com a Adeline Gödel Monroe (AGM): http://indulgy.com/post/AHj1kcNSL2/marilyn-monroe-reading-a-childrens-book JY Le samedi 1 avril

Re: [Logica-l] Filha do Kurt Gödel e da Marylin Monroe

2017-04-01 Por tôpico Joao Marcos
Este aqui é muito bom: https://rjlipton.wordpress.com/2017/04/01/the-end-of-human-science/ JM On Apr 1, 2017 1:22 PM, "jean-yves beziau" wrote: Fui contatado essa semana por um certo Adriano que me diz que ele era o neto do Kurt Gödel. Obviamente não acreditei, e achei

Re: [Logica-l] Filha do Kurt Gödel e da Marylin Monroe

2017-04-01 Por tôpico Joao Marcos
Há algumas maneiras mais e outras menos divertidas de comemorar o Poisson d'Avril. Mande o meu abraço para o Adriano Monroe, em Pirenópolis! JM On Apr 1, 2017 1:22 PM, "jean-yves beziau" wrote: > > Fui contatado essa semana por um certo Adriano > que me diz que ele era

[Logica-l] Filha do Kurt Gödel e da Marylin Monroe

2017-04-01 Por tôpico jean-yves beziau
Fui contatado essa semana por um certo Adriano que me diz que ele era o neto do Kurt Gödel. Obviamente não acreditei, e achei que o cara era doido: Como Gödel poderia ter um neto se não tive filhos? o famoso problema do "missing link" ... que justamente o Adriano me explicou: a mae dele, Adeline,

[Logica-l] arte e não-contradição

2017-04-01 Por tôpico Joao Marcos
Um artigo do nosso colega Luis Rosa: impossibility and the limits of art http://www.3ammagazine.com/3am/impossibility-limits-art/ ...incluindo uma discussão sobre impossibilidades nômicas, impossibilidades lógicas e impossibilidades conceituais, e um link para um triângulo impossível que pode

[Logica-l] Mar17 - verbetes SEP recentemente publicados ou reformados

2017-04-01 Por tôpico Joao Marcos
* * * ALGUNS NOVOS VERBETES Dependence Logic Pietro Galliani https://plato.stanford.edu/entries/logic-dependence/ Games, Full Abstraction and Full Completeness Felice Cardone https://plato.stanford.edu/entries/games-abstraction/ Ramon Llull Ernesto Priani