I was going to post about the first day of this job being kind of like the first day of school, except it wasn't really. It was more boring and less confusing. There was certainly the meeting-lots-of-people, and confusing instructions, and the scary tall people down the end of the hall, but nobody threw up on the carpet, and sadly, there wasn't ( Read more... )

"All consistent axiomatic formulations of number theory include undecidable propositions ( Read more... )