Weekly readings of Euclid’s Elements, with Ken Chan and Dan Murfet at metauni. To join enter Roblox at Rising Sea.

## Book 2

**19-1-23**Seminar 22: Book 2 Proposition 1 (video, transcript)**26-1-23**Seminar 23: Book 2 Propositions 2, 3, 4 (video, transcript)**2-2-23**Seminar 24: Book 2 Proposition 5 (video, transcript)**9-2-23**Seminar 25: Book 2 Proposition 6 (video)**16-2-23**Seminar 26: Book 2 Proposition 7 (video)**23-2-23**Seminar 27: Book 2 Proposition 8, 9 (video)**2-3-23**Seminar 28: Book 2 Proposition 10 (video)**9-3-23**Seminar 29: Book 2 Proposition 11 (video)**16-3-23**Seminar 30: Book 2 Propositions 12, 13 (video)

## Book 1

- Seminar 1: Postulates and Proposition 1.
- Seminar 2: Propositions 2, 3.
- Seminar 3: Propositions 4, 5.
- Seminar 4: Propositions 6, 7, 9.
- Seminar 5
*no recording*. - Seminar 6: Propositions 11, 12, 13.
- Seminar 7: Propositions 14, 15, 16.
- Seminar 8: Propositions 17, 18, 19, 20.
- Seminar 9: Propositions 21, 22.
- Seminar 10: Propositions 23, 24.
- Seminar 11: Propositions 25, 26.
- Seminar 12: Propositions 27, 28.
**17-2-22**Seminar 13: Propositions 29, 30 and the fifth postulate (video).**24-2-22**Seminar 14: Proposition 31 (video)**3-3-22**Seminar 15: Propositions 34, 35 (video).**10-3-22**Seminar 16: Propositions 36, 37 (video).**17-3-22**Seminar 17: Propositions 38, 39, 40, 41 (video).**24-3-22**Seminar 18: Propositions 42, 43 (video).**31-3-22**Seminar 19: Proposition 44 (video).**14-4-22**Seminar 21: Proposition 47, 48 (video).

Thanks to those who attended the end of Book 1 celebrations:

```
AstroCode
DarkInfernoDrago
Skarm174
Edmund
Ken
Dan
```

## Why read Euclid?

**For a geometer** Euclid is the historical root of their subject, and from Hilbert and Riemann to Grothendieck and Deligne many important modern geometers have drawn inspiration from a close analysis of the classic work.

**For a logician** the *Elements* is perhaps the most influential example of a coherent body of mathematical proof, and it continues to be interesting from the point of view of modern logic (see *geometric logic* and their classifying topoi, as in the work of Avigad-Dean-Mumma cited below).

**For a learning theorist** the process by which our perceptual experience of space has been distilled into the axioms and deductions of the *Elements* is a key example of the capacity of learning systems to arrive at abstract mathematics as a result of a general quest to “fit the true distribution of experience”.

From Hilbert’s “Foundations of geometry”.

Geometry, like arithmetic, requires for its logical development only a small number of simple, fundamental principles. These fundamental principles are called the axioms of geometry. The choice of the axioms and the investigation of their relations to one another is a problem which, since the time of Euclid, has been discussed in numerous excellent memoirs to be found in the mathematical literature. This problem is tantamount to the logical analysis of our intuition of space.

Here is an extract from R. Hartshorne’s “Geometry: Euclid and Beyond”.

It is for this logical structure, perhaps even more than for its mathematical content, that Euclid’s

Elementsis famous. Theaxiomatic methodof sequential logical deduction, starting from a small number of initial definitions and assumptions, has become the basic structure of all subsequent mathematics. Euclid’sElementsis the first great example of this method.

From J. Avigad, E. Dean, J. Mumma “A formal system for Euclid’s elements”

On the surface, it might seem that there is a straightforward cognitive explanation as to why some of Euclid’s diagrammatic inferences are basic to geometric practice, namely, that these inferences rely on spatial properties that are “hardwired” into our basic perceptual faculties. In other words, thanks to evolution, we have very good faculties for picking out edges and surfaces in our environment and inferring spatial relationships; and these are the kinds of abilities that are needed to support diagrammatic inference.

O’Keefe and Nadel in “The hippocampus as a cognitive map” on Kant:

His resolution of these problems, reached in the Dissertation of 1770 (cf. Handyside 1928) and the Critique of pure reason (1787), was that space was indeed absolute, but that it was not a property of the physical world. Rather, it was an innate organizing principle of the mind, by which the sensations derived from the physical world were constructed into a conscious manifold.

Space was a way of perceiving, not a thing to be perceived.

## Resources

- Bryne’s Euclid (link).

## Difficulties

- See p.32 of Langlands.