« first day (1628 days earlier)      last day (2846 days later) » 

Raphael
Raphael
9:58 AM
Hi! Would this question be welcome on Mathematica?
0
Q: Why did the Mathematica Language choose term rewriting instead of the Lambda Calculus as its basis?

hawkeyeNow we can see that Church was associated with the Simply Typed Lambda Calculus. Indeed, it seems he explained the Simply Typed Lambda Calculus in order to reduce misunderstanding about the Lambda Calculus. Now when John McCarthy created Lisp - he based it on the Lambda Calculus. This is by his...

lambda-calculus history mathematical-programming term-rewriting lisp
 
 
3 hours later…
halirutan
halirutan
12:34 PM
Can someone explain to me the complaint of Emilio about this "Chat Ad"
Man, that's such an unscratchable itch. Add a space, maybe? Please? Pretty please? :-) — Emilio Pisanty 16 hours ago
@EmilioPisanty A space where? — halirutan 16 hours ago
Between Our and Chat. Camel case is awesome, but this is inside a string, right? — Emilio Pisanty 15 hours ago
I thought it is clear that Join[{"Our"},{"Chat"}] was just a joke instead of simply writing "Join our chat".
 
 
3 hours later…
Kuba
Kuba
3:10 PM
@halirutan no idea
 
J. M.
J. M.
3:22 PM
@Raphael, yep, it'd be good here.
 
Raphael
Raphael
@J.M. Great, sending it over! Thanks!
1
Q: Why did the Mathematica Language choose term rewriting instead of the Lambda Calculus as its basis?

hawkeyeNow we can see that Church was associated with the Simply Typed Lambda Calculus. Indeed, it seems he explained the Simply Typed Lambda Calculus in order to reduce misunderstanding about the Lambda Calculus. Now when John McCarthy created Lisp - he based it on the Lambda Calculus. This is by his...

history mathematical-optimization term-rewriting lisp
Probably needs some retagging...
 
 
5 hours later…
Kuba
Kuba
8:50 PM
Hit 1000 answers today! Isn't there a spammer badge or something?
 
Michael E2
Michael E2
@J.M. Too bad it got closed & locked...A little OT, perhaps, but not unanswerable, obviously.
 

« first day (1628 days earlier)      last day (2846 days later) »