par Jean Barbet | Sep 6, 2023 | Logique
Dans les discussions mathématiques, on entend parfois dire que « le faux implique n’importe quoi », et ce slogan est souvent déformé en : « à partir de quelque chose de faux, on peut démontrer que n’importe quoi est vrai », ce qui est parfaitement absurde....
par Jean Barbet | Juil 8, 2023 | Ensembles, Logique, Nombres
L’arithmétique naturelle est la science des nombres entiers naturels : elle repose sur l’addition, la multiplication, l’ordre naturel et la divisibilité. Or, toutes ces opérations et relations se définissent à partir de la seule fonction successeur,...
par Jean Barbet | Juin 21, 2020 | Ensembles, Logique
La théorie naïve des ensembles ou « science des patates » est le fondement naturel (et compréhensible !) de la science mathématique Introduction : les concepts primitifs « Je sais ce qu’est le temps. Si tu me le demandes, je ne le sais plus. » Saint-Augustin...
par Jean Barbet | Juin 19, 2020 | Ensembles, Logique, Nombres
La science mathématique ne cherche pas à définir la notion de nombre entier naturel, mais à comprendre l’ensemble des entiers naturels « Dieu a fait le nombre entier, le reste est l’oeuvre des hommes. » Leopold Kronecker 1. On ne définit pas les nombres...