Notions of Probabilistic Computability on Represented Spaces

: We define and compare several probabilistic notions of computability for mappings from represented spaces (that are equipped with a measure or outer measure) into computable metric spaces. We thereby generalize definitions by [Ko 1991] and Parker (see [Parker 2003, Parker 2005, Parker 2006]), and furthermore introduce the new notion of computability in the mean. Some results employ a notion of computable measure that originates in definitions by [Weihrauch 1999] and [Schr

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Volker Bosserhoff
• Keywords: Computability, Computable, Computable Metric Spaces, ENTCS 2008