Raziskovalni matematični seminar

V ponedeljek, 11. oktobra 2010, bo ob 10. uri v seminarski sobi v Galebu, v okviru raziskovalnega matematičnega seminarja, predaval Alexandru Tomescu, doktorski študent na Univerzi v Vidmu (Udine, Italija).

Več o predavatelju lahko preberete na: http://sole.dimi.uniud.it/~alexandru.tomescu/.

Predavanje bo v Angleščini.

Vljudno vabljeni k udeležbi na predavanju!

 

Title: Mapping Hypersets into Numbers

Abstract: 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.