Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 18-12-2018 18:36:52

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Batir l'arithmétique sur autre chose que la logique.

Bonjour,

Cela semble simplement impossible, dans un autre temps, j'avais ouvert un fil sur le sujet :
http://www.les-mathematiques.net/phorum … 43,1305001

Il y a maintenant une alternative à la logique, le raisonnement exact :
A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Si vous voulez en savoir plus, vous pouvez posez vos question ici, ou sur mon site :
http://dattier.yoo7.com/t4-la-revolutio … t-exact#20

Être logique vous rend prévisible, être exact vous rend clair et peut prévisible (en effet cela dépend des affirmations exactes que vous utilisez pour raisonner)

Bonne journée.


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#2 18-12-2018 20:59:37

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 095

Re : Batir l'arithmétique sur autre chose que la logique.

Bonsoir,

N'importe quoi, sauf des mathématiques !

Hors ligne

#3 19-12-2018 09:32:54

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Bonjour,

Quand tu auras autres choses à dire que des affirmations peremptoires, on pourra discuter, en attendant va répèter tes mantras ailleurs.

Merci.

PS : ce qui s'affirme sans preuve, se nie sans preuve.

Bonne journée.

Dernière modification par Dattier (19-12-2018 09:43:24)


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#4 19-12-2018 09:59:47

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 095

Re : Batir l'arithmétique sur autre chose que la logique.

Bonjour,

Dattier a écrit :

ce qui s'affirme sans preuve, se nie sans preuve

Ceci s'applique parfaitement à tes prétendus "raisonnements exacts" qui ne comportent aucune démonstration.

Même si ça ne te plait pas, je continuerai de dénoncer tes bobards antiscientifiques.
Franchement, je ne vois pas l'intérêt pour toi d'écrire de telles bêtises. Tu aurais sans doute les moyens de faire correctement des mathématiques, si tu ne retombais pas sans cesse dans tes travers de clown.

Hors ligne

#5 19-12-2018 10:20:37

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Michel Coste a écrit :

Ceci s'applique parfaitement à tes prétendus "raisonnements exacts" qui ne comportent aucune démonstration.

Et, toi peux-tu me donner une démonstration du raisonnement par récurrence et du fait que les parties non vide de $\mathbb N$ admettent un min, qui ne soit pas circulaire ?

Si tu es raisonnable tu me répondras que l'un des 2 est un axiome.
Et bien, le raisonnement exact, permet de trouver ses propres axiomes (ils ne sont pas fixées à l'avance on les découvre).

Comprends-tu mieux maintenant ?

Dernière modification par Dattier (19-12-2018 10:28:26)


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#6 19-12-2018 10:27:33

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Deplus un axiome n'est rien d'autre qu'une affirmation exacte.


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#7 19-12-2018 10:29:43

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 095

Re : Batir l'arithmétique sur autre chose que la logique.

L'axiome de récurrence est un théorème de ZF.

Et si tu démontres B en ayant A comme hypothèse, alors tu as démontré l'implication "Si A, alors B". Point barre.
Rien à voir avec tes c.nn.r..s de "raisonnement exact".

Hors ligne

#8 19-12-2018 10:42:37

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

1/ Peux-tu prouver les axiomes de ZF ?

2/ Si tu dois t'appuyer sur une autre théorie pour prouver ZF, je te demande de prouver également les axiomes de cette théorie ...

3/ 2 cas : soit ta démo est circulaire, soit tu la prouve avec le raisonnement exact.

Je te donne un exemple d'affirmation exacte : "une affirmation vraie, a été vrai"

(Si une affirmation A est vrai alors A est vrai) n'est pas exacte, en effet elle posséde un contre-exemple, si on est 10:44 au serveur de bibmaths, alors A:"on est 10:44 au serveur de bibmaths" est exact, mais une minute plus tard, A n'est plus vrai.

Dernière modification par Dattier (19-12-2018 10:47:37)


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#9 19-12-2018 10:58:03

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 095

Re : Batir l'arithmétique sur autre chose que la logique.

Tes questions n'ont aucun sens. On ne démontre pas les axiomes, par définition de ce qu'est un axiome. Le choix des axiomes d'une théorie est le fruit de la pratique mathématique.

Le reste de ton message sur "l'exactitude" est une vaste fumisterie qui n'a aucun rapport avec les mathématiques.

Hors ligne

#10 19-12-2018 11:02:19

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Michel Coste a écrit :

Tes questions n'ont aucun sens. On ne démontre pas les axiomes, par définition de ce qu'est un axiome.

C'est toi, qui t'ai lancé, vers une fuite en avant, en parlant de la démo de l'axiome de récurrence, en utilisant ZF...

Bon maintenant que tu es devenu raisonnable, tu sais qu'un axiome ne se prouve pas, par contre on a une confiance relative en ce que cette axiome soit vrai (comme pour la récurrence en arithmétique), c'est donc une affirmation exacte...Capito ?

Dernière modification par Dattier (19-12-2018 11:08:20)


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#11 19-12-2018 11:50:04

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 095

Re : Batir l'arithmétique sur autre chose que la logique.

Qu'est-ce que ça veut dire, avoir une confiance relative que les axiomes de la théorie des groupes, par exemple, soient vrais ?   Ça ne veut rien dire du tout.
Quant aux axiomes ZFC, l'accord sur leur adoption n'a rien à voir avec tes bobards de "raisonnement exact" ("avec 10 exemples et pas de contre-exemples connus des concernés", c'est quoi, les 10 exemples pour ZFC ??). On peut par ailleurs trouver pertinent, à partir des travaux des théoriciens des ensembles, de leur adjoindre des axiomes de grands cardinaux. L'utilisation de tels axiomes supplémentaires ne relève en aucune façon des bobards que tu racontes.

Bref, beaucoup de bruit pour ... du vent, rien que du vent.

Hors ligne

#12 19-12-2018 12:07:00

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Michel Coste a écrit :

1/ Qu'est-ce que ça veut dire, avoir une confiance relative que les axiomes de la théorie des groupes, par exemple, soient vrais ?

2/ Quant aux axiomes ZFC...

1/ C'est de disposer d'au moins de 10 exemples et de n'avoir aucun contre-exemples connus des personnes concernées.

1-2/ On parle ici d'arithmétique, et non de théorie des ensembles ou autres...

Dernière modification par Dattier (19-12-2018 12:09:30)


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#13 19-12-2018 12:12:23

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 095

Re : Batir l'arithmétique sur autre chose que la logique.

Tu ne parles pour de vrai de rien du tout. Du vent, rien que du vent.
Qu'as-tu dit sur l'arithmétique qui ne soit pas du vent ?

Hors ligne

#14 19-12-2018 12:14:02

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Michel Coste a écrit :

Qu'as-tu dit sur l'arithmétique qui ne soit pas du vent ?

Que l'arithmétique moderne est basée sur des axiomes qui ne sont pour la plus part, rien d'autres que des affirmations exactes.

Dernière modification par Dattier (19-12-2018 12:17:46)


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#15 19-12-2018 13:21:41

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 095

Re : Batir l'arithmétique sur autre chose que la logique.

Du vent.

Hors ligne

#16 19-12-2018 13:58:09

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Ce qui s'affirme sans preuve, se nie sans preuve.

Dernière modification par Dattier (19-12-2018 14:00:13)


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#17 19-12-2018 18:59:20

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Revenons au sujet : l'avantage du raisonnement exact c'est qu'il est intuivement facile d'accés contrairement à la logique (qui est contre intuitive), ainsi n'importe qui peut raisonner avec.

J'ai dans l'espoir d'en faire un outil de prise de décision consensuelle populaire et efficace, pour montrer ses potentialités je veux d'abord, le dépolyé en arithmétique, le but est montrer que :

1/ en calcul le raisonnement exact est plus efficace que la logique :
PS : il suffit de proposer ici des conjectures (elles seront exactes, et on s'appuiera dessus pour casser des crypto-systèmes)
des régularités que vous avez observé sur les nombres.


2/ refuter AP à partir de l'arithmétique exact (AE) : prouver que des résultats prouver vrai sont en fait faux.

Alors pour ceux qui sont intéréssés par le projet sont les bienvenu, j'aurais du mal à y arriver seul, c'est pour cela que j'en parle sur les forums.

PS : vous n'avez pas besoin d'avoir fait des études de maths pour être trés utiles, suffit de trouver beaucoup de régularités inédites dans les nombres.

Dernière modification par Dattier (19-12-2018 22:22:31)


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#18 20-12-2018 06:34:23

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 095

Re : Batir l'arithmétique sur autre chose que la logique.

Bonjour,

Du vent, encore du vent, et un beau délire plein de fautes de français :

refuter AP à partir de l'arithmétique exact (AE) : prouver que des résultats prouver vrai sont en fait faux.

Hors ligne

#19 20-12-2018 09:03:53

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Bonjour,

Si c'est vraiment du vent, ce je raconte, n'as-tu pas mieux à faire qu'à brasser de l'air ?

Bonne journée.


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

#20 20-12-2018 21:10:33

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Batir l'arithmétique sur autre chose que la logique.

Dattier a écrit :

vous n'avez pas besoin d'avoir fait des études de maths pour être trés utiles, suffit de trouver beaucoup de régularités inédites dans les nombres.


Raisonnement Exact : A est exacte si avec 10 exemples et pas de contre-exemples connus des concernés

Hors ligne

Pied de page des forums