Fulkerson Prize & Computerized Theorem Proving

[Joao Marcos]

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/

[Alexandre Rademaker]

Interessante evento João! Sim por favor nos avise se tivermos vídeos !! Obrigado por compartilhar links.

Sent from my iPhone

[Joao Marcos]

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!

> --
> 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 logica-l+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> 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/