Skip to main content

Search This Blog

Special Topics

Mechanical Mathematical Proof - A Reading List

Get link
Facebook
X
Pinterest
Email
Other Apps

By Special Topics May 29, 2026

The Mechanics of Proof

How to Prove It with Lean

Logic and Mechanized Reasoning

Logique Propositionnelle

Mechanical Mathematical Proof - A Reading List

Get link
Facebook
X
Pinterest
Email
Other Apps

Comments

Post a Comment

Powered by Blogger

Theme images by Michael Elkan

Special Topics

Labels

...
a Cartesian Flavor
a Cross-Mapping via Lambek Calculus - AI
A Geometrics of Data
A Heidegger-Bayes Hybrid Model
A History of the Horst Wessel Lied
A Mao Model
A Neural Basis of Thought?
A Question Regarding Number as the Assumed Basis of Mathematics
A Scientific Theory of Deep Learning

Show more Show less

Archive

May 202637
April 202619
March 202624
February 202612
January 202611
December 202525
November 202523
October 202539
September 202594
August 202559

July 202563
June 202536
May 202526
April 20257
March 202528
February 202530
January 20253
December 20241
November 20242

Show more Show less

Labels

...3
a Cartesian Flavor1
a Cross-Mapping via Lambek Calculus - AI1
A Geometrics of Data1
A Heidegger-Bayes Hybrid Model1
A History of the Horst Wessel Lied1
A Mao Model1
A Neural Basis of Thought?1
A Question Regarding Number as the Assumed Basis of Mathematics1
A Scientific Theory of Deep Learning1

Show more Show less

Report Abuse