Showing posts with label Section VI. Show all posts
Showing posts with label Section VI. Show all posts

Thursday, June 6, 2013

Mappings and Gödel numbering

Section VI of Nagel and Newman's book describes mappings. A mapping is an operation that applies to two sets called the domain and the co-domain. More specifically, a mapping associates to each element of the domain one or more elements of the co-domain.