Proposta de um modelo de computabilidade do continuop

Nesta dissertação mostramos que a teoria dos domínios contínuos pode ser um modelo de computabilidade no contínuo, visto que esta teoria está mais próxima aos modelos computacionais no discreto. Para isso, primeiramente, apresentamos cinco proposições inerentes ao domínio dos reais parciais (domínios dos intervalos de extremos reais), que caracterizam as propriedades fundamentais das famílias padrão de algoritmos. Em seguida mostramos que as funções que caracterizam estas proposições são funções contínuas e consequentemente, monotônicas na base. A intenção de mostrar que estas funções são contínuas é devido a um dos princípios de Scott, no que diz respeito a computabilidade das funções, onde ele defende que as funções contínuas entre domínios correspondem, justamente, aquelas que podem ser computadas.