JoshuaZ comments on Stupid Questions Open Thread Round 2 - Less Wrong

15 Post author: OpenThreadGuy 20 April 2012 07:38PM

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

Comments (208)

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

Comment author: JoshuaZ 22 April 2012 08:50:56PM 0 points [-]

What does it mean to be downclosed?

Comment author: Sniffnoy 22 April 2012 10:25:42PM 1 point [-]

I mean closed downwardly -- if one is computable, then so is any smaller one. (And so the Church-Kleene ordinal is the set of all computable ordinals.)