Machine Logic
At the junction of computation, logic and mathematics
Tag: analysis
A tricky lower bound proof
(08 Aug 2024)
A classical proof: exponentials are irrational
(16 Feb 2022)
Readability in proofs: the mean value theorem
(22 Dec 2021)
An Experiment: the Cauchy–Schwarz inequality
(17 Nov 2021)