Situation calculus

進了盧卡斯的質數判定法（英语：Lucas primality test），得到盧卡斯-萊默質數判定法。 他致力於本影演算（英语：Umbral calculus）的發展。 盧卡斯對娛樂數學也很感興趣。他發現了一種優雅的二進制解法來解決九連環難題。1883年，他還發明了河內塔謎題，並以「N. Claus

expressions were identical in implementation.” The actual situation is that the λ-calculus is capable of expressing some kinds of sequential and parallel

 美国马萨诸塞州波士顿 居住地  美国 国籍  美国 母校 加州理工学院 知名于 人工智能；限制；Situation calculus（英语：Situation calculus）；Lisp 信仰 无神论 奖项 图灵奖（1971） 京都奖 美国国家科学奖章 富蘭克林獎章 科学生涯 研究领域

[2021-10-25]. （原始内容 (PDF)存档于2020-04-15）. LISP was not based on the lambda calculus, despite using the word “LAMBDA” to denote functions. At the time he invented

actors could equally well be described by the λ-calculus. …… • Second, we realized that the λ-calculus — a small, simple formalism — could serve as the