la définition de "1"

Traduction ?

Ça vient de principia mathematica

En théorie des ensembles, les nombres sont encodés comme des ensembles construits à partir de l'ensemble vide (l'ensemble vide correspond à 0). Sauf que les auteurs ont voulu tout définir à partir de symboles logiques (y compris la notion d'ensemble vide). Ainsi, les quantificateurs imbriqués permettent de définir un objet équivalent à un singleton contenant l'ensemble vide.

Les auteurs expliquent aussi que si l'on dépliait toute l'expression, "1" nécessiterait des milliers de symboles pour être défini.

Ah dakor...
Et ça veut dire quoi le symbole tau ?

Ça me manque les maths au lycée

tau_x(f(x)) = "l'unique x tel que f(x)"

Si ça t'intéresse, je peux te conseiller des livres/ressources.

T'es plus rouge !!!

Non c’est gentil

Halloween est terminé

Tu n'as plus tes soucis de peau aussi irl ?

Désolé encore pour le retard de ma réponse en mp, j'ai dû réaliser un projet de bénévolat cette semaine.

Ok donc si je décode la définition en français, ça signifie:

"1 est l'unique Z tel qu'il existe une application surjective de {Ø} dans Z" c'est bien ça ?
Mais je ne comprends pas en quoi ce Z est unique ? Par exemple Z = {Ø} vérifie cette définition, mais aussi Z = {{Ø}} ou même Z = {{Ø,{Ø}}} non ?

Je n'ai jamais eu de problèmes de peau pour commencer (sauf peut être de l'acné occasionnellement)

Go voc et tu m'apprends le programme pour les finances publiques

Bah si t'étais rouge

1 est l'image d'une surjection depuis un singleton. Je parlais d'unicité au sens définitionnel (et non extensionnel). Le Z est défini à "isomorphisme logique" près.

Tu me proposes pas de voc moi ?

Tu m'as jamais proposé