Problème de chimie - Page 4

En même temps, c'est la conplexité du langage mathématique... quand tu résouds une équation et que tu arrives à x=2, on peut aussi prendre ça pour une affectation, où tu donnerais à x la valeur-résultat 2. Mais ça a aussi valeur de test où (x=2) = vrai.

Je peux aussi poser 2 = x si je veux faire une affectation.

ou x+1 = 3...

Oui, ou soit x l'unique racine réelle comprise entre alpha et beta de P(X), P(X) étant un polynôme compliqué.
C'est aussi une affectation, je vois pas le problème ...

personne. Mais le fait de dire x=2 pour moi c'est dire qu'on a bien x qui a la valeur 2. Dire 2=x c'est dire que 2 a la valeur de x. On lit de gauche à droite quoi.

deux est égal à x
x est égal à deux

Tu vois ce que je veux dire ?


./92 : Essaye de faire une affectation 2 = x en perl :

wi-5-119:~/tmp/test kim$ ./toto.pl
Can't modify constant item in scalar assignment at ./toto.pl line 3, near "$x;"
Execution of ./toto.pl aborted due to compilation errors.

Ca ne passera pas. Je prend le perl comme exemple, mais c'est loin d'être le seul langage à refuser cette ligne.

./95

94

A bas la capillotraction normalienne !

kim :
personne. Mais le fait de dire x=2 pour moi c'est dire qu'on a bien x qui a la valeur 2. Dire 2=x c'est dire que 2 a la valeur de x. On lit de gauche à droite quoi.

deux est égal à x
x est égal à deux
Tu vois ce que je veux dire ?

Je vois très bien ce que tu veux dire, et je dis que tu te trompes. Si on est capable de faire une preuve formelle, tant mieux, pas besoin de venir foutre de la sémantique là dedans.

./92 : Essaye de faire une affectation 2 = x en perl :

wi-5-119:~/tmp/test kim$ ./toto.pl
Can't modify constant item in scalar assignment at ./toto.pl line 3, near "$x;"
Execution of ./toto.pl aborted due to compilation errors.

Ca ne passera pas. Je prend le perl comme exemple, mais c'est loin d'être le seul langage à refuser cette ligne.

On parle de maths, là, pas des sous sciences.

• kim fait semblant de ne pas avoir lu.


Sans sémantique, tu ne pourras jamais te faire comprendre. Essaye de vivre dans un monde sans sémantique. Enlève la sémantique de tes preuves formelles, tu n'iras pas loin

• kim a pas résisté :/


• kim fait cependant toujours semblant de ne pas avoir lu la dernière phrase.

Kim> je vois pas en quoi c'est dur a comprendre

On parle de maths, là, pas des sous sciences.

oue.. en hh-script ca marche ca .
nous sommes d'accord, le perl ca sux

non.

Moumou
:

./92 : Essaye de faire une affectation 2 = x en perl :

wi-5-119:~/tmp/test kim$ ./toto.pl
Can't modify constant item in scalar assignment at ./toto.pl line 3, near "$x;"
Execution of ./toto.pl aborted due to compilation errors.

Ca ne passera pas. Je prend le perl comme exemple, mais c'est loin d'être le seul langage à refuser cette ligne.

On parle de maths, là, pas des sous sciences.

-"sous sciences"+"techniques derivant de resultats d'autre sciences, mais que certains prennent par erreur pour des verites scientifiques"

D'ailleurs ca ne m'etonnerait pas que qqch comme Prolog te permette d'ecrire "2 = x", donc meme en faisant la grossiere erreur d'assimiler affirmation mathematique et commande de langage de programmation, "2 = x" reste valable

kim
: Enlève la sémantique de tes preuves formelles, tu n'iras pas loin

En logique du premier ordre, tout ce qui est valide est prouvable.

en prolog, 2 = x passera, si mes souvenirs sont bons. Mais bon, le prolog...

Pollux :
ben x+1=3 ou x^2/2-2x+2=0 sont aussi strictement equivalents a x=2, hein

les mathématiques ne seraient-elles pas qu'une vaste tautologie ?

sinon, mon prof de maths rajoutait un critère pour qu'une "phrase" soit mathématique : sa pertinence et répondre x^2/2-2x+2=0 n'est clairement pas pertinent (alors que 2=x ça passe encore )

Flanker
:

Pollux :
ben x+1=3 ou x^2/2-2x+2=0 sont aussi strictement equivalents a x=2, hein

les mathématiques ne seraient-elles pas qu'une vaste tautologie ?

ben oui, mais le but c'est qu'elle soit le plus vaste possible ^^

sinon, mon prof de maths rajoutait un critère pour qu'une "phrase" soit mathématique : sa pertinence et répondre x^2/2-2x+2=0 n'est clairement pas pertinent (alors que 2=x ça passe encore )

ouais, enfin disons plutot qu'on peut se permettre de zapper des etapes tant qu'elles sont triviales, tout le probleme etant de savoir ce qu'on peut classer comme trivial ou pas (ca depend du public visé -- par exemple si tu as un prof con ou pas)

Moumou
: On parle de maths, là, pas des sous sciences.

Relis le titre du topic...

hm faudrait faire un langage avec des rvalues et détection automatique

ben non, malgré ce que dit kim l'affectation n'a rien avoir avec une affirmation d'egalite... effectuer une affectation implique que juste apres l'affectation il y aura egalite, mais il peut y avoir plusieurs manieres de satisfaire l'egalite (x = y ? y = x ?), et l'egalite ne sera pas necessairement vraie pdt toute la duree de vie du programme... bref rien a voir et il ne faut surtout pas confondre

Pour ceux qui aiment quand même les sous-sciences : s/=/==
2 == x est strictement équivalent à x == 2.

Mais dans ce cas, que doit-on répondre à la fin?
que "2==x est vrai", façon Prolog?
ou plus sobrement x=2, x étant une gvaleur?
En tout cas, il me parait acquis que 2=x ne passera pas. 2==x si.

Dans d'autres langages, la différence se fait entre = et :=
Dans ce cas, 2=x est tout aussi valable que x=2. Mais pour 2:=x, vous vous ferez jeter...

x:=2 ne veut rien dire, surtout que si tu poses *a l'avance* x comme etant egal a 2 tu ne peux plus exprimer le fait que c'est la seule solution de l'equation ; x==2, en revanche, est une equation equivalente a la question... (et a 2==x, meme si ce n'est pas forcement la forme demandee par l'enonce)

Scusez moi, je croyais être dans un topic de blagues ^^

Ca va virer à l'affaire d'état ce truc je le sens, avec théories mathématiques et logiques poussées

Dire que tout ca part d'un type qui a préféré causer de maniere naturelle, plutôt que de raccourcir dans un obscurantisme mathématicen sa jolie démo.

Aussi, on ne dit pas :
Soit 2=x
On dit :
Soit x=2
Soit x tq x=2
Soit x tq 2=x

troll to continued ^^

Soit x={{}{{}}}

et pkoi pas x={{{}}{}} ?

Index » Forum yAronet » Humour & Blagues

Index » Forum yAronet » Humour & Blagues