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 Aconselho o livrinho dela muito divertido Philosophy and Fun of Alegbra https://www.gutenberg.org/files/13447/13447-pdf.pdf 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
Le samedi 15 juillet 2017 12:29:56 UTC+2, mfinger a écrit : > > Boole era irlandês,não? > > 2017-07-14 19:04 GMT-03:00 Walter Carnielli <[email protected] > <javascript:>>: > > 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 > > <[email protected] <javascript:>> 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 > >> um e-mail para [email protected] <javascript:>. > >> Para postar nesse grupo, envie um e-mail para [email protected] > <javascript:>. > >> 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: [email protected] <javascript:> > > 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 [email protected] <javascript:>. > > Para postar neste grupo, envie um e-mail para [email protected] > <javascript:>. > > 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 > -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/a37a5715-9575-4e76-b5c0-9754153666b4%40dimap.ufrn.br.
