[seqfan] Re: Curry Haskell citation for A000670 anyone?

[michel.marcus at free.fr]

Is this it ? https://www. jstor .org /stable/2370728 

----- Mail original -----

De: "Marc LeBrun" <mlb at well.com> 
À: "Sequence Fanatics Discussion list" <seqfan at list.seqfan.eu> 
Envoyé: Jeudi 10 Décembre 2020 05:55:59 
Objet: [seqfan] Curry Haskell citation for A000670 anyone? 

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! 


-- 
Seqfan Mailing list - http://list.seqfan.eu/