Jason (jcreed) wrote,
Jason
jcreed

-

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?
right?
sigh.

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.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments