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

2016-12-22 Por tôpico Joao Marcos 
>
> ``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 mecânica quântica é a cara da 
> indecidibilidade em física. (Besteira; um nada tem a ver com o outro.) Ou, 
> ``a mecânica clássica é uma teoria completa.'' Bobagem grossa também.
> - Você vai ter que axiomatizar a física, e gente muito melhor que você já 
> tentou, sem sucesso. (Não digo que foi fácil fazê-lo, mas deu para chegar lá 
> sem maiores tropeços.)
>
> Etc
>
> Estendemos a axiomática da física até a economia, onde, por sugestão do Tsuji 
> provamos um teorema  de incompletude para a teoria de Arrow-Debreu. Nada do 
> que Newton e eu fizemos é intuitivo, mas comprova uma frase do Chaitin, 
> undecidability is everywhere.
>
> E claro, usamos um bocadão de lógica para chegar lá. Nesse sentido, o que 
> fizemos foi lógica, ainda se aplicada.


Está mensagem é inteiramente adequada ao acordado nas "regras de
convívio" da nossa lista.  Em contraste, a mensagem original completa
foi:

> Não é brinquedo; é um fato fundamental o que está sendo descrito aqui:
>
> ER = EPR

*Esta* mensagem é claramente inadequada, não importando quem seja o
remetente.  (Defender o contrário é tomar esta comunidade de assalto.)

> Vou adotar os colchetes; boa ideia.

Ótima idéia,  sem dúvida.

JM

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lj%3DbrhQuDPBw%3DQVKUHWO8wt9VhDUYo12-zsu1%2B%2B-8B4TQ%40mail.gmail.com.

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

2016-12-22 Por tôpico jyb 
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 décembre 2016 02:40:10 UTC+1, eduardoochs a écrit :
>
> Rapidim, três coisas:
>
> 1) Eu acho a resposta que o João Marcos deu agora há pouco
>perfeita:
>
>  "As atuais regras de convivência da lista requerem que os
>  membros responsáveis ao menos tentem fazer a ligação com
>  o tema central de discussão da lista. A sua mensagem faz isto,
>  Carlos. A do Dória, não."
>
>
> https://groups.google.com/a/dimap.ufrn.br/forum/#!msg/logica-l/5QD7dXwxcW4/MM9dOznHDgAJ
>
>
> 2) A gente discutiu bastante aqui em abril e junho sobre qual nós
>achávamos que deveria ser a etiqueta da lista sobre posts
>off-topic e posts triviais, e acho que agora está surgindo uma
>categoria nova à qual boa parte da discussão antiga se
>aplica, que é dos posts que podem parecer off-topic pra leigos,
>mas que com poucas frases explicativas se tornariam on-topic...
>Acho que este meu post de 29/abril/2016 tem idéias importantes:
>
>
> https://groups.google.com/a/dimap.ufrn.br/forum/#!msg/logica-l/MuCIUL_C6xQ/pHzxrvRCBAAJ
>
>
> 3) Acabei de pôr uma foto da Selana com diagramas aqui:
>
>http://angg.twu.net/tmp/20161221_selana_diagramas.jpg
>
>
> [[]],
>   Eduardo Ochs
>
>

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ca9f9a11-2a59-4649-9faf-c12e8e9457ce%40dimap.ufrn.br.

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

2016-12-22 Por tôpico jyb 
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 para Kolkata
JYB 

Le jeudi 22 décembre 2016 10:33:18 UTC+1, jyb a écrit :
>
> 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 décembre 2016 02:40:10 UTC+1, eduardoochs a écrit :
>>
>> Rapidim, três coisas:
>>
>> 1) Eu acho a resposta que o João Marcos deu agora há pouco
>>perfeita:
>>
>>  "As atuais regras de convivência da lista requerem que os
>>  membros responsáveis ao menos tentem fazer a ligação com
>>  o tema central de discussão da lista. A sua mensagem faz isto,
>>  Carlos. A do Dória, não."
>>
>>
>> https://groups.google.com/a/dimap.ufrn.br/forum/#!msg/logica-l/5QD7dXwxcW4/MM9dOznHDgAJ
>>
>>
>> 2) A gente discutiu bastante aqui em abril e junho sobre qual nós
>>achávamos que deveria ser a etiqueta da lista sobre posts
>>off-topic e posts triviais, e acho que agora está surgindo uma
>>categoria nova à qual boa parte da discussão antiga se
>>aplica, que é dos posts que podem parecer off-topic pra leigos,
>>mas que com poucas frases explicativas se tornariam on-topic...
>>Acho que este meu post de 29/abril/2016 tem idéias importantes:
>>
>>
>> https://groups.google.com/a/dimap.ufrn.br/forum/#!msg/logica-l/MuCIUL_C6xQ/pHzxrvRCBAAJ
>>
>>
>> 3) Acabei de pôr uma foto da Selana com diagramas aqui:
>>
>>http://angg.twu.net/tmp/20161221_selana_diagramas.jpg
>>
>>
>> [[]],
>>   Eduardo Ochs
>>
>>

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d03271a4-515f-4c8a-a07d-3769c253d37a%40dimap.ufrn.br.

[Logica-l] Tigra do Bengalo

2016-12-22 Por tôpico Walter Alexandre Carnielli 
"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 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 para Kolkata
> JYB 
> 
> Le jeudi 22 décembre 2016 10:33:18 UTC+1, jyb a écrit :
>> 
>> 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 décembre 2016 02:40:10 UTC+1, eduardoochs a écrit :
>>> 
>>> Rapidim, três coisas:
>>> 
>>> 1) Eu acho a resposta que o João Marcos deu agora há pouco
>>>perfeita:
>>> 
>>>  "As atuais regras de convivência da lista requerem que os
>>>  membros responsáveis ao menos tentem fazer a ligação com
>>>  o tema central de discussão da lista. A sua mensagem faz isto,
>>>  Carlos. A do Dória, não."
>>> 
>>> https://groups.google.com/a/dimap.ufrn.br/forum/#!msg/logica-l/5QD7dXwxcW4/MM9dOznHDgAJ
>>> 
>>> 
>>> 2) A gente discutiu bastante aqui em abril e junho sobre qual nós
>>>achávamos que deveria ser a etiqueta da lista sobre posts
>>>off-topic e posts triviais, e acho que agora está surgindo uma
>>>categoria nova à qual boa parte da discussão antiga se
>>>aplica, que é dos posts que podem parecer off-topic pra leigos,
>>>mas que com poucas frases explicativas se tornariam on-topic...
>>>Acho que este meu post de 29/abril/2016 tem idéias importantes:
>>> 
>>> https://groups.google.com/a/dimap.ufrn.br/forum/#!msg/logica-l/MuCIUL_C6xQ/pHzxrvRCBAAJ
>>> 
>>> 
>>> 3) Acabei de pôr uma foto da Selana com diagramas aqui:
>>> 
>>>http://angg.twu.net/tmp/20161221_selana_diagramas.jpg
>>> 
>>> 
>>> [[]],
>>>   Eduardo Ochs
>>> 
> 
> -- 
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em 
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d03271a4-515f-4c8a-a07d-3769c253d37a%40dimap.ufrn.br.

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/B110DD9A-F177-475B-AF01-C7CF37B9D7C4%40gmail.com.

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

2016-12-22 Por tôpico Francisco Antonio Doria 
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 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 mecânica quântica é a cara da
> indecidibilidade em física. (Besteira; um nada tem a ver com o outro.) Ou,
> ``a mecânica clássica é uma teoria completa.'' Bobagem grossa também.
> > - Você vai ter que axiomatizar a física, e gente muito melhor que você
> já tentou, sem sucesso. (Não digo que foi fácil fazê-lo, mas deu para
> chegar lá sem maiores tropeços.)
> >
> > Etc
> >
> > Estendemos a axiomática da física até a economia, onde, por sugestão do
> Tsuji provamos um teorema  de incompletude para a teoria de Arrow-Debreu.
> Nada do que Newton e eu fizemos é intuitivo, mas comprova uma frase do
> Chaitin, undecidability is everywhere.
> >
> > E claro, usamos um bocadão de lógica para chegar lá. Nesse sentido, o
> que fizemos foi lógica, ainda se aplicada.
>
>
> Está mensagem é inteiramente adequada ao acordado nas "regras de
> convívio" da nossa lista.  Em contraste, a mensagem original completa
> foi:
>
> > Não é brinquedo; é um fato fundamental o que está sendo descrito aqui:
> >
> > ER = EPR
>
> *Esta* mensagem é claramente inadequada, não importando quem seja o
> remetente.  (Defender o contrário é tomar esta comunidade de assalto.)
>
> > Vou adotar os colchetes; boa ideia.
>
> Ótima idéia,  sem dúvida.
>
> JM
>
> --
> 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lj%3DbrhQuDPBw%
> 3DQVKUHWO8wt9VhDUYo12-zsu1%2B%2B-8B4TQ%40mail.gmail.com.
>



-- 
fad

ahhata alati, awienta Wilushati

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2BuR7B%2BJ2fJbcpQW0%3DMNXhXvBcZoiunniR%2BnDkQDEQmhBQecnA%40mail.gmail.com.

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

2016-12-22 Por tôpico LOGICA-L 
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 

.

A ideia de ter colchetes para ciência e outro assuntos topic-related da 
lista,--- como o qualis!--- é ótima e recomendo. Gostaria, no entanto de me 
juntar ao coro de João e Eduardo pedindo a todos que se esforcem para ligar 
suas mensagens com o tema central da lista em respeito aos outros 
participantes.

Proponho substituir a cláusula 5 das regras de convívio 

:

5 postagens "off-topic": mensagens que não tratem de Lógica devem ser 
evitadas sempre que possível, ou ao menos marcadas claramente como 
[OFF-TOPIC] no campo "assunto"

por duas cláusulas:

5.1 postagens "off-topic": mensagens que não tratem de Lógica devem ser 
evitadas sempre que possível, e quando postadas devem ser marcadas 
claramente com o colchete "[OFF-TOPIC]". 

*5.2 postagens "topic-related":* As mensagens que não tem como assunto 
principal a lógica, mas que potencialmente interessa a comunidade, devem 
ser marcadas com colchetes informativos, p.e. "[Ciência]", "[Humor]", 
"[Qualis]" no campo "assunto". Estas mensagens devem ser elaboradas de 
maneira a se adequar com o tema e interesse dos participantes da lista.


Agradeço a atenção e aguardo por sugestões,


*Carolina Blasio*
​Adminitradora da logica-l

*"Most if not all choices in life are not binary"*
M. Dunn, 2010. Too much of a good thing.

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c1c0c4fa-b0be-42e7-af02-c475512ca1c4%40dimap.ufrn.br.

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

2016-12-22 Por tôpico Joao Marcos 
* * *

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 Theory
  Richard Healey
  https://plato.stanford.edu/entries/quantum-bayesian/

The Normative Status of Logic
  Florian Steinberger
  https://plato.stanford.edu/entries/logic-normative/

* * *

OUTROS VERBETES RECENTEMENTE REVISADOS

Liar Paradox
  Jc Beall, Michael Glanzberg and David Ripley
  https://plato.stanford.edu/entries/liar-paradox/

Paraconsistent Logic
  Graham Priest, Koji Tanaka and Zach Weber
  https://plato.stanford.edu/entries/logic-paraconsistent/

* * *

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhAUydD78EhaeBup90U6%2BT5yEj9QMFnjaFSA4GNmuDtVQ%40mail.gmail.com.

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

2016-12-22 Por tôpico Francisco Antonio Doria 
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: uma,
de Wayne Myrvold, e outra que Newton e eu demos (não publicamos).

-- 
fad

ahhata alati, awienta Wilushati

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2BuR7BKELJr6ZGEvtJaXabwLRfgAyWVbuvr2G36Yo_ryZ-F-qA%40mail.gmail.com.