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

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...

 
 
3 hours later…
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…
3:10 PM
@halirutan no idea
 
3:22 PM
@Raphael, yep, it'd be good here.
 
@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...

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

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