Record · corpus.blog/posts/01a08c64-6002-7226-b060-fa23b97831a4

The Ruliology of Lambdas

writings.stephenwolfram.com · published 15 September 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at writings.stephenwolfram.com Wayback capture

1blogs citing

First cited: 20 Sept 2025
Most recent: 21 Sept 2025
Rank this month: not ranked
External links: 46
Words captured: 12,494

Cited by

Blog

In the post

Date

chorasimilarity.wordpress.com

AI Senescence vs Ruliology of lambdas, I asked Grok Read at the source ↗

21 Sept 2025

chorasimilarity.wordpress.com

AI senescence, 8 months later Read at the source ↗

20 Sept 2025

Links from this post

Link

Host

https://www.wolframscience.com/nks/notes-11-12--lambda-calculus/

wolframscience.com

https://reference.wolfram.com/language/ref/Function.html

reference.wolfram.com

https://www.wolframscience.com/nks/

wolframscience.com

https://www.wolfram.com/language/elementary-introduction/3rd-ed/26-pure-anonymous-functions.html

wolfram.com

http://reference.wolfram.com/language/ref/Plus.html

reference.wolfram.com

https://www.wolframscience.com/nks/notes-11-12--combinators/

wolframscience.com

https://www.wolfram-media.com/products/combinators-a-centennial-view/

wolfram-media.com

https://www.wolframscience.com/nks/notes-9-11--confluence-in-string-rewriting/

wolframscience.com

https://www.wolframphysics.org/technical-introduction/the-updating-process-for-string-substitution-systems/testing-for-causal-invariance/

wolframphysics.org

https://reference.wolfram.com/language/ref/CurryApplied.html

reference.wolfram.com

https://tromp.github.io/cl/diagrams.html

tromp.github.io

https://www.wolfram.com/language/elementary-introduction/3rd-ed/25-ways-to-apply-functions.html

wolfram.com

http://reference.wolfram.com/language/ref/Application.html

reference.wolfram.com

https://reference.wolfram.com/language/ref/ExpressionTree

reference.wolfram.com

http://reference.wolfram.com/language/ref/TreeDepth.html

reference.wolfram.com

https://tromp.github.io/cl/cl.html

tromp.github.io

https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861

gist.github.com

http://reference.wolfram.com/language/ref/LeafCount.html

reference.wolfram.com

https://oeis.org/A220894

oeis.org

https://reference.wolfram.com/language/ref/Mod.html

reference.wolfram.com

https://www.wolframscience.com/nksonline/toc.html

wolframscience.com

https://www.wolframscience.com/nks/p27--how-do-simple-programs-behave/

wolframscience.com

https://www.wolframscience.com/nks/p103--symbolic-systems/

wolframscience.com

https://www.wolframscience.com/nks/notes-3-10--properties-of-example-symbolic-system/

wolframscience.com

https://www.wolframscience.com/nks/notes-4-3--ackermann-functions/

wolframscience.com

http://reference.wolfram.com/language/ref/Times.html

reference.wolfram.com

http://reference.wolfram.com/language/ref/Power.html

reference.wolfram.com

https://www.wolframscience.com/nks/notes-12-9--growth-rates-of-functions/

wolframscience.com

https://www.wolframscience.com/nks/notes-12-9--axioms-for-arithmetic/

wolframscience.com

https://www.wolframscience.com/nks/notes-12-9--set-theory-and-axioms/

wolframscience.com

https://www.wolframscience.com/nks/notes-12-9--examples-of-unprovable-statements/

wolframscience.com

https://www.isa-afp.org/browser_info/current/AFP/Goodstein_Lambda/outline.pdf

isa-afp.org

https://oeis.org/A046859

oeis.org

https://www.wolframscience.com/nks/p761--undecidability-and-intractability/

wolframscience.com

https://www.wolframphysics.org/technical-introduction/the-updating-process-for-string-substitution-systems/the-phenomenon-of-causal-invariance

wolframphysics.org

https://reference.wolfram.com/language/ref/Position.html

reference.wolfram.com

http://reference.wolfram.com/language/ref/TreeTraversalOrder.html

reference.wolfram.com

http://reference.wolfram.com/language/ref/TreeMap.html

reference.wolfram.com

http://reference.wolfram.com/language/ref/ReplaceAll.html

reference.wolfram.com

http://reference.wolfram.com/language/ref/Hold.html

reference.wolfram.com

https://www.wolframphysics.org/

wolframphysics.org

https://www.wolframphysics.org/technical-introduction/the-updating-process-for-string-substitution-systems/the-relationship-between-graphs-and-the-multiway-causal-graph/

wolframphysics.org

https://oeis.org/A062980

oeis.org

https://www.wolframcloud.com/obj/sw-writings/Combinators/bibliography.pdf

wolframcloud.com

https://wolframinstitute.org/

wolframinstitute.org

https://www.wolfram.com/mathematica/

wolfram.com

Elsewhere on writings.stephenwolfram.com (9)

https://writings.stephenwolfram.com/category/ruliology

writings.stephenwolfram.com

Combinators and the Story of Computation Read at the source ↗

writings.stephenwolfram.com

Combinators: A Centennial View Read at the source ↗

writings.stephenwolfram.com

1920, 2020 and a $20,000 Prize: Announcing the S Combinator Challenge Read at the source ↗

writings.stephenwolfram.com

Nestedly Recursive Functions Read at the source ↗

writings.stephenwolfram.com

Why Does Biological Evolution Work? A Minimal Model for Biological Evolution and Other Adaptive Processes Read at the source ↗

writings.stephenwolfram.com

Who Can Understand the Proof? A Window on Formalized Mathematics Read at the source ↗

writings.stephenwolfram.com

Expression Evaluation and Fundamental Physics Read at the source ↗

writings.stephenwolfram.com

There Was a Time before Mathematica… Read at the source ↗

writings.stephenwolfram.com