Sewing-Machine comments on No coinductive datatype of integers - Less Wrong

4 Post author: cousin_it 04 May 2011 04:37PM

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

Sort By: Best

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

Comment author: [deleted] 05 May 2011 03:35:30AM 1 point [-]

Set theory is not easier than arithmetic! Zero is a finite number, and N+1 is a finite number if and only if N is.

Comment author: endoself 05 May 2011 07:25:49PM 0 points [-]

Yes, that is a much better definition. I don't know why this one occurred to me first.

Comments (138)