Available online
Description
A definition of natural numbers is developed starting with sets and their arithmetic properties are defined in terms of sets. The Recursion Theorem is introduced.
A definition of natural numbers is developed starting with sets and their arithmetic properties are defined in terms of sets. The Recursion Theorem is introduced.
| Module code and title: | M202, Topics in pure mathematics |
|---|---|
| Item code: | M202; 03 |
| Recording date: | 04-06-1972 |
| First transmission date: | 05-02-1973 |
| Published: | 1973 |
| Rights Statement: | |
| Restrictions on use: | |
| Duration: | 00:23:52 |
| + Show more... | |
| Producer: | Vivienne King |
| Contributors: | John Mason; Ray Zahar |
| Publisher: | BBC Open University |
| Keyword(s): | Mathematical induction; Natural numbers; Peano's axioms; Recursion Theorem; Set theory; Halmos |
| Master spool number: | 6HT/70687 |
| Production number: | 00525_4027 |
| Videofinder number: | 4012 |
| Available to public: | no |
