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 listsSchool of Chemistry Seminars Theoretical computer science seminar Speech Recognition by Synthesis Seminars## Other talksRage against the dying of the light: Type Ia supernovae at 1000 days and beyond Role of Mechanics and Geometry in Cellular Information Processing Operator Preconditioning and Some Recent Developments for Boundary Integral Equations Hydrodynamics and Chaos in Quantum Matter Characterization and propagation modeling in context aware environments Intriguing Properties of Adversarial ML Attacks in the Problem Space |