La science détruit la poésie et le merveilleux, critique récurrente.. Mais n'est-ce pas plutôt le contraire ?

Par pitié, arrêtez de parler des mathématiques, c'est une horreur pour les yeux. Je suis loin d'être un logicien, mais pour le peu que j'en sais, c'est que la langue mathématique est tout sauf composée d'axiome. Un langage, c'est un langage, c'est indépendant de la valeur de vérité attribués aux assertions formulées dans ce langage. En français, l'assertion "il existe un éléphant rose" s'énonce, ce n'est pas pour autant qu'elle est vraie. J'ai vraiment l'impression de ne lire que des littéraires sur ce sujet.

-----------------------

Tu n'aimes pas les mathématiques ?

Pourtant quand tu comptes, tu utilise implicitement les divers axiomes de Peano. En particulier celui qui énonce que zéro est un nombre !

L'invention du zéro par les indous vers le 4° siècle de notre ère a permis d'utiliser le système de numération que tout le monde utilise maintenant. L'ignorance du zéro a empêché les romains de compter les grands nombres liés à leur immense empire !

-----------------------

Tu n'aimes pas les mathématiques ?

Pourtant quand tu comptes, tu utilise implicitement les divers axiomes de Peano. En particulier celui qui énonce que zéro est un nombre !

L'invention du zéro par les indous vers le 4° siècle de notre ère a permis d'utiliser le système de numération que tout le monde utilise maintenant. L'ignorance du zéro a empêché les romains de compter les grands nombres liés à leur immense empire !

Et quand tu utilises l'arithmétique de Peano, tu utilises implicitement ZF ou ZFC donc, fondamentalement, ce qui dit que zéro existe, c'est pas Peano mais Zermelo-Fraenkel. Vous parlez des mathématiques comme un littéraire, c'est là où je suis gêné.

Et quand tu utilises l'arithmétique de Peano, tu utilises implicitement ZF ou ZFC donc, fondamentalement, ce qui dit que zéro existe, c'est pas Peano mais Zermelo-Fraenkel. Vous parlez des mathématiques comme un littéraire, c'est là où je suis gêné.

--------------------

Sur un forum généraliste, j'ai l'habitude d'utiliser un langage simple !

L'essentiel est d'être compris par le plus grand nombre de lecteurs.

Oui, enfin, on peut avoir une autre approche.

Mathématique d'abord parce que s'il est exact que ZF ou ZFC est le fondement des mathématiques au sens large et parfois en devant adjoindre des axiomes complémentaires, le zéro n'y est pas défini en tant que tel.

Même l'ensemble vide n'est pas un axiome de premier ordre.

Est ce que ZFC nous dit que zéro existe ?

Si oui comment le justifie il ?

Même plus largement, le nombre est un concept, ce que j'entends c'est que les entiers naturels permettent un simple dénombrement justifiant leur découverte.

5 existe t'il ?

Ou est ce cela permet simplement de marquer la distinction d'éléments puis leur comptage.

Donc que 5 éléments en forment 5 en ralité seuls lesdits éléments existent réellement.

Tout dépendra donc de ce qu'on entend par 'exister'

Et au delà, le chiffre zéro indique que même ce dénombrement n'est plus possible.

Il n'y a rien à dénombrer.

0 vache, donc pas de vache, donc non seulement on ne dénombre plus rien mais qui plus est la nature même de ce qu'on souhaite dénombrer n'existe plus.

Si zéro existe il dénombre à la fois les souris de 5 milliards de kilomètres et les ulcères de marguerite Yourcenar 50 000 ans après sa mort ainsi que n'importe quel délire dont les miens.

Si 0 existe, c'est pour ne plus dénombrer quelque chose qui n'existe pas car si j'ai en tête l'idée du concept de vache toujours est il qu'en appliquant 0 il n'y en a plus réellement !

Bon je m'arrête dans mes délires mais zéro existe impliquerait pas mal de considérations intéressantes l'utilisation positionnelle du zéro dans le nombre par exemple.