# Tag: logic

- The formalisation of nonstandard analysis (10 Aug 2022)

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

- On Turing machines (06 Jul 2022)

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

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

- The hereditarily finite sets (23 Feb 2022)

- Proving the obvious (12 Jan 2022)

- Do GĂ¶del's incompleteness theorems matter? (15 Dec 2021)

- Undefined values, or what do we get when we divide by zero? (01 Dec 2021)

- Intuitionism and constructive logic (24 Nov 2021)

- The axiom of choice and descriptions (10 Nov 2021)

- NG de Bruijn and AUTOMATH (03 Nov 2021)

- On logical formalisms (27 Oct 2021)