Larry_D'Anna comments on The Pascal's Wager Fallacy Fallacy - Less Wrong

23 [deleted] 18 March 2009 12:30AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (121)

Sort By: Old

You are viewing a single comment's thread.

Comment author: Larry_D'Anna 18 March 2009 02:50:43AM 1 point [-]

"first-order logic cannot, in general, distinguish finite models from infinite models."

Specifically, if a fist order theory had arbitrarily large finite models, then it has an infinite one.