プログラミング言語における再帰の初出はLISPではなかった - Arantium Maestum

ポール・グレハムの記事の一つにWhat Makes Lisp Different?というものがある： www.paulgraham.com ポール・グレハムらしくよく書かれていて、C言語などと比較した場合のLispの特徴をうまく捉えているように思う。 その中の一つが Recursion. Recursion existed as a mathematical concept before Lisp of course, but Lisp was the first programming language to support it. (It's arguably implicit in making functions first class objects.) こうある通り、私も今まで深く考えたこともなく「プログラミングにおける再帰はLispが由来」と考えていたのだが、前回の記事を書く

[mukaken]

“1950年代のAI研究の一環として、RAND CorpでLogic Theory Machineという定理証明系が実験的に開発されていた。そのLogic Theory Machineを実装するための言語として作られたIPL”

[sh19910711]

"IPL: 1950年代のAI研究の一環として、RAND CorpでLogic Theory Machineという定理証明系 + Logic Theory Machineを実装するための言語 / サブルーチンの戻り先をスタックとして保持するというアイデアはA.M. Turingのグループが1947年に"

[zyzy]

思ってたより古かったけど、数学的帰納法が厳密な定義を得たのは思ってたより最近だった。