04/02/2016, 14:30 — 15:30 — Abreu Faro Amphitheatre
José Félix Costa, Instituto Superior Técnico, Universidade de Lisboa
Física e Computação
Com generalidade, a Física não é simulável. É uma grande surpresa ver como o problema da paragem dos algoritmos está relacionado com a simulação de uma teoria física... De um lado, temos a teoria física. De outro, temos a teoria da máquina de Turing, modelo de algoritmo. Que relação há entre estes dois mundos? Aparentemente nenhuma... A relação encontra-se nas virtualidades que os fenómenos naturais têm, quando interpretados no limite da teoria física, de manifestar o designado efeito de Zenão, processo que permite encapsular uma infinidade de eventos discretos num intervalo de tempo finito. É este o tema deste minicurso.
