Vladimir_Nesov comments on A wild theist platonist appears, to ask about the path - Less Wrong

7 Post author: Hang 08 May 2012 11:23AM

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

Comments (99)

You are viewing a single comment's thread. Show more comments above.

Comment author: Vladimir_Nesov 11 May 2012 01:06:05AM *  2 points [-]

Recursive definitions must bottom out at some point. The ones that do not are called circular.

See Corecursion, Non-well-founded set theory, Barwise&Moss Vicious Circles.

Comment author: gRR 11 May 2012 01:13:45AM 1 point [-]

Cool, thanks!