Record · corpus.blog/posts/01a0d4d5-f775-700a-aa76-6735b0e54c54

Who Can Understand the Proof? A Window on Formalized Mathematics

writings.stephenwolfram.com · published 9 January 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

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 48
Words captured: 11,174

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.wolframscience.com/nks/p808--implications-for-mathematics-and-its-foundations/

wolframscience.com

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

wolframscience.com

https://www.wolframphysics.org

wolframphysics.org

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

reference.wolfram.com

https://www.wolframscience.com/nks/notes-12-9--automated-theorem-proving/

wolframscience.com

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

reference.wolfram.com

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

reference.wolfram.com

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

reference.wolfram.com

https://www.wolframscience.com/nks/p810--implications-for-mathematics-and-its-foundations/

wolframscience.com

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

wolframscience.com

https://files.wolframcdn.com/pub/www.wolframscience.com/nks/nks-ch12-sec9.pdf

files.wolframcdn.com

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

reference.wolfram.com

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

reference.wolfram.com

https://www.wolframscience.com/metamathematics/proofs-in-accumulative-systems/

wolframscience.com

https://lean-lang.org/

lean-lang.org

http://us.metamath.org/index.html

us.metamath.org

https://www.wolframscience.com/metamathematics/the-metamodeling-of-axiomatic-mathematics/

wolframscience.com

https://www.wolframscience.com/metamathematics/rules-applied-to-rules/

wolframscience.com

https://www.wolframscience.com/metamathematics/relations-to-automated-theorem-proving/

wolframscience.com

https://www.wolframscience.com/metamathematics/metamathematical-space/

wolframscience.com

https://www.wolframscience.com/metamathematics/beyond-substitution-cosubstitution-and-bisubstitution/

wolframscience.com

https://www.wolframscience.com/nks/notes-12-9--proof-structures/

wolframscience.com

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

reference.wolfram.com

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

reference.wolfram.com

https://www.wolframscience.com/nks/p807--implications-for-mathematics-and-its-foundations/

wolframscience.com

https://www.wolframscience.com/nks/p818--implications-for-mathematics-and-its-foundations/

wolframscience.com

https://www.wolframscience.com/nks/notes-12-9--proof-lengths-in-logic/

wolframscience.com

https://www.wolframscience.com/metamathematics/the-topology-of-proof-space/

wolframscience.com

https://www.wolframscience.com/metamathematics/the-model-theoretic-perspective/

wolframscience.com

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

reference.wolfram.com

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

reference.wolfram.com

https://www.wolframscience.com/nks/notes-12-9--operators-on-sets/

wolframscience.com

https://www.wolframscience.com/nks/p804--implications-for-mathematics-and-its-foundations/

wolframscience.com

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

wolframscience.com

http://www.wolfram.com/mathematica/

wolfram.com

https://www.wolframalpha.com

wolframalpha.com

https://www.wolframscience.com/nks/chap-2--the-crucial-experiment

wolframscience.com

https://www.stephenwolfram.com/publications/academic/particle-physics

stephenwolfram.com

https://content.wolfram.com/sw-publications/2020/07/effective-coupling-qcd.pdf

content.wolfram.com

https://www.wolframscience.com/nks/chap-1--the-foundations-for-a-new-kind-of-science

wolframscience.com

https://www.wolframscience.com/nks/chap-6--starting-from-randomness

wolframscience.com

https://www.wolframscience.com/metamathematics/axiom-systems-in-the-wild/

wolframscience.com

https://www.wolframscience.com/metamathematics/uniformity-and-motion-in-metamathematical-space/

wolframscience.com

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

wolframscience.com

https://www.wolframscience.com/metamathematics/mathematics-and-physics-have-the-same-foundations/

wolframscience.com

https://www.wolframscience.com/metamathematics/going-below-axiomatic-mathematics/

wolframscience.com

https://www.wolframalpha.com/pro/step-by-step-math-solver

wolframalpha.com

https://wolframinstitute.org/

wolframinstitute.org

Elsewhere on writings.stephenwolfram.com (13)

Logic, Explainability and the Future of Understanding Read at the source ↗

writings.stephenwolfram.com

What Is ChatGPT Doing … and Why Does It Work? Read at the source ↗

writings.stephenwolfram.com

Charting a Course for “Complexity”: Metamodeling, Ruliology and More Read at the source ↗

writings.stephenwolfram.com

Can AI Solve Science? Read at the source ↗

writings.stephenwolfram.com

ChatGPT Gets Its “Wolfram Superpowers”! Read at the source ↗

writings.stephenwolfram.com

Yet More New Ideas and New Functions: Launching Version 14.1 of Wolfram Language & Mathematica Read at the source ↗

writings.stephenwolfram.com

Generative AI Space and the Mental Imagery of Alien Minds 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

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

writings.stephenwolfram.com

Multicomputation: A Fourth Paradigm for Theoretical Science Read at the source ↗

writings.stephenwolfram.com

The Empirical Metamathematics of Euclid and Beyond Read at the source ↗

writings.stephenwolfram.com

After 100 Years, Can We Finally Crack Post’s Problem of Tag? A Story of Computational Irreducibility, and More Read at the source ↗

writings.stephenwolfram.com

What We’ve Built Is a Computational Language (and That’s Very Important!) Read at the source ↗

writings.stephenwolfram.com