Re: [Logica-l] Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física
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 wrote: > > > 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". > > Em qua, 7 de out de 2020 00:45, Walter Alexandre Carnielli > escreveu: >> Obrigado Ricardo, >> ótima complementação ao meu sucinto post :-) >> Abs, >> W. >> Em qua., 7 de out. de 2020 às 00:25, Ricardo Grande >> escreveu: >> > >> > 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. >> > >> > >> > Em qua., 7 de out. de 2020 às 00:08, Walter Alexandre Carnielli >> > escreveu: >> >> >> >> 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. >> >> >> >> -- >> >> 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+unsubscr...@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. >> > >> > Não tenhas certeza absoluta de nada. >> > Não consideres que valha a pena proceder escondendo evidências, pois as >> > evidências inevitavelmente virão à luz. >> > Nunca tentes desencorajar o pensamento, pois com certeza tu terás sucesso. >> > 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. >> > Não tenhas respeito pela autoridade dos outros, pois há sempre autoridades >> > contrárias a serem achadas. >> > Não uses o poder para suprimir opiniões que consideres perniciosas, pois >> > as opiniões irão suprimir-te. >> > Não tenhas medo de possuir opiniões excêntricas, pois todas as opiniões >> > hoje aceitas foram um dia consideradas excêntricas. >> > 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
Re: [Logica-l] Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física
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". Em qua, 7 de out de 2020 00:45, Walter Alexandre Carnielli < walte...@unicamp.br> escreveu: > Obrigado Ricardo, > ótima complementação ao meu sucinto post :-) > Abs, > W. > Em qua., 7 de out. de 2020 às 00:25, Ricardo Grande > escreveu: > > > > 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. > > > > > > Em qua., 7 de out. de 2020 às 00:08, Walter Alexandre Carnielli < > walte...@unicamp.br> escreveu: > >> > >> 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. > >> > >> -- > >> 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+unsubscr...@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. > > > > Não tenhas certeza absoluta de nada. > > Não consideres que valha a pena proceder escondendo evidências, pois as > evidências inevitavelmente virão à luz. > > Nunca tentes desencorajar o pensamento, pois com certeza tu terás > sucesso. > > 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. > > Não tenhas respeito pela autoridade dos outros, pois há sempre > autoridades contrárias a serem achadas. > > Não uses o poder para suprimir opiniões que consideres perniciosas, pois > as opiniões irão suprimir-te. > > Não tenhas medo de possuir opiniões excêntricas, pois todas as opiniões > hoje aceitas foram um dia consideradas excêntricas. > > 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. > > Seja escrupulosamente verdadeiro, mesmo que a verdade seja > inconveniente, pois será mais inconveniente se tentares escondê-la. > > Não tenhas inveja daqueles que vivem num paraíso dos tolos, pois apenas > um tolo o consideraria um paraíso.B. Russell > > > > > > > > -- > > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. >
Re: [Logica-l] Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física
Obrigado Ricardo, ótima complementação ao meu sucinto post :-) Abs, W. Em qua., 7 de out. de 2020 às 00:25, Ricardo Grande escreveu: > > 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. > > > Em qua., 7 de out. de 2020 às 00:08, Walter Alexandre Carnielli > escreveu: >> >> 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. >> >> -- >> 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+unsubscr...@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. > > Não tenhas certeza absoluta de nada. > Não consideres que valha a pena proceder escondendo evidências, pois as > evidências inevitavelmente virão à luz. > Nunca tentes desencorajar o pensamento, pois com certeza tu terás sucesso. > 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. > Não tenhas respeito pela autoridade dos outros, pois há sempre autoridades > contrárias a serem achadas. > Não uses o poder para suprimir opiniões que consideres perniciosas, pois as > opiniões irão suprimir-te. > Não tenhas medo de possuir opiniões excêntricas, pois todas as opiniões hoje > aceitas foram um dia consideradas excêntricas. > 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. > Seja escrupulosamente verdadeiro, mesmo que a verdade seja inconveniente, > pois será mais inconveniente se tentares escondê-la. > Não tenhas inveja daqueles que vivem num paraíso dos tolos, pois apenas um > tolo o consideraria um paraíso.B. Russell > > > > -- > 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+unsubscr...@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. -- 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+unsubscr...@dimap.ufrn.br. 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.
Re: [Logica-l] Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física
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. Em qua., 7 de out. de 2020 às 00:08, Walter Alexandre Carnielli < walte...@unicamp.br> escreveu: > 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. > > -- > 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+unsubscr...@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* -- 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+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO5LKz41OdSroyQeF6ZHbgyB56VEkRXqHp0TLd8WjNpmFH-Mgg%40mail.gmail.com.
[Logica-l] Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física
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. -- 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+unsubscr...@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.
