
WHITHER MATHEMATICS?
–
 2004

1

Constructive Mathematics and Quantum Physics
–
 1999


On the calculating power of Laplace’s demon (Part I)
–
 2006

7

Addition Theorems
–
 1965


When is.999... less than 1?
–


Bl $X\mathrm{N}\emptyset$
–

1

Apartness and formal topology
–
 2005

2

Quotient spaces and coequalisers in formal topology
–

1

Interval Computations as an Important Part of Granular Computing: An Introduction
–


COMPUTING SCIENCE A LUCID INTERVAL
–

13

A Lucid Interval
–
 2003


Mathematical Methods of Theoretical Physics
–
 2013


Nondeterministic Linear . . . Analysis: An Interval Approach
–
 2005

2

Cauchy nets in the constructive theory of apartness spaces
–
 2002

1

Adjoints, absolute values and polar decompositions
–

2

Constructive Order Completeness
–
 2004

2

A Constructive Theory of PointSet Nearness
–
 2001


Did Brouwer Really Believe That?
–
 2007

3

The Constructive Implicit Function Theorem and Applications in Mechanics
–
 1997
