# Tag: Imre Lakatos

- When is a computer proof a proof? (09 Aug 2023)

- Mathematical truth, mathematical modelling and axioms (27 Jul 2022)

- When is a computer proof a proof? (09 Aug 2023)

- Mathematical truth, mathematical modelling and axioms (27 Jul 2022)

subscribe via RSS