- entrevista com John Harrison, criador de HOL light - 1 atualização
- CREATIVITY'2019 - Lançamento de Livros - 3 atualizações
Valeria de Paiva <valeria...@gmail.com>: Nov 16 12:54PM -0800
https://d1le29qyzha1u4.cloudfront.net/AWS_Podcast_Episode_337.mp3
abs
--
Valeria de Paiva
http://vcvpaiva.github.io/
http://www.cs.bham.ac.uk/~vdp/
jean-yves beziau <jyb.lo...@gmail.com>: Nov 16 03:21PM +0100
No CREATIVITY'2019
https://sites.google.com/view/creativity2019/
vamos organizar um sessão de lançamento de livros
quem quer participar,
só me dizer o título, o autor, o link
o Leo Corry, que é um dos nossos conferencistas chave, atual diretor da
Faculdade de Ciências Humanas da Universidade de Tel Aviv vai lançar
WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945–1963)
https://www.amazon.com/gp/product/3030257339/ref=as_li_qf_asin_il_tl?ie=UTF8&tag=leocorpersit-20&creative=9325&linkCode=as2&creativeASIN=3030257339&linkId=7048ba2ea25ac0367de8779d3b98de99
Também vai ser lançado
OEUVRES CHOISIES DE MARC KRASNER
Un mathématicien hors du commun
Luc Bélair, Bruno Poizat
http://www.editions-harmattan.fr/index.asp?navig=catalogue&obj=livre&no=64040
Krasner foi orientador do Poizat e grande amigo do Newton da Costa
JYB
Andrea Loparic <alop...@gmail.com>: Nov 16 01:03PM -0300
Quando Krasner veio a São Paulo, ficou hospedado na minha casa.
Tive o privilégio de trabalhar um pouco com ele, mas nunca publiquei o
que fizemos naqueles dias e infelizmente não sei mais onde estão as
notas que escrevi na época... Sorry...
Em sáb., 16 de nov. de 2019 às 11:22, jean-yves beziau <
"josé carlos cifuentes" <jcc...@gmail.com>: Nov 16 05:02PM -0300
Se me permitem continuar no caminho das lembranças sobre o Krasner, posso
mencionar que conheci ele apenas numa palestra que deu na PUC de Lima a
convite do Departamento de Ciências, enquanto eu era estudante de
graduação. Foi aproximadamente em meados dos anos 1970 e ele discursou
sobre uma teoria de Galois generalizada que estava desenvolvendo. Não
esqueço as motivações que isso supunha para um estudante em formação.
Cifuentes
.
Em sáb., 16 de nov. de 2019 às 13:03, Andrea Loparic <alop...@gmail.com>
escreveu:
Você recebeu esse resumo porque está inscrito para receber atualizações deste grupo. Você pode alterar suas configurações na página de associação do grupo.
Para cancelar sua inscrição neste grupo e deixar de receber e-mails do mesmo, envie um e-mail para logica-l+u...@dimap.ufrn.br.