Thursday 24 December 2009

ZFC's probably inconsistent



Now stop worrying and enjoy your life.

5 comments:

Anonymous said...

I am confused and scared. Is this how people who believe in [ZFC/God] feel when they read [your post/that sign]?

Anonymous said...

What are you using to highlight coq code?

Muad`Dib said...

emacs proof-general htmlize-buffer

Anonymous said...

That's just a stupid statement. "There is probably..." That means the author is not sure and why would you not enjoy your life if there is a God. You should actually enjoy it more.

Anonymous said...

That's just a stupid statement. "There is probably..." That means the author is not sure and why would you not enjoy your life if there is a God. You should actually enjoy it more.