FG1 Seminar talk
Random constructions imply symmetry
We will argue for the claim of the title in the areas of algebra, theoretical computer science, and theoretical physics. In algebra, we will consider the random graph. For theoretical computer science, we will give a probabilistic construction of locally finite and of Scott domains and show that with probability 1 our construction produces a universal homogeneous domain. Finally, we consider causal sets which have been used as basic models for discrete space-time in quantum gravity.