Nesta palestra iremos abordar o tema da computação com números reais. A utilização de algoritmos para resolver problemas matemáticos é já muito antiga, remontando pelo menos ao tempo de Euclides. Todavia, só no século XX é que se procurou compreender melhor o conceito de “computação” ou de “algoritmo”, com os trabalhos de Turing, Church, entre outros. Esses trabalhos vieram dar origem à área hoje conhecida como Teoria da Computação.

No entanto, os modelos computacionais utilizados são essencialmente discretos, pelo que nem sempre é claro o que é, de uma perspetiva formal, um algoritmo que utilize números reais. Neste seminário iremos abordar esta temática e iremos ver de que forma se pode definir computação com números reais, de modo a que esta noção não dependa da utilização de modelos computacionais discretos (digitais) ou contínuos (analógicos). Iremos ainda ver como se podem estabelecer relações com a Teoria da Computação clássica.