Skip to main content

Search This Blog

Special Topics

Posts

Showing posts with the label Mechanical Mathematical Proof - A Reading List

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

Powered by Blogger

Theme images by Michael Elkan

Special Topics

Labels

...
a Cartesian Flavor
a Cross-Mapping via Lambek Calculus - AI
A Dynamics of the Executive Branch - AI
A General Theory of Relativity as Explained by AI
A Geometrics of Data
A Heidegger-Bayes Hybrid Model
A History of Asemics - AI
A History of the Horst Wessel Lied
A Mao Model

Show more Show less

Archive

October 20262
September 202613
August 20263
July 202618
June 202632
May 202642
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 Dynamics of the Executive Branch - AI1
A General Theory of Relativity as Explained by AI1
A Geometrics of Data1
A Heidegger-Bayes Hybrid Model1
A History of Asemics - AI1
A History of the Horst Wessel Lied1
A Mao Model1

Show more Show less

Report Abuse