University of Birmingham > Talks@bham > Midlands Logic Seminar > Dedekind's "Was sind und was sollen die Zahlen?"

## Dedekind's "Was sind und was sollen die Zahlen?"Add to your list(s) Download to your calendar using vCal - Richard Kaye, School of Mathematics, University of Birmingham
- Tuesday 11 October 2016, 16:00-18:00
- Watson Building (Mathematics, R15 on map) Room 310.
If you have a question about this talk, please contact Richard. Dedekind’s “Was sind und was sollen die Zahlen?” is well known as presenting second order axioms for natural numbers, and proving their categoricity. This is also the work where the notion of “Dedekind finite set” is introduced. Perhaps less well known is that Dedekind also gives a full proof of the recursion theorem to justify the iteration of functions over the naturals. (Dedekind’s iteration of functions is nearly, but not quite the same as the familiar scheme of primitive recursion. The differences are quite interesting.) Perhaps even more interesting is that Dedekind also gives a “well-ordering theorem” for Dedekind finite sets. I will lead this discussion, attempting also to put this work into historical context as far as possible. This should be of interest to many people involved in logic, history of maths, philosophy and computer science, and all are welcome. Richard Kaye, R.W.Kaye@bham.ac.uk http://midlandslogic.org.uk/ Campus map and directions available at http://www.birmingham.ac.uk/visit/maps-and-directions.aspx This talk is part of the Midlands Logic Seminar series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsReading Group in Combinatorics and Probability Metamaterials and Nanophotonics Group Seminars Condensed Matter Group Meetings## Other talksQuantum Sensing in Space Ultrafast Spectroscopy and Microscopy as probes of Energy Materials TBA TBA Proofs of Turán's theorem Life : it’s out there, but what and why ? |