tag:blogger.com,1999:blog-2844521419334459144.post1708012132571297287..comments2023-06-30T06:45:52.513-07:00Comments on Muad`Dib: ZFC's probably inconsistentMuad`Dibhttp://www.blogger.com/profile/01896828471974774438noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-2844521419334459144.post-14881256008574402372010-11-14T07:16:56.063-08:002010-11-14T07:16:56.063-08:00That's just a stupid statement. "There is...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.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-2844521419334459144.post-3841667139170740802010-11-14T07:15:13.873-08:002010-11-14T07:15:13.873-08:00That's just a stupid statement. "There is...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.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-2844521419334459144.post-14736432401396194712010-01-16T04:46:27.394-08:002010-01-16T04:46:27.394-08:00emacs proof-general htmlize-bufferemacs proof-general htmlize-bufferMuad`Dibhttps://www.blogger.com/profile/01896828471974774438noreply@blogger.comtag:blogger.com,1999:blog-2844521419334459144.post-54652401782658063002010-01-15T18:12:20.086-08:002010-01-15T18:12:20.086-08:00What are you using to highlight coq code?What are you using to highlight coq code?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-2844521419334459144.post-35277938109834561642009-12-24T21:32:57.801-08:002009-12-24T21:32:57.801-08:00I am confused and scared. Is this how people who b...I am confused and scared. Is this how people who believe in [ZFC/God] feel when they read [your post/that sign]?Anonymousnoreply@blogger.com