Sniffnoy comments on No coinductive datatype of integers - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (138)
How on earth do those at all "fall under Gödel's proof"? Satisfying the conclusion of a theorem is not a meaningful relation to that theorem.