User talk:Diversitti

Welcome!

Hello, and welcome to Wiktionary. Thank you for your contributions. I hope you like the place and decide to stay. Here are a few good links for newcomers:
 * Wiktionary Tutorial
 * How to edit a page
 * How to start a page
 * Our format guidelines (nicknamed "ELE")
 * Criteria for inclusion (nicknamed "CFI")
 * Wiktionary Sandbox (a safe place for testing syntax)
 * What Wiktionary is not
 * FAQ

I hope you enjoy editing here and being a Wiktionarian! By the way, you can sign your name on Talk (discussion) and vote pages using four tildes, like this: ~, which automatically produces your name and the current date. If you have any questions, see the help pages, add a question to one of the discussion rooms or ask me on my Talk page. Again, welcome! --EivindJ 13:50, 11 March 2008 (UTC)

co-recursive
Hi, this page currently looks like a Wikipedia article. Maybe you meant to put it there? Conrad.Irwin 22:54, 21 September 2008 (UTC)


 * Hello, sorry for making such a mess. I have spent the last hour or two reading about co-recursion (yay for google) and it seems that neither of our definitions is correct. The theory seems to say that co-recursion is moving repeatedly down through not well-founded sets, while recursion is iterating over the contents of a set. "Co-recursive calls can only produce sub-components of constructors" and "Arguments of recursive calls can only be sub-components of constructors" would seem to imply the same kind of distinction. I'll have to think a bit more about this before I can work out a more computer-sciency definition, though it may be that the mathematical definition above is enough, but feel free to beat me to it. The reason I removed your definition and replaced it with what I understood your definition to imply was the elaboration and discussion beginning at "Because..."; such information, while relevant, does not belong in a dictionary definition. (It also seems we will need related definitions for co-algebra and co-induction at the least, possibly more, if you're looking for more to do.) Conrad.Irwin 09:49, 28 September 2008 (UTC)