Constructive mathematics reconsiders traditional foundational approaches by emphasising explicit constructions and algorithmic content rather than relying solely on non-constructive existence proofs.

1 Apply the basic principles of mathematical logic. 2 Construct and analyse mathematical proofs. 3 Apply the principles of set theory, functions and relations. 4 Apply the principles of abstract ...

How can the behavior of elementary particles and the structure of the entire universe be described using the same mathematical concepts? This question is at the heart of recent work by the ...