[seqfan] Curry Haskell citation for A000670 anyone?

Marc LeBrun mlb at well.com
Thu Dec 10 05:55:59 CET 2020


Stephen Wolfram recently blogged an interesting ("Preliminary") posting, "Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel"

https://writings.stephenwolfram.com/2020/12/where-did-combinators-come-from-hunting-the-story-of-moses-schonfinkel/

Towards the end he displays some pages from Haskell Curry's "An Analysis of Logical Substitution" where Curry gives the sequence 
  1, 3, 13, 75, 541,...
that I'm pretty sure are the "Fubini numbers", A000670.

But "Curry" doesn't seem to appear in the References to that OEIS entry.  

Would some nice seqfan with access to the 1929 source please supply a proper citation?

Thanks!




More information about the SeqFan mailing list