Em "Eu robô", baseado nos livros do Asimov, há bastante referências. A
parte que mais gosto é o argumento da VIKI para atacar os humanos - tendo
como premissas as três leis. Um bom exemplo de norma "prima facie" ou
argumento não-monotônico (dependendo de como vc o interpreta). Eu vejo como
exemplo
Divulgando a pedido, a quem interessar possa.
D
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
www.cfh.ufsc.br/~dkrause
Início da mensagem encaminhada:
> De: Marco Ruffino
> Assunto: Encaminhada
Certa vez alguém fez esta mesma pergunta aqui nesta lista. Isso já faz um
bom tempo.
Lembro que falaram do filme Alice no País das Maravilhas.
Existe um livro que trata os aspectos lógicos e matemáticos deste filme.
Em 12 de novembro de 2013 10:05, Rafael Testa escreveu:
> Em "Eu robô", baseado
> Lembro que falaram do filme Alice no País das Maravilhas.
> Existe um livro que trata os aspectos lógicos e matemáticos deste filme.
A propósito, este livro, inteiramente anotado pelo Martin Gardner, foi
publicado recentemente em português em uma tradução que ganhou o
Prêmio Jabuti.
Abraços, JM
(The man from Earth)
http://www.youtube.com/watch?v=hM_zl2GIg44
Um filme sobre argumentação e teoremas, obra muito interessante.
Peace;
Fynn.
--
"Even a stopped clock is right twice a day"
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dima
Ola Rita
Acho importante distinguir duas coisas:
1) a logica proposicional, em particular a logica proposicional classica,
com um sistema
que pode ser apresentado de varias formas mais ou menos tecnicas
Aqui uma presentacao claro e breve do Kevin Klement
na Internet Encyclopedia of Philosophy -
Colegas,
Muito obrigado por todas as sugestões de filmes e vídeos. Encaminhei o Digest
da lista com 18 mensagens para meu colega que fez a pergunta e... tenho a
impressão de que a lista vai ganhar um novo membro :)
Saudações,
Daniel.
-
Departamento de Filosofia - (UFRN)
http://danieldurante
Incluindo, finalmente, um verbete sobre os teoremas de incompletude de Gödel.
JM
* * *
NOVOS VERBETES
Godel's Incompleteness Theorem
Panu Raatikainen
http://plato.stanford.edu/entries/goedel-incompleteness/
Possible Worlds
Christopher Menzel
http://plato.stanford.edu/entries/possible-w
-- Forwarded message --
Mais um evento do LoLITA
(Group for Logic, Language, Information, Theory, and Applications)
do DIMAp/UFRN.
Estão todos convidados!
* * *
Title: "A resolution-based calculus for Coalition Logic"
Lecturer: Claudia Nalon (UnB)
Local: sala de reuniões do DI
Olás!
Não é Cinema, mas é uma das interfaces da Lógica: a Literatura.
Jacques Fux: "Literatura, testemunho, memória e ficção"
http://www.youtube.com/watch?v=uPDBBjrAvB4
Abraços,
Patrick Terrematte
2013/11/12 Enrique Fynn
> (The man from Earth)
> http://www.youtube.com/watch?v=hM_zl2GIg44
>
Olá, Rita!
Durante o meu mestrado orientado pelo Prof. João Marcos, desenvolvemos um
tutorial interativo TryLogic para o Ensino de Lógica Proposicional através
de uma estratégia de Demonstração e Refutação:
http://lolita.dimap.ufrn.br/trylogic/
Além dessa ferramenta, desenvolvemos uma ferramenta
> Não é Cinema, mas é uma das interfaces da Lógica: a Literatura.
>
> Jacques Fux: "Literatura, testemunho, memória e ficção"
> http://www.youtube.com/watch?v=uPDBBjrAvB4
O Jacques chegou a começar o mestrado em Lógica na UNICAMP, depois que
eu o orientei em sua iniciação científica sobre os teore
12 matches
Mail list logo
