Talk:Recursive function theory

From HaskellWiki
Jump to navigation Jump to search

Wouldn't it be great if along with providing the bibliography, relevant definitions were always explained (or quoted)? This would make a self-contained encyclopaedia for Functional Programming, then.

Just a thought. --Pirated Dreams 11:00, 6 May 2006 (UTC)

Dear Pirated Dreams,

Thank You very much for Your feedback and thoughts.

I do not dare to quote significant amount of materials from a (non-free) published book, so I wrote only just my questions (while learning mathematical logics). I do not know enough yet from recursive function theory to write a really good article. I shall try to write better and more detailed explanations.

Now I rewrote and extended a section and renamed its headline as Motivations, discussing the relatedness of this page to functional programming. I thougt only on a toy programming language, not related directly to functional programming (but maybe useful for learning some mathematical logic concepts in a playful way).

Best wishes,

EndreyMark 16:10, 6 May 2006 (UTC)