University of Cambridge > Talks.cam > Mini Courses in Theoretical Computer Science > Countable ordinals and fast-growing functions (Part 3)

Countable ordinals and fast-growing functions (Part 3)

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Sam Staton.

Note earlier start time

As part of the three day meeting on Countable ordinals and fast growing functions I will teach

A short introduction to Ordinal Notations.

I will take a pseudo-historical approach covering

  • Cantor—the problem that led him to discover (invent) ordinals
  • Hardy —his attempt to index the continuum using ordinals
  • Veblen—how he produced hierarchies that named larger and larger ordinals

That takes us up to 1908, when Veblen was writing. We now jump to the 1950s with

  • Bachmann and Schüutte —a brief look at what they did
  • Modern methods —if there is time.

I am writing a companion set of notes that will probably cover more than can be done in the talks. A draft of these can be found at

http://www.cs.man.ac.uk/~hsimmons/TEMP

as the notes

OrdNotes.pdf

These will change as I get them in better shape.

In due course I will also provide links to other relevant material.

Harold Simmons

This talk is part of the Mini Courses in Theoretical Computer Science series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity