Sim João, post muito bom do Moshe Vardi. Que me lembrou de:
[...] the study and optimisation of unification-based parsing must rely on
empirical data until complexity theory can more accurately predict the
practical behaviour of such parsers. [...] It seems likely that
implementational decis
E por falar em complexidade, o evento abaixo pode ser de interesse
para alguns colegas da lista.
JM
###
Symposium on 50 Years of Complexity Theory: A Celebration of the Work of
Stephen Cook
May 6-9, 2019
The Fields Institute, Toronto, Ontario, Canada
http://www.fields.utoronto.ca/activities/18-
Obrigada pelo link Joao Marcos!
On Tue, Mar 12, 2019 at 4:35 AM Joao Marcos wrote:
> Valeria me disse outro dia algo sobre como a área de Teoria de
> Complexidade tem sido uma das principais áreas em que a Lógica
> Matemática tem crescido nos últimos tempos, e isto me remeteu a este
> ensaio rec
Valeria me disse outro dia algo sobre como a área de Teoria de
Complexidade tem sido uma das principais áreas em que a Lógica
Matemática tem crescido nos últimos tempos, e isto me remeteu a este
ensaio recente escrito pelo Moshe Vardi:
Lost in Math?
Communications of the ACM, March 2019, Vol. 62 N