Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física

[Walter Alexandre Carnielli]

O Prêmio Nobel de Física deste ano foi concedido a Roger Penrose,
Reinhard Genzel e Andrea Ghez, pelo seu (deles) trabalho que ajuda a
revelar os segredos dos buracos negros.

O interessante para nós, lógicos, filósofos e computólogos, é que
Penrose (para os mais jovens que talvez não tenham sido expostos a
esse antigo debate) era já famoso pelas suas ideias no livro "The
Emperor's New Mind: Concerning Computers, Minds and The Laws of
Physics" de 1989.

Sir Roger já argumentava, há mais de 30 anos, que a consciência
humana não é algorítmica e, portanto, não é capaz de ser expressa
por uma máquina de Turing.

A contribuição de Penrose, que lhe deu o prêmio agora, foi a
introdução de novos métodos matemáticos para demonstrar que os
buracos negros são uma consequência da teoria geral da relatividade
de Einstein.

Não é sempre que alguma coisa ligada à lógica, ainda que remotamente,
se aproxima do Nobel. Ou assim penso eu...

https://www.miragenews.com/roger-penrose-wins-2020-nobel-prize-in-physics-for-discovery-about-black-holes/


W.

[Ricardo Grande]

Então, Walter, concordo com você sobre a lógica e o Nobel.

Só umas notas: o Hawking faleceu antes do anúncio deste prêmio, uma pena. No livro Large Scale Structure of Space-time (Hawking - Ellis), são demonstrados dois teoremas fundamentais para a teoria dos buracos negros. O primeiro é de autoria de Penrose e o segundo de Hawking & Penrose.

Hawking, S. & Ellis, G. Large scale structure of space-time, Cambridge Univ. Press, 

pp. 263 e 266 (1973)

Só para constar, após o Emperor's New Mind, Roger escreveu também "Shadows of the mind" e "The Large, the small and the human mind" ligados ao tema da computação e  à mente humana.

No Shadows, ele responde várias críticas feitas ao ENM. O outro livro citado é uma obra bem curta e de divulgação científica (há uma sessão de perguntas e respostas com Hawking, N. Cartwright e A. Shimony)

abraços amigos,

R.

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLf621fNOG%2BZbBxC2%2BF%2B8UWEMU5gsO8oT0ia-8MDjhtBUQ%40mail.gmail.com.

--

"(...) há animais humanos mentalmente retardados cujos cérebros envergonhariam um chimpanzé".  N. Wiener, 22º Parágrafo do 4º Cap. de Cibernética e Sociedade. 

1. Não tenhas certeza absoluta de nada.
2. Não consideres que valha a pena proceder escondendo evidências, pois as evidências inevitavelmente virão à luz.
3. Nunca tentes desencorajar o pensamento, pois com certeza tu terás sucesso.
4. Quando encontrares oposição, mesmo que seja de teu cônjuge ou de tuas crianças, esforça-te para superá-la pelo argumento, e não pela autoridade, pois uma vitória que depende da autoridade é irreal e ilusória.
5. Não tenhas respeito pela autoridade dos outros, pois há sempre autoridades contrárias a serem achadas.
6. Não uses o poder para suprimir opiniões que consideres perniciosas, pois as opiniões irão suprimir-te.
7. Não tenhas medo de possuir opiniões excêntricas, pois todas as opiniões hoje aceitas foram um dia consideradas excêntricas.
8. Encontra mais prazer em desacordo inteligente do que em concordância passiva, pois, se valorizas a inteligência como deverias, o primeiro será um acordo mais profundo que a segunda.
9. Seja escrupulosamente verdadeiro, mesmo que a verdade seja inconveniente, pois será mais inconveniente se tentares escondê-la.
10. Não tenhas inveja daqueles que vivem num paraíso dos tolos, pois apenas um tolo o consideraria um paraíso.    B.  Russell

[Walter Alexandre Carnielli]

Obrigado Ricardo,
ótima complementação ao meu sucinto post :-)
Abs,
W.
Em qua., 7 de out. de 2020 às 00:25, Ricardo Grande
<rekdinh...@gmail.com> escreveu:

> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.

> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO5LKz41OdSroyQeF6ZHbgyB56VEkRXqHp0TLd8WjNpmFH-Mgg%40mail.gmail.com.

[josé carlos cifuentes]

Para quem gosta de arte, ou melhor da relaçao entre arte e matematica, eh interessante reparar na interaçao que tiveram Roger Penrose e o artista grafico holandez Mauritz Escher ja nos anos 50 e depois.

Penrose viu a exposiçao de gravuras de Escher no Congresso Mundial de Matematicos em Amsterdam em 1954, o que lhe motivou o estudo das chamadas figuras "impossiveis", so explicaveis pela topologia, criando, dentre outros, o tribar ou triangulo de Penrose, que posteriormente Escher usou nas suas obras como em "Queda de agua".

Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeJf3Q_AU7W6CMZYDuxsQVCKT6tTUQyM35vTHg2uQoRAg%40mail.gmail.com.

[Famadoria]

Newton e eu desprovamos a conjectura, formulada em The Emperor’s New Mind, de que indecidibilidade e incompletude não existem no âmbito da física clássica. 

Sent from my iPhone

On 7 Oct 2020, at 22:20, josé carlos cifue<jcc...@gmail.com> wrote:



Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYAQkmJNzUr0tHppShjJ8PggrQnz7EhNNfMpzFaVh_xB6Yg%40mail.gmail.com.