Machine Logic
At the junction of computation, logic and mathematics
Tag: Imre Lakatos
When is a computer proof a proof?
(09 Aug 2023)
Mathematical truth, mathematical modelling and axioms
(27 Jul 2022)