BIG PROOF

43 views
Skip to first unread message

valeria.depaiva

unread,
Jul 14, 2017, 5:39:01 PM7/14/17
to LOGICA-L
BIG PROOF: A workshop happening in the Newton Institute  in Cambridge now.
for fun.

a little bit of logic, a little bit of philosophy, or a little bit of mathematics, for each one of us.

abracos,
Valeria


Walter Carnielli

unread,
Jul 14, 2017, 6:04:40 PM7/14/17
to Lista dos Logicos Brasileiros
O que eu achei sensacional foi Natarajan Shankar se esquecer de
mencionar George Boole não seu "hall da fama", embora "boolean"
como adjetivo apareça em meia dúzia de diferentes conceitos...

Vingança dos indianos contra a dominação inglesa?




Em 14 de julho de 2017 18:39, valeria.depaiva
<valeria...@gmail.com> escreveu:
> --
> 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+u...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logi...@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/f095ec87-57fb-4479-979d-caccba428d54%40dimap.ufrn.br.



--
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

Marcelo Finger

unread,
Jul 15, 2017, 6:29:56 AM7/15/17
to logi...@dimap.ufrn.br
Boole era irlandês,não?
> --
> 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+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@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%2Bob58O3qdUFD%2BN9gUn1rFJQ6vj1ZOBbWS8Kz0bLfcPdaL%3DKVw%40mail.gmail.com.



--
Marcelo Finger
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger

jyb

unread,
Jul 15, 2017, 6:49:31 AM7/15/17
to LOGICA-L
com eu lembro no meu artigo
Is the principle of contradiction a consequence of xx = x ?
A mulher do George Boole se chamava Mary Everest,
era sobrinha de George Evererst que deu nome a aquela BIG MOUNTAIN
Mary Everest promoveu a matematica e as mulheres
Aconselho o livrinho dela muito divertido 
Philosophy and Fun of Alegbra
Os dois eram ingleses mas o Boole foi contratado para trabalhar em Cork na Irlanda onde faleceu pramaturamente:
ele tinha pegada uma chuva muito forte mas com ele era muito dedicado ele foi dar aula tudo molhado
voltando para a casa, a Mary,  uma precursora da homeopatia, jogou baldes de agua acima dele para curar ele
o resultado inesperadao levou a morte do Boole
JYB

Joao Marcos

unread,
Jul 15, 2017, 6:56:59 AM7/15/17
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
> Boole era irlandês,não?

Britânico, de Lincoln. Mas "As Leis do Pensamento" são irlandesas,
como boa parte da literatura inglesa de algum valor: foram escritas
(descobertas?) já quando ele professor na Irlanda, na cidade de Rolha
:-)

JM

jyb

unread,
Jul 15, 2017, 7:27:51 AM7/15/17
to LOGICA-L
Caro JM
Estou vendo que voce pegou o jeito do humour choucroute da alemanha ...
Importante assinalar que a lógica moderna é muito ligada a ingleterra.
Alem do Geoge Boole: De Morgan, Stanley Jevons, John Venn, Lewis Carroll, Bertrand Russell, Alfred North Whitehead, Alan Turing ....
Um abraço, JYB

Valeria de Paiva

unread,
Jul 15, 2017, 10:30:49 AM7/15/17
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Ah Walter, e' claro que tem muita gente faltando.
 afinal uma hora de palestra nao cabe todo mundo ne?
abs,
Valeria

2017-07-14 15:04 GMT-07:00 Walter Carnielli <walter.c...@gmail.com>:
O que eu achei sensacional foi Natarajan Shankar se esquecer de
mencionar George  Boole  não seu "hall da  fama", embora  "boolean"
como adjetivo apareça em meia dúzia de diferentes conceitos...

Vingança dos indianos contra  a dominação inglesa?




Em 14 de julho de 2017 18:39, valeria.depaiva
<valeria...@gmail.com> escreveu:
> BIG PROOF: A workshop happening in the Newton Institute  in Cambridge now.
>
> Check Shankar slides,
> https://www.newton.ac.uk/files/seminar/20170626110012002-1003182.pdf
> for fun.
>
> a little bit of logic, a little bit of philosophy, or a little bit of
> mathematics, for each one of us.
>
> abracos,
> Valeria
>
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://research.nuance.com/author/valeria-de-paiva/
> http://www.cs.bham.ac.uk/~vdp/
>
> --
> 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
--
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

--
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+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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%2Bob58O3qdUFD%2BN9gUn1rFJQ6vj1ZOBbWS8Kz0bLfcPdaL%3DKVw%40mail.gmail.com.



--

Maria Lewtchuk Espindola

unread,
Jul 15, 2017, 2:10:31 PM7/15/17
to logi...@dimap.ufrn.br

Caro professor Jean


 A esposa do Boole não pode ser precursora da homeopatia! E é "pecado" dizer que a culpa seria dela!*


A homeopatia funciona se aplicada por médicos alopatas com a especialidade em homeopatia, que são competentes e que conhecem os seus limites, aplicando a alopatia quando necessário! A homeopatia funciona  devido a um simples fato: ela trata o paciente como único! (Se os modelos com poucas variáveis não nos dão resultados exatos, imagine o ser humano!)


A medicina alopata está somente engatinhando e nós somos as cobaias! 


*A arnica usei para as dores do meu marido (com quadriesparticidade) e ele morreu. Usei o banho frio para a minha filha asmática (muito bem justificado) que está viva e sem crises! Funciona...




Abs.

Maria




De: jyb <jyb.lo...@gmail.com>
Enviado: sábado, 15 de julho de 2017 07:49
Para: LOGICA-L
Assunto: Re: [Logica-l] BIG PROOF
 

Manuel Doria

unread,
Jul 15, 2017, 8:24:21 PM7/15/17
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Homeopatia  é uma forma pré-científica de medicina clinicamente ineficaz. O resultado de incontáveis estudos controlados e meta-análises é unânime: não há efeitos clínicos acima do esperado pelo efeito placebo. Ex:

A systematic review of systematic reviews of homeopathy

Homeopatia simplesmente viola algumas das generalizações mais bem testadas acerca da natureza da matéria. No cenário contrafactual da homeopatia funcionando, os físicos e químicos teriam problemas graves para resolver. Mas não funciona, é charlatanismo.

[ ]'s

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

--
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+unsubscribe@dimap.ufrn.br.

Para postar nesse grupo, envie um e-mail para logi...@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/SC1P152MB1677DEED1A1675B940EF09E0A6A20%40SC1P152MB1677.LAMP152.PROD.OUTLOOK.COM.

jyb

unread,
Jul 16, 2017, 6:03:37 AM7/16/17
to LOGICA-L
Cara Maria
Parce que uma vez da 0, outra vez 1
então é Booleano !
Um abraço, Jean-Yves
Para postar nesse grupo, envie um e-mail para log...@dimap.ufrn.br.
Reply all
Reply to author
Forward
0 new messages