School of Computer Science THE UNIVERSITY OF BIRMINGHAM Ghost Machine

An exercise in imagining possibilities and impossibilities
(DRAFT: Liable to change)

Aaron Sloman
School of Computer Science, University of Birmingham

Installed: 28 Apr 2016
Last updated:
This paper is
A PDF version may be added later.

A partial index of discussion notes is in


My 1962 DPhil thesis defended Kant's view of many mathematical discoveries, including those presented in Euclid's Elements, as
  1. synthetic (non-analytic, not derivable from definitions and logic alone)
  2. non-contingent (involving propositions that if true are necessarily true, and if false necessarily false, i.e. impossible)
  3. non-empirical (not requiring confirmation by observation and experiment, though they can be discovered accidentally in that way).

Possible numbers of points common to a triangle and a circle



Maintained by Aaron Sloman
School of Computer Science
The University of Birmingham