March 3rd, 2000

beartato phd

-

Saw "Anywhere but Here" in McConomy.

From yesterday: No really terrible issues arise;
just that this iteration process necessarily
produces a (noncomputable) set of axioms which
disagree with the model the process lives in,
by the usual diagonalization proof.
This is still moderately weird.