March 2nd, 2000

beartato phd


312 midterm also pretty evil.

Um, what doesn't drive me completely
insane only makes me less liable
to go completely insane at a later
time, right?

Saw G. J. Chaitin give a talk in 7500.
Wrong, but interestingly so.
(Does there exist a set <=_T 0' that contains
every statment provable from a complete, consistent,
countable set of axioms generated by beginning
with accepted axioms for (number|set|category) theory
and iteratively adding the lexicographically least
undecidable sentence, as I think there does?
Does this lead to 'issues' with consistency?)

Saw "The Day the Earth Stood Still" in McConomy.
Heh, impatient with stupidity.