Participants: Stephen Wolfram, Nikolay Murzin, Victor Taelin, James Wiles, Dugan Hammock. Materials: www.wolframclo... References: resources.wolf... Keywords:
14:29 : video starts 52:33 …. I don’t know why he doesn’t just stick with the task of understanding one of the notations before jumping to the next one. The tree one and the \mapsto notation both seemed not bad. I admit I don’t yet understand the notation which looks like part of a square grid. But like, lambda a.a becoming [a] | (a) makes sense, and then like, lambda a.lambda b.(b a) being [a] | [b] | [@] / \ (b) (a) Etc., makes sense to me.. 1:16:51 : neat thing about running the computation in parallel on a cluster 1:24:39 : cool pictures
14:29 : video starts
52:33 …. I don’t know why he doesn’t just stick with the task of understanding one of the notations before jumping to the next one. The tree one and the \mapsto notation both seemed not bad. I admit I don’t yet understand the notation which looks like part of a square grid.
But like, lambda a.a becoming
[a]
|
(a)
makes sense,
and then like,
lambda a.lambda b.(b a)
being
[a]
|
[b]
|
[@]
/ \
(b) (a)
Etc.,
makes sense to me..
1:16:51 : neat thing about running the computation in parallel on a cluster
1:24:39 : cool pictures