Aims Lab Seminar_"Analog Computability in Differential Equations", Diogo Pocas
Department of Mathematics and Statistics
Title: Analog Computability in Differential Equations
Abstract: We present a model of analog computation called General Purpose Analog Computer (GPAC), introduced by Shannon in 1941. Its power is characterized by the class of differentially algebraic functions. We address two limitations of this model: its fundamental inability to reason about functions of more than one independent variable; and the notion of approximability, a desirable property in computation over continuous spaces that is however absent in the GPAC.