|
|||
Groupe de Contact
|
|
||
|
PROGRAMME
11h15 12h30 |
Mauro DI NASSO (Université
de Pise) |
12h45 |
DINER |
14h15 15h30 |
Olivier ESSER (ULB) |
15h30 |
CAFE |
16h00 17h15 |
Alain LOUVEAU (Paris VI) |
Si vous désirez participer à cette réunion, et prendre part au repas, faites-le savoir (si possible par email) à
Christian Michaux
Service de Logique Mathématique et Algèbre
Institut
de Mathématique et d'Informatique
Université de Mons-Hainaut
Bâtiment Le Pentagone
Avenue du Champ de Mars 6
B-7000 Mons (Belgique)
VOTRE INSCRIPTION AU DINER DOIT NOUS PARVENIR LE 2 MAI MIDI.
Nom: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ Prénom: _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ O Je participerai au dîner O Je ne participerai pas au dîner |
Résumés:
Mauro DI NASSO (Université de Pise): Numerosities: a new way of counting the infinite
We present a new way of counting infinite sets that generalizes finite cardinalities. For instance, if x denotes the "numerosity" of the set of natural numbers, the set of positive natural numbers is x-1, the set of even numbers is x/2, the set of square numbers is the square root of x, etc. Sums and products of numerosities are naturally defined as numerosities of disjoint unions and cartesian products, respectively. A basic property is that proper subsets always have strictly less numerosity. The collection of numerosities provides a set of hypernaturals of nonstandard analysis. The existence of a numerosity function is equivalent to the existence of a selective ultrafilter.
Retour à la page de garde / Back to
the homepage