gRR comments on A wild theist platonist appears, to ask about the path - Less Wrong
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 (99)
Recursive definitions must bottom out at some point. The ones that do not are called circular.
You didn't say so before. Now, we two are interacting now (I hope), so we do exist, after all? And what about the characters in the virtual world of a computer game I mentioned before? I certainly saw them interacting.
So sorry for my stupidity.
See Corecursion, Non-well-founded set theory, Barwise&Moss Vicious Circles.
Cool, thanks!