Ola Rodrigo,
ótima análise. Mas isso implica que um contra-exemplo para RH (por
exemplo, achar um zero não trivial da função zeta de Riemann com a
parte real diferente de 1/2) implicaria imediatamente na
inconsistência de ZFC . Isso mostra quanto difícil (improvável) seria
achar um tal
Não tenho condições de comentar a ideia do Atiyah. Sobre a questão lógica,
posso dizer algo.
1- Se a RH é demonstrável em ZFC, então também é demonstrável em ZF. Isso é bem
conhecido, segue da absolutidade desse enunciado, que é equivalente a uma
sentença Pi1.
2- Suponha que se ZFC é
Ola João e todos os que se interessam por essa fabulosa questão:
De fato, Atiyah foi o único dos big-shots que mencionou "lógica" no
ICM-Rio. Claro que Samuel, e eu, entre outros,
mencionamos, mas não para uma audiência geral.
Num almoço eu meio que o "cumprimentei" por isso, e
> "Atiyah gave the Abel Lecture at the International Congress of
> Mathematicians in Rio de Janeiro just last month. Its title—“The
> future of mathematical physics: new ideas in old bottles”—may be read
> as hinting about “new ideas.” However, the talk is almost entirely
> historical and
De fato:
"Atiyah gave the Abel Lecture at the International Congress of
Mathematicians in Rio de Janeiro just last month. Its title—“The
future of mathematical physics: new ideas in old bottles”—may be read
as hinting about “new ideas.” However, the talk is almost entirely
historical and
> Interessantemente, ele não falou com ninguém no Rio de Janeiro (que eu
> saiba,) sobre isso.
Na seção "Some Observations", do link
https://rjlipton.wordpress.com/2018/09/23/preview-of-the-atiyah-talk/
os autores discutem as diferenças entre o anúncio do resultado feito
por Atiyah e o anúncio
Tem muita gente apostando que Sir Michael Atiyah, grande matemático, ainda
com o cerebro super azeitado ais 90 anos, talvez esteja exagerando nesse
caso.
Interessantemente, ele não falou com ninguém no Rio de Janeiro (que eu
saiba,) sobre isso.
Ele é bastante sociável e ficava sempre comendo
Como sabem, Sir Michael Francis Atiyah esteve no mês passado no Rio, no ICM.
Ontem ele apresentou no Heidelberg Laureate Forum a seguinte palestra:
"The Riemann Hypothesis"
The Riemann Hypothesis is a famous unsolved problem dating from 1859.
I will present a simple proof using a radically new