标题： 可计算的随机变量和条件化 显示英文标题

标题： Computable Random Variables and Conditioning

摘要： 本文的目的是提出一种基于通过赋值方法处理概率的随机变量的初等可计算理论。 该理论基于一种下可测集，这些集合是开集的控制极限，并通过提供条件随机变量的可计算理论来扩展该领域的现有工作。 该理论建立在二型有效性框架内，因此与图灵计算有明确的直接联系，并且用可计算类型和操作的系统来表达，因此具有清晰的数学描述。 显示英文摘要

摘要： The aim of this paper is to present an elementary computable theory of random variables, based on the approach to probability via valuations. The theory is based on a type of lower-measurable sets, which are controlled limits of open sets, and extends existing work in this area by providing a computable theory of conditional random variables. The theory is based within the framework of type-two effectivity, so has an explicit direct link with Turing computation, and is expressed in a system of computable types and operations, so has a clean mathematical description.