The dominated convergence theorem implies that if (fn) is a sequence of functions on a probability space taking values in the interval [0, 1], and (fn) converges pointwise a.e., then ( ∫ fn)… (More)

We present a translation of §§160–166 of Dedekind’s Supplement XI to Dirichlet’s Vorlesungen über Zahlentheorie, which contain an investigation of the subfields of C. In particular, Dedekind explores… (More)

Running against this principle are Cartesian foundationalist views which contend that, with the exception of core foundational beliefs, the mere fact that a person starts out believing something… (More)

2008-present Professor of Philosophy, Carnegie Mellon University 2007-present Courtesy appointment, Department of Mathematical Sciences, Carnegie Mellon University August 2016 Visiting Researcher,… (More)

These are working notes on placing Pathak’s [5] computability-flavored version of the Lebesgue differentiation theorem into the framework developed by Hoyrup and Rojas [3, 1, 2] for working with… (More)