Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 
 

details

Title
Using approximation to characterize real computable functions

Abstract
In this talk the method of approximation to relate various classes of computable functions over the reals is reviewed. Using this method, Computable Analysis will be compared to two analog models: the General Purpose Analog Computer and Real Recursive Functions. There are a number of existing results in the literature showing that the different models correspond exactly. It will be shown that those exact correspondences can be broken down into a two step process of approximation and completion. The method of approximation has further application in relating classes of functions, exploiting the transitive nature of the approximation relation. As an example, it will be shown how to eliminate non-analytic functions from the previously known analog characterization of the real elementary computable functions.
Join work with Kerry Ojakian (IST/UTL and SQIG/IT).

Areas of interest
Logic and Computation

Speaker(s)
Manuel Campagnolo (DM/ISA/UTL e SQIG/IT)

Date
December 17, 2007

Time
17:00

Room
2.5

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia