|
Noam Zeilberger
@
noamzoam
|
|
All that springs from the ⅄
|
|
|
660
Tweetovi
|
449
Pratim
|
570
Osobe koje vas prate
|
| Tweetovi |
|
Noam Zeilberger
@noamzoam
|
1. velj |
|
Scott gave various versions of the lecture, including this one taped at Oxford: youtube.com/embed/uS9InrmP…. The relevant passage on the origin of the lambda symbol begins at 32:50
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
18. pro |
|
code here: github.com/noamz/diagrams…
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
18. pro |
|
using symmLayoutBin' from hackage.haskell.org/package/diagra…
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
18. pro |
|
bonus Hanukkah version: pic.twitter.com/fwW66GdqFf
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
18. pro |
|
In time for the holidays, an illustration of Rémy's algorithm for generating unbiased random binary trees. pic.twitter.com/KpB0raTFus
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
5. stu |
|
See also www2.math.uic.edu/~kauffman/Peir…
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
31. lis |
|
From Andrew Appel: "The university of Illinois library has a lot of my father’s material in its archives; the FORTRAN and assembly code might be there."
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
28. lis |
|
cheat code "apply"!
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
28. lis |
|
I think that Andrew Appel (son of Kenneth Appel) would be the one to ask. He recently gave a talk about the proof (and clarified his own contribution!) at the Four Color Fest: math.illinois.edu/four-color-fest pic.twitter.com/VCe5k1mNy9
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
18. ruj |
|
Yep. Once I tried to record this usage over here: ncatlab.org/nlab/show/plan…
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
17. ruj |
|
Good point
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
17. ruj |
|
it appears at the top of p.3, I think that the "i μ σ" should mean "i ∉ σ" in context
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
17. ruj |
|
|
||
|
Noam Zeilberger
@noamzoam
|
17. ruj |
|
anyone familiar with pre-LaTeX Russian mathematics know whether μ was used as a symbol to denote *non*-membership in a set? So the "i μ σ" in this sentence would mean "i ∉ σ"? pic.twitter.com/lNGB3wiDiS
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
5. ruj |
|
Yeah, I think it's up to the speakers. Most (or all?) of the talks are being recorded though so eventually videos will be online.
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
5. ruj |
|
What kind of slides do you mean?
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
5. ruj |
|
slides over here: noamz.org/talks/syco5.20…
links mentioned during talk: @thegeorgejkaye's λ-term visualiser & gallery (georgejkaye.com/fyp/visualiser…) and @jcreed's (inverse) lambda map drawer (jcreedcmu.github.io/demo/lambda-ma…) twitter.com/_julesh_/statu…
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
12. kol |
|
Indeed, that is the only game
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
1. kol |
|
Of course sometimes we care about representation issues in computer science. That means that the category where we stated the universal property is not sufficiently precise, and perhaps we need to move to a more refined category.
|
||
|
|
||
|
Noam Zeilberger
@noamzoam
|
1. kol |
|
Once you know ℤ is the free group on one generator, that fixes what ℤ is up to isomorphism of groups. You don't need to care about the underlying representation of integers, just that there is *some* representation.
|
||
|
|
||