Mathematics at Técnico 

01/07/2019, 14:00 — 14:40 — Room P3.10, Mathematics Building
Carlos Caleiro, Instituto Superior Técnico

Terminar ou não, eis a questão

Nesta palestra viajaremos pela Teoria da Computação, de forma lúdica, mostrando como a partir de conceitos simples e ideias poderosas podemos chegar rapidamente às profundezas da Matemática moderna. Falaremos de algoritmos e do famoso problema da terminação, passaremos pelo zoo da complexidade, debater-nos-emos com números absurdamente grandes e funções definidas por castores atarefados, e veremos como isso nos leva a problemas em aberto, por exemplo em Teoria de Números, como a conjectura de Goldbach.