Re: [META] [Logica-l] A nova equação da física --- O que isso tem a ver com a lógica [Humor]

> > ``Ter a ver com'' é difícil de responder. Quando, em 87, disse ao Newton que > estava procurando exemplos de sentenças indecidíveis em física, me > responderam com comentários variados: > > - Um deles foi, justamente, ``isso nem é física nem lógica.'' > - Outro: ``o princípio da incerteza em

[Logica-l] Re: [Meta] O que tem a ver com Lógica

Bom de saber que a Selma tem interesse para diagramas Eduardo Acho que ela iria ficar muito feliz se voce leva ela com voce na India para a 2nd Indian Winter School on Diagrams 2017, Kolkata (India), 13-17 Feb 2017 https://sites.google.com/site/winterschoolondiagrams2017/ Jean-Yves Le jeudi 22

[Logica-l] Re: [Meta] O que tem a ver com Lógica

Confondi o nome da sua cachorra "Selana" (rainha da lua na grecia) com o nome de uma amiga minha "Selma" (pacifica, em arabico). Benvindo a mais um animal na lista logica-l ! Adqueri recetemmente uma Tigra do Bengalo: http://www.jyb-logic.org/tigra-do-bengalo.JPG Estou pensando levar ela tambem

[Logica-l] Tigra do Bengalo

"Tigra do Bengalo" eh delicioso, Jean-Yves. Ganha ate do " uma tipa", um dos meus preferidos :-) Feliza Natala, W. > Em 22 de dez de 2016, às 07:59, jyb escreveu: > > Confondi o nome da sua cachorra "Selana" (rainha da lua na grecia) com o > nome de uma amiga minha "Selma" (pacifica, em arab

Re: [META] [Logica-l] A nova equação da física --- O que isso tem a ver com a lógica [Humor]

Só uma correção: não foi o Newton quem me respondeu com aqueles comentários. Foram diversos outros amigos. Newton e o Leopoldo, ao contrário, me incentivaram na suposta loucura... 2016-12-22 6:13 GMT-02:00 Joao Marcos : > > > > ``Ter a ver com'' é difícil de responder. Quando, em 87, disse ao Ne

[Logica-l] [META] Mensagens "off-topic" e "topic-related".

Olá caros, como prometido, tenho trabalhando para aparecer o mínimo possível por aqui, mas estou acompanhado com cuidado a discussão "[Meta] O que tem a ver com lógica" e acho que temos uma ótima oportunidade para melhorar nossas regras de convívio

[Logica-l] DEC16 - verbetes SEP recentemente publicados ou reformados

* * * ALGUNS NOVOS VERBETES Algebraic Propositional Logic Ramon Jansana https://plato.stanford.edu/entries/logic-algebraic-propositional/ (substitui o verbete "Propositional Consequence Relations and Algebraic Logic", do mesmo autor) Quantum-Bayesian and Pragmatist Views of Quantum T

[Logica-l] [ciência] Outro exemplo

Alain Aspect propôs um problema de decisão em teoria de emaranhados quânticos: construir um algoritmo cujo input é uma função de onda de Schrödinger, e cujo output nos diga se tal função descreve ou não partículas emaranhadas. O problema é indecidível. Não existe tal algoritmo. Tem duas provas: um