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

Pois é, mas acho que espaços-tempo exóticos e Cohen-genéricos têm existência no duro, nalguma realidade sei-lá-como. Sent from my iPhone > On 2 Apr 2017, at 16:03, Carlos Gonzalez wrote: > > Prezado Walter e outros colegas, > > Essa história de Tarski é altamente

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

Prezado Walter e outros colegas, Essa história de Tarski é altamente significativa com relação a vários problemas da filosofia e da história da matemática e a lógica. O meu primeiro artigo filosófico tem muito a ver com isso, pois ocupa-se da discussão entre Zermelo e vários matemáticos

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

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

... 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

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

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