Topic 1: Hilbert and Moore
Osnova sekce
-
We have discussed Hilbert article on the infinite and Moore's historical context. We have illustrated the use of infinitary methods in analysis of arithmetics using Loeb measure on omega_1-saturated models. See Cutland's article below for more details on non-standard analysis and measures.