Re: [Logica-l] Memórias de um matematiqueiro

2013-05-17 Por tôpico Joao Marcos
Respondendo a perguntas em PVT para quem mais tiver interesse a mesma curiosidade: A raiz quadrada de qualquer número primo é irracional. Segue direto do Teorema Fundamental da Aritmética. A raiz n-ésima de 2 é irracional para todo n inteiro maior do que 1. É corolário do Último Teorema de

Re: [Logica-l] Memórias de um matematiqueiro

2013-05-17 Por tôpico Joao Marcos
Tony: Não há nada óbvio aqui. A demonstração do Último Teorema de Fermat certamente é matemática avançada. Outra coisa: a nossa civilização moderna *depende* de números primos (e do nosso amplo desconhecimento a respeito deles): você já ouviu falar em criptografia RSA? e da hipótese de Riemann?

Re: [Logica-l] Memórias de um matematiqueiro

2013-05-17 Por tôpico Tony Marmo
Claro que dá para entender a piada. E é óbvio que eu já ouvi falar dessas coisas ainda que eu nem mesmo estivesse a fim de ouvir delas. Ou você acha mesmo que no nosso meio a gente consegue evitar pessoas que falem delas? Agora, quem quer estudar mesmo matemática avançada que cuide de tensores por

Re: [Logica-l] Memórias de um matematiqueiro

2013-05-17 Por tôpico Joao Marcos
Obviamente queremos dizer coisas diferentes com a expressão matemática avançada (avançado = eu acho difícil?). Você poderia talvez nos ilustrar com alguma conjectura avançada sobre tensores que esteja no mesmo nível de uma Hipótese de Riemann? (bem, eu conheço uma, indiretamente) Peço desculpas

Re: [Logica-l] Memórias de um matematiqueiro

2013-05-17 Por tôpico Joao Marcos
Oi, Tony: Peço desculpas por não ser o matemático moderno e avançado que você respeitaria, mas apenas um pesquisador de pouca monta na área de Lógica, com um conhecimento muito raso sobre análise tensorial e topologia algébrica --- quase esquecido da época em que eu trabalhava com Física

Re: [Logica-l] Memórias de um matematiqueiro

2013-05-17 Por tôpico Tony Marmo
Você já é um excelente lógico e o que você escreve sobre lógica é do meu proveito. Ninguém pode abarcar o mundo e o que você fez já é lógica boa e não precisa entrar em outras paragens. Em 17 de maio de 2013 17:04, Joao Marcos botoc...@gmail.com escreveu: Oi, Tony: Peço desculpas por não ser

Re: [Logica-l] Memórias de um matematiqueiro

2013-05-17 Por tôpico Joao Marcos
Não pretendo abarcar o mundo, mas apenas cuidar para não dizer (muita) besteira. Sigo tentando decidir o problema das minhas paragens. Enquanto isso, sei bem que meu conhecimento sobre Aritmética permanecerá para sempre incompleto. E ponto. JM 2013/5/17 Tony Marmo marmo.t...@gmail.com: Você

[Logica-l] Fwd: Sanders Prize in Epistemology

2013-05-17 Por tôpico Joao Marcos
-- Forwarded message -- The Sanders Prize in Epistemology, funded by The Marc Sanders Foundation and administered by Tamar Szabó Gendler, is an new bi-annual essay competition open to scholars who are within fifteen (15) years of receiving a Ph.D. or students who are currently

[Logica-l] argumentos contra os grandes cardinais

2013-05-17 Por tôpico Joao Marcos
Uma discussão interessante no mathoverflow: Arguments against large cardinals http://mathoverflow.net/questions/44095/arguments-against-large-cardinals jm ___ Logica-l mailing list Logica-l@dimap.ufrn.br