Timeline for Theory mainly concerned with $\lambda$-calculus?
Current License: CC BY-SA 2.5
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11, 2012 at 18:54 | answer | added | Alberto | timeline score: 0 | |
| Feb 10, 2010 at 11:06 | history | edited | Charles Stewart |
edited tags
|
|
| Jan 18, 2010 at 23:08 | comment | added | Adam | Sadly, the term "theoretical computer science" has been hijacked by the cadre who thinks its only concern is the subrecursive hierarchy ("complexity theory"). Those who work on the CS aspects of semantics and symbolic logic have pretty much abandoned the words "theory" and "theoretical". | |
| Jan 16, 2010 at 6:46 | answer | added | Christoph-Simon Senjak | timeline score: 2 | |
| Jan 15, 2010 at 20:32 | comment | added | Charles Stewart | "functional programming" is actually a math term: I've made this assertion into a question: mathoverflow.net/questions/11916/… | |
| Jan 15, 2010 at 18:50 | answer | added | Dan Piponi | timeline score: 6 | |
| Jan 15, 2010 at 16:11 | vote | accept | Hans-Peter Stricker | ||
| Jan 15, 2010 at 16:02 | answer | added | Adam | timeline score: 4 | |
| Jan 15, 2010 at 14:35 | comment | added | Hans-Peter Stricker | To correct myself: there's a mathematical subject called "graph drawing"! So you have won. | |
| Jan 15, 2010 at 14:34 | comment | added | Hans-Peter Stricker | OK, I surrender. Your last remark has convinced me. But it remains an after-taste: no other (mathematical) theory - as far as I can see it - is named after a practice (it's "proof theory" not "proofing"). | |
| Jan 15, 2010 at 14:22 | comment | added | François G. Dorais | That would never stick unless there's another good reason. Besides, the schism between cs and math is very recent, I would contend that "functional programming" is actually a math term, historically speaking. More importantly, it would be wrong to use a term different than those who use it most, namely theoretical computer scientists, who are very competent mathematicians by the way. | |
| Jan 15, 2010 at 14:02 | comment | added | Hans-Peter Stricker | You name it: it's a computer science term. (Don't want to be niggling, but I think the subject deserves a genuine mathematical name.) | |
| Jan 15, 2010 at 13:59 | comment | added | François G. Dorais | Anything wrong with "functional programming" besides the fact that it's a computer science term? | |
| Jan 15, 2010 at 13:28 | answer | added | Charles Stewart | timeline score: 6 | |
| Jan 15, 2010 at 12:31 | comment | added | Hans-Peter Stricker | Maybe one could call it "function theory" if this name wasn't already in use. | |
| Jan 15, 2010 at 12:29 | comment | added | Hans-Peter Stricker | Because it's too specific: I think of "lambda calculus and its relatives". And "lambda" is just an artificial word, other than "automata", "computability", and so on. | |
| Jan 15, 2010 at 12:25 | comment | added | Qiaochu Yuan | What's wrong with just calling it "lambda calculus"? | |
| Jan 15, 2010 at 11:08 | history | asked | Hans-Peter Stricker | CC BY-SA 2.5 |