PessoALL: No link seguinte se encontram as palestras gravadas pelos colegas do Instituto de Investigaciones Filosóficas da UNAM: https://www.youtube.com/user/IIFsUNAM Segundo me informaram, devido a algumas dificuldades técnicas momentâneas, eles não podem prometer que as palestras do "Programs, Minds and Machines" / https://sites.google.com/view/computing-and-philosophy2018/home/program ) serão transmitidas *ao vivo*. Mas elas serão *gravadas e depositadas no YouTube*, no canal supra-mencionado.
Abraços, Joao Marcos PS: Alexandre e demais colegas, peço que me desculpem a falta de uma resposta mais pessoal nos últimos dias... A correria tem sido intensa! On Thu, Aug 2, 2018 at 7:57 AM Alexandre Rademaker <[email protected]> wrote: > > > 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. -- 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/CAO6j_LhCZo9fBNaDDV8o82A_OraBKSO1je1LBLm-yPk-wSamPg%40mail.gmail.com.
