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<[email protected]> 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 > <[email protected]> escreveu: >> Obrigado Ricardo, >> ótima complementação ao meu sucinto post :-) >> Abs, >> W. >> Em qua., 7 de out. de 2020 às 00:25, Ricardo Grande >> <[email protected]> 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 >> > <[email protected]> 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 [email protected]. >> >> 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 [email protected]. >> > 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 [email protected]. >> 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. > > -- > 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 [email protected]. > 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. -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/22571EC2-7186-4289-BB46-7FD757011D61%40gmail.com.
