Interessante evento João! Sim por favor nos avise se tivermos vídeos !! Obrigado por compartilhar links.
Sent from my iPhone > On 31 Jul 2018, at 07:33, Joao Marcos <[email protected]> wrote: > > O prêmio Fulkerson ("for outstanding papers in the area of discrete > mathematics is sponsored jointly by the Mathematical Programming > Society (MPS) and the American Mathematical Society (AMS)") foi > oferecido pelo menos duas vezes a matemáticos cujas contribuições > foram relevantes para o desenvolvimento da área de demonstração > assistida ou automática de teoremas. Em sua primeira edição, em 1979, > Appel & Haken estavam entre os ganhadores (juntamente com o Karp, dos > problemas NP-completos), pela sua demonstração do Teorema das Quatro > Cores com o auxílio de computadores. Em 2009, Thomas Hales e seu > ex-aluno de doutorado Samuel Ferguson ganharam pela contraparte > computacional da sua demonstração da Conjectura de Kepler (a > contraparte teórica da mesma demonstração ganhou o prêmio Robbins, > "for a paper with the following characteristics: it shall report on > novel research in algebra, combinatorics or discrete mathematics and > shall have a significant experimental component; and it shall be on a > topic which is broadly accessible and shall provide a simple statement > of the problem and clear exposition of the work", três anos antes). > > * * * > > Semana passada apresentei no congresso da SBC uma palestra de > disseminação científica na qual trato em particular dos trabalhos de > Appel & Haken e de Hales & Ferguson: > > 'What we can DO with and what we can LEARN from Mechanized Reasoning'' > https://drive.google.com/file/d/1xWSvzCT5jobyDACbaPA3Kmi3VDZAM8Lw/view?usp=sharing > > (Trata-se de uma versão reduzida da apresentação convidada que fiz em 2016 no > na > 7th International Conference "Teaching Logic and Prospects of its > Development", em Kiev.) > > Na próxima semana usarei parte deste material para uma das > apresentações que farei no interessante evento "Programs, minds and > machines", na Cidade do México. > https://sites.google.com/view/computing-and-philosophy2018/home/program > (Disseram-me que estas apresentações seriam filmadas e de fato > transmitidas "en directo". Se eu souber de algo mais sobre isto, > informarei aqui. As apresentações de Moshe Vardi e de Scott Aaronson > certamente valerão a pena.) > > > Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > -- 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/AB53324F-F967-4A01-872B-C350564D47CB%40gmail.com.
