Twitter | Pretraživanje | |
Noam Zeilberger
All that springs from the ⅄
660
Tweetovi
449
Pratim
570
Osobe koje vas prate
Tweetovi
Noam Zeilberger 1. velj
Odgovor korisniku/ci @pwb @danghica i 3 ostali
Scott gave various versions of the lecture, including this one taped at Oxford: . The relevant passage on the origin of the lambda symbol begins at 32:50
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 18. pro
Odgovor korisniku/ci @ccshan
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 18. pro
Odgovor korisniku/ci @ccshan
using symmLayoutBin' from
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 18. pro
Odgovor korisniku/ci @noamzoam
bonus Hanukkah version:
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 18. pro
In time for the holidays, an illustration of Rémy's algorithm for generating unbiased random binary trees.
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 5. stu
Odgovor korisniku/ci @sigfpe @_julesh_
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 31. lis
Odgovor korisniku/ci @octonion
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."
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 28. lis
Odgovor korisniku/ci @laMudri @bentnib
cheat code "apply"!
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 28. lis
Odgovor korisniku/ci @robinhouston
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:
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 18. ruj
Yep. Once I tried to record this usage over here:
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 17. ruj
Odgovor korisniku/ci @falsenov
Good point
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 17. ruj
Odgovor korisniku/ci @falsenov
it appears at the top of p.3, I think that the "i μ σ" should mean "i ∉ σ" in context
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 17. ruj
Odgovor korisniku/ci @falsenov
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 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 ∉ σ"?
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 5. ruj
Odgovor korisniku/ci @valeriadepaiva
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.
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 5. ruj
Odgovor korisniku/ci @valeriadepaiva
What kind of slides do you mean?
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 5. ruj
slides over here: links mentioned during talk: 's λ-term visualiser & gallery () and 's (inverse) lambda map drawer ()
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 12. kol
Odgovor korisniku/ci @danghica
Indeed, that is the only game
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 1. kol
Odgovor korisniku/ci @rg9119 @maxsnew
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.
Reply Retweet Označi sa "sviđa mi se"
Noam Zeilberger 1. kol
Odgovor korisniku/ci @rg9119 @maxsnew
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.
Reply Retweet Označi sa "sviđa mi se"