= 27d567bc2d48d9f40e9ccc20ea370b15)
Logos01 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.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (99)
There is nothing circular about the definition -- merely recursive. "GNU" stands for "GNU is Not UNIX".
As soon as you observe two things to directly interact with one another, you may safely asssert that both exist under my definition.
This is, frankly, not very complicated to figure out.
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!