SCHIZOPHRENIA IN CONTEMPORARY MATHEMATICS Y. K. Chan has done much to constructivize the theory of stochastic processes. His paper [lo] unifies the two classically distinct cases of the renewal theorem into one constructive result. His paper [12] contains the following theor em: THEOREM. Let p and p be probability measures on R, and fl and f2 their characteristic functions (Fourier transforms). Let g be a con- tinuous function on R, with lgl s 1. Then for every c 0 there exist 6 0 and 9 0, depending only on c and the moduli of continuity of fl, f2, and g, such that whenever If - f21 8 on [- 9. 81 . 1 A simple corollary is Levy's theorem. that if {pn3 is a sequence of probability measures on W, whose characteristic functions {f 3 converge n uniformly on compact sets to some function f , then p n converges weakly to a probability measure p whose characteristic function is f Levy's theorem is classically an important tool for proving converg- ence of measures. Chan shows that this is also true constructively, by using it to get constructive proofs of the central limit theorem and of the Levy- Khintchine formula for infinitely divisible distributions. Chants papers 191 and [ 111 are primarily concerned with the problem of constructing a stochastic process. In [9] he gives a constructive version of Kolmogorov's extension theorem. In [ 111 , he constructivizes the classical derivation of a time homogeneous Markov process from a strongly continuous semi-group of transition operators. In addition he proves Ionescu Tulcea's 1 theorem and a supermartingale convergence theorem. H. Cheng [13] has given a very pretty version of the Riemann mapping theorem and Caratheodory's results on the convergence of mapping functions. He defines a simply connected proper open subset U of the complex plane C to be mappable relative to some distinguished .point z of U if for each 0 @ 0 there exist finitely many points z l r . . . , ~ in the complement of U n such that any continuous path beginning at z and having distance 2 c from 0 each of the points z l,...,z n lies entirely in U . He shows that mppability is necessary and sufficient for the existence of a mapping function. He goes on to study the dependence of the mapping function on the domain, by defining

Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 1985 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.