Olá a todos da lista de lógica.
Professor Doria, esse emaranhamento quantico serve para teletransporte não é??
serviria para buscar informação "no futuro" e trazer de volta ??
serve para usar na busca das dezenas da loteria ??
li nalgum lugar (já não lembro mais) que uma das particulas é destruida ao ser
teletransportada, a marcadora não é isso mesmo??
e esse negócio, vai contra o principio de Heisenberg.
é possível abstrar trazer informação de "outra época" ??
se não tiver candidato a tese de doutorado eu me prontifico a participar, já
conclui o 2o grau...
obrigado,
Paulo Henrique
--- Em ter, 12/1/10, [email protected]
<[email protected]> escreveu:
De: [email protected] <[email protected]>
Assunto: Digest Logica-l, volume 47, assunto 9
Para: [email protected]
Data: Terça-feira, 12 de Janeiro de 2010, 13:00
Enviar submissões para a lista de discussão Logica-l para
[email protected]
Para se cadastrar ou descadastrar via WWW, visite o endereço
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
corpo da mensagem para
[email protected]
Você poderá entrar em contato com a pessoa que gerencia a lista pelo
endereço
[email protected]
Quando responder, por favor edite sua linha Assunto assim ela será
mais específica que "Re: Contents of Logica-l digest..."
Tópicos de Hoje:
1. RES: Raymond Kurzweil no programa Milênio, da Globo News
(Alvaro Augusto (L))
2. Cognitio em homenagem ao Prof. Lafayette e Mentes vs Máquina
(Ricardo Pereira Tassinari)
3. Re: RES: Raymond Kurzweil no programa Milênio, da Globo News
(Francisco Antonio Doria)
4. Proposta de tese de doutorado (Francisco Antonio Doria)
5. Re: Proposta de tese de doutorado (Francisco Antonio Doria)
----------------------------------------------------------------------
Message: 1
Date: Mon, 11 Jan 2010 15:45:57 -0200
From: "Alvaro Augusto (L)" <[email protected]>
Subject: [Logica-l] RES: Raymond Kurzweil no programa Milênio, da
Globo News
To: <[email protected]>
Message-ID: <[email protected]>
Content-Type: text/plain; charset="iso-8859-1"
Arthur C. Clarke já previa tudo isso e muito mais em “A cidade e as
estrelas” (1956), um livro de ficção científica.
[ ]s
Alvaro Augusto
[email protected]
http://www.lunabay.com.br/
http://twitter.com/alvaro_augusto
----------------------------------------------------------------------------
-----Mensagem original-----
De: [email protected] [mailto:[email protected]]
Em nome de Paulo - yahoo
Enviada em: segunda-feira, 11 de janeiro de 2010 08:32
Para: [email protected]
Assunto: [Logica-l] Raymond Kurzweil no programa Milênio, da Globo News
Já ouviram falar de Raymond Kurzweil ? É um cientista e "futorólogo"
(futurologista ?) que concedeu uma entrevista
ao programa Milênio, da Globo News, que foi ao ar há poucos dias (se alguém
tiver interesse de ver - acho que vale a
pena - segue o endereço abaixo).
Suas previsões para o futuro próximo (20 a 50 anos) são incríveis - parece
um roteiro de ficção científica, envolvendo nanotecnologia,
máquinas com inteligência igual à humana (que passarão no "Teste de
Turing"), ampliação da "consciência humana" através de nanochips implantados
no cérebro,
tecnologias de purificação e dessalinização da água (a custos razoáveis),
solução para os problemas de fornecimento de energia, imortalidade da
personalidade, etc. Na área de "inteligência artificial", especialmente,
acho que daria uma boa conversa entre o Kurzweil e o Roger Penrose
(físico-matemático britânico que não acredita no desenvolvimento
inteligência artificial semelhante à humana).
Ele tem um conceito bastante curioso de "consciência". Par ele, a
consciência é como um software, e no futuro poderemos "atualizar" esse
software,
para adquirir novas habilidades. Há inclusive um livro seu chamado "A Era
das Máquinas Espirituais" - não li, mas me disseram que é bastante
interessante.
Para um leigo, como eu, o sujeito pareceu um tanto otimista demais, mas há
coisas no mundo de hoje que se fossem mencionadas cem anos
atrás, ninguém acreditaria também...
A página com os vídeos (são duas partes) é esta:
http://especiais.globonews.globo.com/milenio/
Comecem com o vídeo (post) intitulado "Rumo à Imortalidade" (mais ou menos
no meio da página), que é a primeira parte, e depois
subam até o vídeo (post) "O futuro segundo Ray Kurzweil - parte 2.. Há mais
dois vídeos nessa mesma página. Um deles é bem pequeno,
e mostra algumas partes da casa do Kurzweil, onde foi gravada a entrevista.
O outro é um trecho de entrevista, mas não está com legendas..
Atenciosamente
Paulo
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
------------------------------
Message: 2
Date: Mon, 11 Jan 2010 15:59:27 -0200
From: Ricardo Pereira Tassinari <[email protected]>
Subject: [Logica-l] Cognitio em homenagem ao Prof. Lafayette e Mentes
vs Máquina
To: Paulo - yahoo <[email protected]>
Cc: [email protected]
Message-ID:
<[email protected]>
Content-Type: text/plain; charset="iso-8859-1"
Olá a todos.
A *Cognitio*, Revista de Filosofia da PUC-SP, lançou um exemplar em
homenagem ao Prof. Lafayette, com artigos sobre Lógica: v. 10, n. 2,
Julho-Dezembro 2009.
Vou ficar devendo o índice, pois ele ainda não está online.
Mas aproveito a volta do assunto mente vs. máquina para divulgar a
publicação do artigo:
TASSINARI, R. P. ; D'OTTAVIANO, I. M. L. Cogito Ergo Sum Non Machina! Sobre
o Reconhecimento Humano de Verdades da Aritmética e Máquinas de Turing. *
Cognitio* (PUCSP), v. 10, n.2, pp. 221-230, 2009.
RESUMO
O objetivo deste artigo é discutir sobre a existência de limites para a
possibilidade de modelagem do comportamento humano por sistemas formais ou
algoritmos computacionais. Mais especificamente, o artigo trata da
impossibilidade de modelagem completa por algoritmos ou teorias formais da
capacidade humana de estabelecer a veracidade de fórmulas da aritmética de
primeira ordem. A resposta aqui apresentada, baseada em uma nova análise
feita a partir do Primeiro Teorema da Incompletude de Gödel, busca
apresentar o porquê e como esse teorema implica na impossibilidade de
construção de tal modelagem.
Quem quiser ler o artigo para mostrar as possíveis falhas do argumento é
muito bem vindo!
Abraço a todos,
Ricardo.
--
Dr. Ricardo Pereira Tassinari - Departamento de Filosofia
UNESP - Faculdade de Filosofia e Ciências - Marília
Homepage: http://www.marilia.unesp.br/ricardotassinari
-------------- Próxima Parte ----------
Um anexo em HTML foi limpo...
URL:
http://www.dimap.ufrn.br/pipermail/logica-l/attachments/20100111/0bc4f6cc/attachment.html
------------------------------
Message: 3
Date: Mon, 11 Jan 2010 17:58:10 -0200
From: Francisco Antonio Doria <[email protected]>
Subject: Re: [Logica-l] RES: Raymond Kurzweil no programa Milênio, da
Globo News
To: "Alvaro Augusto (L)" <[email protected]>,
[email protected]
Message-ID:
<[email protected]>
Content-Type: text/plain; charset="windows-1252"
.... que analisei em 1968...
2010/1/11 Alvaro Augusto (L) <[email protected]>
> Arthur C. Clarke já previa tudo isso e muito mais em ?A cidade e as
> estrelas? (1956), um livro de ficção científica.
>
> [ ]s
>
> Alvaro Augusto
> [email protected]
> http://www.lunabay.com.br/
> http://twitter.com/alvaro_augusto
>
>
> ----------------------------------------------------------------------------
>
>
> -----Mensagem original-----
> De: [email protected] [mailto:[email protected]]
> Em nome de Paulo - yahoo
> Enviada em: segunda-feira, 11 de janeiro de 2010 08:32
> Para: [email protected]
> Assunto: [Logica-l] Raymond Kurzweil no programa Milênio, da Globo News
>
> Já ouviram falar de Raymond Kurzweil ? É um cientista e "futorólogo"
> (futurologista ?) que concedeu uma entrevista
> ao programa Milênio, da Globo News, que foi ao ar há poucos dias (se alguém
> tiver interesse de ver - acho que vale a
> pena - segue o endereço abaixo).
>
> Suas previsões para o futuro próximo (20 a 50 anos) são incríveis - parece
> um roteiro de ficção científica, envolvendo nanotecnologia,
> máquinas com inteligência igual à humana (que passarão no "Teste de
> Turing"), ampliação da "consciência humana" através de nanochips
> implantados
> no cérebro,
> tecnologias de purificação e dessalinização da água (a custos razoáveis),
> solução para os problemas de fornecimento de energia, imortalidade da
> personalidade, etc. Na área de "inteligência artificial", especialmente,
> acho que daria uma boa conversa entre o Kurzweil e o Roger Penrose
> (físico-matemático britânico que não acredita no desenvolvimento
> inteligência artificial semelhante à humana).
>
> Ele tem um conceito bastante curioso de "consciência". Par ele, a
> consciência é como um software, e no futuro poderemos "atualizar" esse
> software,
> para adquirir novas habilidades. Há inclusive um livro seu chamado "A Era
> das Máquinas Espirituais" - não li, mas me disseram que é bastante
> interessante.
>
> Para um leigo, como eu, o sujeito pareceu um tanto otimista demais, mas há
> coisas no mundo de hoje que se fossem mencionadas cem anos
> atrás, ninguém acreditaria também...
>
> A página com os vídeos (são duas partes) é esta:
>
> http://especiais.globonews.globo.com/milenio/
>
> Comecem com o vídeo (post) intitulado "Rumo à Imortalidade" (mais ou menos
> no meio da página), que é a primeira parte, e depois
> subam até o vídeo (post) "O futuro segundo Ray Kurzweil - parte 2. Há mais
> dois vídeos nessa mesma página. Um deles é bem pequeno,
> e mostra algumas partes da casa do Kurzweil, onde foi gravada a entrevista.
> O outro é um trecho de entrevista, mas não está com legendas.
>
> Atenciosamente
> Paulo
>
>
> _______________________________________________
> Logica-l mailing list
> [email protected]
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
> _______________________________________________
> Logica-l mailing list
> [email protected]
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
-------------- Próxima Parte ----------
Um anexo em HTML foi limpo...
URL:
http://www.dimap.ufrn.br/pipermail/logica-l/attachments/20100111/f6597b42/attachment-0001.htm
------------------------------
Message: 4
Date: Tue, 12 Jan 2010 07:42:50 -0200
From: Francisco Antonio Doria <[email protected]>
Subject: [Logica-l] Proposta de tese de doutorado
To: [email protected]
Message-ID:
<[email protected]>
Content-Type: text/plain; charset="iso-8859-1"
Tenho um tema ótimo de tese de doutorado, mas não conheço ninguém que se
interesse por ele.
E' técnico, bastante, e precisa gostar de matemática. Emaranhamento quântico
(entanglement, entangled states) é um dos tópicos ``quentes'' hoje em dia
(deem uma googlada). Estados emaranhados têm comportamento antiintuitivo, e
servem entre outras coisas imediatas para a (ainda tentativa) computação
quântica; mas servem tambem para coisas de ficção científica, como o
teletransporte. Em 1993 ou 94 um matemático, Wayne Myrwold, a pedido creio
de Alain Aspect ou do Abner Shimony, provou que não existe qualquer
algoritmo para decidir se um sistema está num estado emaranhado ou não. O
cara usa umas técnicas bem complicadinhas para chegar ao resultado dele.
Acontece que em 90 Newton e eu havíamos desenvolvido uma técnica geral para
provar que sistemas arbitrários eram indecidíveis. A gente pode usar o mesmo
truque para provar o resultado de Myrwold, e inclusive estendê-lo. (Sai
quase que trivialmente que não há algoritmo para computar soluções exatas da
equação de Schrödinger, por exemplo.)
O tema é quente, ultraatual, dá uma tese de PhD e publicação em revista de
primeiro time. Mas é difícil.
A quem se interessar prometo ajudar (se for o caso) na inscrição num
programa de doutorado adequado da UFRJ. Dificuldades: tem que gostar
***muito*** de matemática.
Alguem se interessa? Conhece alguem que se interesse? Os orientadores seriam
Newton e eu.
-------------- Próxima Parte ----------
Um anexo em HTML foi limpo...
URL:
http://www.dimap.ufrn.br/pipermail/logica-l/attachments/20100112/da7f34da/attachment-0001.htm
------------------------------
Message: 5
Date: Tue, 12 Jan 2010 09:34:02 -0200
From: Francisco Antonio Doria <[email protected]>
Subject: Re: [Logica-l] Proposta de tese de doutorado
To: [email protected]
Message-ID:
<[email protected]>
Content-Type: text/plain; charset="iso-8859-1"
Errei na grafia do nome: é Myrvold.
2010/1/12 Francisco Antonio Doria <[email protected]>
>
> Tenho um tema ótimo de tese de doutorado, mas não conheço ninguém que se
> interesse por ele.
>
> E' técnico, bastante, e precisa gostar de matemática. Emaranhamento
> quântico (entanglement, entangled states) é um dos tópicos ``quentes'' hoje
> em dia (deem uma googlada). Estados emaranhados têm comportamento
> antiintuitivo, e servem entre outras coisas imediatas para a (ainda
> tentativa) computação quântica; mas servem tambem para coisas de ficção
> científica, como o teletransporte. Em 1993 ou 94 um matemático, Wayne
> Myrwold, a pedido creio de Alain Aspect ou do Abner Shimony, provou que não
> existe qualquer algoritmo para decidir se um sistema está num estado
> emaranhado ou não. O cara usa umas técnicas bem complicadinhas para chegar
> ao resultado dele.
>
> Acontece que em 90 Newton e eu havíamos desenvolvido uma técnica geral para
> provar que sistemas arbitrários eram indecidíveis. A gente pode usar o mesmo
> truque para provar o resultado de Myrwold, e inclusive estendê-lo. (Sai
> quase que trivialmente que não há algoritmo para computar soluções exatas da
> equação de Schrödinger, por exemplo.)
>
> O tema é quente, ultraatual, dá uma tese de PhD e publicação em revista de
> primeiro time. Mas é difícil.
>
> A quem se interessar prometo ajudar (se for o caso) na inscrição num
> programa de doutorado adequado da UFRJ. Dificuldades: tem que gostar
> ***muito*** de matemática.
>
> Alguem se interessa? Conhece alguem que se interesse? Os orientadores
> seriam Newton e eu.
>
>
>
-------------- Próxima Parte ----------
Um anexo em HTML foi limpo...
URL:
http://www.dimap.ufrn.br/pipermail/logica-l/attachments/20100112/e506b843/attachment-0001.htm
------------------------------
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Fim da Digest Logica-l, volume 47, assunto 9
********************************************
____________________________________________________________________________________
Veja quais são os assuntos do momento no Yahoo! +Buscados
http://br.maisbuscados.yahoo.com_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
