Re: [Logica-l] BIG PROOF

2017-07-16 Por tôpico jyb
sei o banho frio para a minha filha asmática (muito bem > justificado) que está viva e sem crises! Funciona... > > > > > Abs. > > Maria > > > > > > > -------------- > *De:* jyb > > *Enviado:* sábado, 15 de julho de 2017 07:49 >

Re: [Logica-l] BIG PROOF

2017-07-15 Por tôpico Manuel Doria
> > > > > Abs. > > Maria > > > > > > > -------------- > *De:* jyb > *Enviado:* sábado, 15 de julho de 2017 07:49 > *Para:* LOGICA-L > *Assunto:* Re: [Logica-l] BIG PROOF > > com eu lembro no meu artigo > Is the princ

Re: [Logica-l] BIG PROOF

2017-07-15 Por tôpico Maria Lewtchuk Espindola
res 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 Enviado: sábado, 15 de julho de 2017 07:49 Para: LOGICA-L Assunto: Re:

Re: [Logica-l] BIG PROOF

2017-07-15 Por tôpico Valeria de Paiva
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 : > O que eu achei sensacional foi Natarajan Shankar se esquecer de > mencionar George Boole não seu "hall da fama", embora "boolean"

Re: [Logica-l] BIG PROOF

2017-07-15 Por tôpico jyb
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

Re: [Logica-l] BIG PROOF

2017-07-15 Por tôpico Joao Marcos
> 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 -- Você está recebendo esta mensagem porque se inscreveu

Re: [Logica-l] BIG PROOF

2017-07-15 Por tôpico jyb
com eu lembro no meu artigo Is the principle of contradiction a consequence of xx = x ? http://www.jyb-logic.org/papers/jyb-boole.pdf 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

Re: [Logica-l] BIG PROOF

2017-07-15 Por tôpico Marcelo Finger
Boole era irlandês,não? 2017-07-14 19:04 GMT-03:00 Walter Carnielli : > 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 c

Re: [Logica-l] BIG PROOF

2017-07-14 Por tôpico Walter Carnielli
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 e

[Logica-l] BIG PROOF

2017-07-14 Por tôpico valeria.depaiva
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