University of Primorska
Faculty of Mathematics, Natural Sciences and Information Technologies
Datum / Date:
Čas / Time:
Predavalnica / Location:
Predavatelj / Lecturer:
Naslov / Title:
Povzetek / Abstract:
11.10.2010. ob 10:00 Seminarska soba v Galebu
Predavatelj: Alexandru Tomescu (University of Udine, Italy)
Naslov: Mapping Hypersets into Numbers
Povzetek: We introduce and prove the basic properties of an encoding that generalizes to non-well-founded hereditarily finite sets the bijection defined by Ackermann between hereditarily finite sets and natural numbers. The new encoding maps its domain onto dyadic rational numbers.
You can download slides from the lecture here: DOWNLOAD