# Tag: philosophy

- Contradictions and the Principle of Explosion (14 Feb 2024)

- Russell's Paradox: Myth and Fact (31 Jan 2024)

- What do we mean by "the foundations of mathematics"? (01 Nov 2023)

- The concept of proof within the context of machine mathematics (04 Oct 2023)

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

- Hao Wang on the formalisation of mathematics (26 Jul 2023)

- Wittgenstein on natural science, mathematics and logic (12 Apr 2023)

- On the infinite (01 Feb 2023)

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

- Why are you being constructive? (20 Apr 2022)

- Types versus sets (and what about categories?) (16 Mar 2022)