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)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS