Talk:Lambda calculus

From Citizendium
Revision as of 11:46, 12 August 2008 by imported>Howard C. Berkowitz (→‎Futures?: new section)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
 Definition A formal system designed to investigate functions and recursion. [d] [e]
Checklist and Archives
 Workgroup categories Mathematics and Computers [Editors asked to check categories]
 Talk Archive none  English language variant American English

The first article started by me!

(but not, of course, *my* article :) So be gentle, i am just a newb ... Christopher J. Reiss 12:34, 19 February 2008 (CST)

Congratulations! Looks good so far... I posted some comments in response to your post on the forums, not sure if you saw my post. J. Noel Chiappa 16:49, 1 March 2008 (CST)

Thank you! I found your suggestions very helpful, in fact they are my checklist to finishing this article.

This CZ culture is vastly more competent and mature than WP. Not once was i accused of sock puppetry, putting beans in my nose, being a non human bot. Result : the articles here are, one for one, clearly better.

And for me, it's a place where what modest talent and time i have is put to good use.

Perhaps, just for nastalgia sake, we could hold an annual flame war about Pokemon involving 150 authors, 10 editors, 2 admins and of course Larry.

Jimbo Tuesday. Christopher J. Reiss 14:08, 8 March 2008 (CST)

ROTFL! I definitely agree with your comments about a whole different vibe than on Wikipedia. Been there, done that! J. Noel Chiappa 14:31, 8 March 2008 (CST)

Futures?

I was starting to speak of maintaining state in another article, and discovered there was nothing to which I could link. Your article is the closest.

While I had my coursework in automata theory, and certainly use state machines as a protocol designer, I wouldn't call myself a formalist. Did you do anything else that could be imported and worked upon here, perhaps in finite state machines?

I'd be very willing to work on things like context switching and stacks, especially with respect to networking protocols, but I'm not the best person to do the background articles. Yours is a start.

Any ideas?

Howard C. Berkowitz 12:46, 12 August 2008 (CDT)