390

Folco (./386) :
Alors que ce n'est qu'un état de connaissance à un instant donné.

Oui, c'est l'ensemble de nos connaissances et de notre bon sens, classées de façon systématique.
Sinon, elle est incapable de remise en cause,

C'est le contraire : c'est la remise en cause permanente.
Parce que tu crois qu'il n'y a pas de principes actif dans les plantes ?

Cf ./385
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

391

Hippopotame (./390) :
C'est le contraire : c'est la remise en cause permanente.

Et quelle est donc ta définition de la Vérité si la Science accepte (à raison !) la remise en cause permanente ?

392

ce qui est vérifié par l'expérience ?
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

393

Hippopotame (./390) :
C'est le contraire : c'est la remise en cause permanente.

Tiens au fait, c'est rigolo de professer ce principe, tout en soutenant dans les faits la plupart du temps que la science ne se trompe pas grin

394

Hippopotame (./392) :
ce qui est vérifié par l'expérience ?

Donc d'après toi, la vérité n'est pas par elle-même, elle est établie par notre connaissance ?

395

Ben par construction, la science ne se trompe pas, puisque tout fait nouveau invalide les théories précédentes et est incorporé à la science.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

396

Folco (./394) :
Donc d'après toi, la vérité n'est pas par elle-même, elle est établie par notre connaissance ?

Hmmmm.....


Je dirais que la vérité mathématique existe par elle même et est connaissable de façon absolue. Il n'y a pas de remise en cause dans ce domaine

C'est pour ça que les maths ne sont pas une science (= pas une science expérimentale comme les autres)
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

397

Folco (./394) :
Hippopotame (./392) :
ce qui est vérifié par l'expérience ?

Donc d'après toi, la vérité n'est pas par elle-même, elle est établie par notre connaissance ?

-établie+vérifiée
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

398

vince (./397) :
-établie+vérifiée

Là, j'approuve. Mais comment savoir si notre vérification est bien la bonne ? cheeky
Hippopotame (./395) :
Ben par construction, la science ne se trompe pas, puisque tout fait nouveau invalide les théories précédentes et est incorporé à la science.

C'est quand même le comble de la mauvaise foi hypno

Ta phrase veut aussi dire "la Science s'est trompée avant", d'une part, mais également "la Science est peut-être encore en train de se tromper" (remise en cause permanente).

Mais ça te édrange pas de prétendre après ça "la Science ne se trompe pas" grin

399

Vous êtes certains de vouloir relancer une énième fois ce troll récurrent ? zzz
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

400

Je trolle pas, je pose des questions, afin qu'il précise sa pensée sur ces examens de merde. tripo

401

Bon, les choses ont été dites de manière peu précise (c'était pour provoquer), en reformulant ça je dirais : la science est la seule manière de s'approcher de la vérité du monde physique (=de la vérité expérimentale), dont la nature profonde exacte est voilée, nous est inaccessible.

C'est la seule manière, par définition même de la science.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

402

Lu il n'y a pas longtemps : Utiliser la Bible pour démontrer l'existence de Dieu, c'est comme utiliser la trilogie de Tolkien pour prouver l'existence des hobbits...

Je pense qu'on peut l'adapter en "Utiliser la science pour démontrer l'existence de la vérité scientifique, c'est comme..."
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

403

Non mais Hippo trolle ou feint de ne pas comprendre la position de Folco. La définition même de la vérité scientifique telle qu'il l'expose fait que c'est vrai par construction, autrement dit c'est vrai pour tous les cas qui ont été essayés, donc dire que c'est vrai n'apporte aucune information. Ça ne veut pas dire que l'état de la science à un instant quelconque est vrai dans l'absolu, tout comme le fait que les maths soient vraies est un axiome et non pas une vérité au sens usuel du terme (vu que ce n'est pas réfutable).
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

404

Tiens à ce propos j'ai une vraie question, pas pour troller: est-ce qu'on peut reconstruire toutes les mathématiques actuelles à partir des 4 opérations arithmétiques de base (et encore la division peut se faire avec une multiplication et une soustraction, donc 3).

405

Rusty Frozbite (./387) :
Déjà en psy on t'apprend à jamais donner direct des médocs. Si tu as le malheur d'écrire "j'donne des antidépresseurs/antipsychotiques/etc" sur un dossier psy pour un patient vu la première fois sur la prise en charge, t'as zéro à la question.
Muahaha, jolie théorie \o/ (il suffit de faire ça la seconde fois, et de ne jamais remettre en cause le traitement, même quand les symptômes s'aggravent et que le patient a développé la quasi intégralité des effets indésirables de la notice de chacun des médicament prescrits... et il semblerait que ça soit une constante chez les généralistes comme chez les psychiatres dans le cas des antidépresseurs & anxiolytiques).
avatar

406

melbou (./404) :
Tiens à ce propos j'ai une vraie question, pas pour troller: est-ce qu'on peut reconstruire toutes les mathématiques actuelles à partir des 4 opérations arithmétiques de base (et encore la division peut se faire avec une multiplication et une soustraction, donc 3).
Et la soustraction n'est qu'une addition de nombres négatifs, donc deux. Et la multiplication une boucle d'additions (je pense qu'on est obligé de développer la notion de boucle pour arriver à ce que tu proposes, puisque de nombreux opérateurs utilisent ce principe).
avatar

407

Nil (./406) :
Et la multiplication une boucle d'additions
Comment tu fais pour les nombres non-entiers ? cheeky
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

408

Bah assez simplement... tu multiplies avant par 10^n, et après l'opération, tu divises triso
avatar

409

Comment tu fais pour les nombres irrationnels ? cheeky
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

410

Bon, là, tu commences à m'ennuyer embarrassed (sinon, je suis surpris qu'un électronicien comme toi ait posté le ./407 ; c'est pas comme ça que c'est implémenté dans les systèmes sans FPU ? tongue)
avatar

411

Si, mais les nombres non-entiers sont arrondis, sauf dans le cas particulier où leur représentation en base 2 a un nombre de chiffres après la virgule inférieur à une constante.
C'est suffisant pour faire de l'ingénierie, mais ce n'est pas assez rigoureux pour faire des maths généralistes.
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

412

Zerosquare (./403) :
Non mais Hippo trolle ou feint de ne pas comprendre la position de Folco. La définition même de la vérité scientifique telle qu'il l'expose fait que c'est vrai par construction, autrement dit c'est vrai pour tous les cas qui ont été essayés, donc dire que c'est vrai n'apporte aucune information.

Oui, mais je ne pense pas que ce soit si vide que ça, comme énoncé.
Une partie des postures antiscientifiques vient qu'on finit par ne plus percevoir clairement le lien entre la science institutionnelle et l'évidence expérimentale, c'est quelque chose à rappeler.
tout comme le fait que les maths soient vraies est un axiome et non pas une vérité au sens usuel du terme (vu que ce n'est pas réfutable).

Ah non par contre les maths sont vraies dans l'absolu !
melbou (./404) :
Tiens à ce propos j'ai une vraie question, pas pour troller: est-ce qu'on peut reconstruire toutes les mathématiques actuelles à partir des 4 opérations arithmétiques de base (et encore la division peut se faire avec une multiplication et une soustraction, donc 3).

Non.
(enfin ça dépend ce qu'on met exactement dans "reconstruire avec les 4 opérations").

Le langage des 4 opérations et de leurs axiomes, c’est l'arithmétique de Péano, AP (ou arithmétique du premier ordre).
La plupart des mathématiques actuelles sont écrites dans le langage de la théorie des ensembles, ZF.

Or ZF est logiquement strictement plus forte que AP, et on a des exemples concrets d'énoncés qui sont des théorèmes de ZF et qui sont indécidables dans AP.

Cela dit ZF est extrêmement puissante et la plupart des branches des maths n'utilisent pas toute sa puissance.
La majorité des maths actuelles peut s'écrire dans le langage de l'arithmétique du second ordre (appelé aussi analyse). grosso modo il s'agit des entiers, des 4 opérations et des ensembles d'entiers, avec les axiomes qui les gouvernent.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

413

Les nombres négatifs peuvent facilement être représentés avec des entiers (pensez à ça de manière informatique : on stocke 0 ou 1 pour indiquer le signe, et un entier naturel n pour la valeur absolue).
Les nombres rationnels aussi (quotient).
Les nombres algébriques aussi (suffit de stocker le polynôme minimal, et un encadrement de la bonne racine), voire plus compliqué encore que les nombres algébriques.

par contre, les nombres réels, en toute généralité, demandent pour être codés des ensembles (éventuellement infinis) d'entiers.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

414

Hippopotame (./412) :
Une partie des postures antiscientifiques vient qu'on finit par ne plus percevoir clairement le lien entre la science institutionnelle et l'évidence expérimentale, c'est quelque chose à rappeler.
Je suis d'accord, mais pour moi ce n'est pas en argumentant autour du concept de vérité que tu feras avancer les choses cheeky
Hippopotame (./412) :
Ah non par contre les maths sont vraies dans l'absolu !
Elles sont vraies parce qu'elles se basent sur des axiomes qu'on déclare arbitrairement vrais, et sur un raisonnement dont on décide qu'il crée des machins vrais si on part de trucs vrais. Donc oui tu peux dire qu'elles sont vraies dans l'absolu, mais comme ce n'est pas réfutable, pour moi ça n'a pas grand intérêt de le dire (et ce n'est pas la même notion de vérité que celle qu'emploient la plupart des gens).
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

415

Zerosquare (./414) :
Je suis d'accord, mais pour moi ce n'est pas en argumentant autour du concept de vérité que tu feras avancer les choses cheeky

C'est Folco qui a introduit le thème embarrassed

Il dit en ironisant que "science = vérité", ben moi je dis oui cheeky
Elles sont vraies parce qu'elles se basent sur des axiomes qu'on déclare arbitrairement vrais,

Hmmm non.
Quand on a une axiomatique (A) et qu'on démontre là dedans un théorème (T), ce qu'on écrit c'est que "(A) implique (T)".

Et ça c'est vrai dans l'absolu, quelque soit la valeur accordée aux axiomes (A).
et sur un raisonnement dont on décide qu'il crée des machins vrais si on part de trucs vrais.

Oui... mais en fait on est au delà du doute raisonnable.

On n'a accepté que les méthodes si évidentes qu'elles sont forcément vraies, ou alors autant se flinguer.
(et ce n'est pas la même notion de vérité que celle qu'emploient la plupart des gens).

Absolument!
c'est un monde à part.
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou

416

0² > et tu peux "définir" la notion de vérité qu'emploient la plupart des gens ?

(cross)
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

417

Hippopotame (./415) :
Quand on a une axiomatique (A) et qu'on démontre là dedans un théorème (T), ce qu'on écrit c'est que "(A) implique (T)".
Et ça c'est vrai dans l'absolu, quelque soit la valeur accordée aux axiomes (A).
Oui. Ce que je veux dire c'est qu'ils sont vrais dans l'axiomatique qu'on a choisie (par définition), mais c'est arbitraire, ils peuvent très bien être faux dans une autre axiomatique. Donc pour moi "absolu" n'est pas le bon terme, vu que la véracité de ce qui est démontré se limite à l'axiomatique que tu utilises.
Hippopotame (./415) :
On n'a accepté que les méthodes si évidentes qu'elles sont forcément vraies, ou alors autant se flinguer.
Bien sûr qu'en pratique on a choisi des trucs qui nous sont évidents (genre non-contradiction), mais ce n'est pas une condition nécessaire pour faire des maths, en toute rigueur smile
vince (./416) :
0² > et tu peux "définir" la notion de vérité qu'emploient la plupart des gens ?
Une assertion qui correspond à la réalité observable et qui est réfutable (à savoir que rien ne permet d'affirmer qu'il n'existe pas de contre-exemple).
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

418

Mais comment prouver sur 2+2 ça fait toujours 3 ?
avatar
Proud to be CAKE©®™


GCC4TI importe qui a problème en Autriche, pour l'UE plus et une encore de correspours nucléaire, ce n'est pas ytre d'instérier. L'état très même contraire, toujours reconstruire un pouvoir une choyer d'aucrée de compris le plus mite de genre, ce n'est pas moins)
Stalin est l'élection de la langie.

419

Zerosquare (./417) :
Oui. Ce que je veux dire c'est qu'ils sont vrais dans l'axiomatique qu'on a choisie (par définition), mais c'est arbitraire, ils peuvent très bien être faux dans une autre axiomatique. Donc pour moi "absolu" n'est pas le bon terme, vu que la véracité de ce qui est démontré se limite à l'axiomatique que tu utilises.

Ben non, ce qu’il dit justement, c’est que l’implication (A -> T) est vrai dans l’absolu.

420

+e
avatar