# Coinduction and corecursion for dummies

**URL:** <https://boards.straightdope.com/t/coinduction-and-corecursion-for-dummies/591337>\
**Category:** Factual Questions\
**Created:** [August 3, 2011, 5:09pm UTC](https://boards.straightdope.com/t/coinduction-and-corecursion-for-dummies/591337 "2011-08-03T17:09:42Z")\
**Posts on this page:** 2\
**Page:** 2

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [October 22, 2011, 12:41am UTC](https://boards.straightdope.com/t/coinduction-and-corecursion-for-dummies/591337/21 "2011-10-22T00:41:49Z")

</div>

Someone else asked me about corecursion today and it brought my mind back to this thread. I’m curious if, in particular, posts 18 and 20 ended up being helpful.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [October 22, 2011, 9:40pm UTC](https://boards.straightdope.com/t/coinduction-and-corecursion-for-dummies/591337/22 "2011-10-22T21:40:37Z")

</div>

They made sense when I was thinking about this, but I haven’t considered it too much since the semester started. I do want to revisit this someday, but fall 2011 is not that day.

[Previous page](https://boards.straightdope.com/t/coinduction-and-corecursion-for-dummies/591337.md?page=1)