géométrie non commutative
Réponses
-
Pour la définition de cuistrerie, google est ton ami.
Pour le fait que tu me reproches de citer en anglais, tu l'as écrit noir sur blanc alors arrête. Ta mauvaise foi est flagrante. Ce n'est pas ma faute si tu n'as pas appris la langue, je cite en VO par souci d'authenticité (et flemme de traduire il faut avouer).
Et pour tes insinuations (non je ne connais pas EC dsl) et le fait que tu me traites de "pédé" à mots couverts ("not that there's anything wrong with that!" )... bizarrement tu ne réponds pas.
Et tu ne réponds en aucun cas non plus sur le contenu de mes affirmations.
Allez dsl de polluer ton fil (oups non c'est toi qui pollue le fil de quelqu'un d'autre avec ta logorrhée), je n'interviendrais plus. -
le fait que tu me traites de "pédé" à mots couverts
Ah non, pardon X:-( l'affectif ici évoqué n'a jamais été sexuel, gros malentendu. (Mais ça me plait quand tu parles comme ça!!! )
Non, je t'assure que la réponse que je t'ai faite est la bonne (en tout cas 100% sincère), je vais relire, mais je suis catégorique, je ne suis d'ailleurs JAMAIS de mauvaise foi (où alors je le dis 2H plus tard sous la forme "je blaguais"). A quoi ça sert d'être de mauvaise foi, dans ma position sur le forum, d'ailleurs, où serait l'interet?Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
Voila ce que j'ai dit:ton postage d'une deuxième question, avec la citation anglaise (pour faire genre, je ne voulais pas que dire la première partie de ce que j'ai dit) ça t'édifierait à une meilleure compréhension du problème justement.
La partie en italique, c'était pour que tu vois de quoi je parle, ie de quelle deuxième partie tu parlais, un peu comme si j'avais mis un lien, je t'assure!Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
Et sur le fond, je t'ai répondu dans le long fil ci-dessus (je te l'avais d'abord envoyé en MP):
en résumé, je n'ai strictement jamais dit que la MQ est TSD je l'ai catégoriquement affirmé des mon premier post dans le fil. D'où ta remarque était complètement hors-sujet quand j'ai dit "oui" à Eric (qui me le demandait, ie une rep par oui ou non)
Ensuite, Eric a pas mal répété que j'avais prétendu la MQ TSD.
PAr ailleurs, j'ai essayé de détailler toute la problématique, en particulier en formalisant (mais pas en modélisant!!!), mais objectivement, non pas "le monde" mais les quelques TRES SIMPLES descriptions du falsifiable de l'histoire.
De son côté Eric m'a plutot accusé de "modéliser le monde", que "c'est pas possible ou subjectif", que "ce ne sont que des theoremes qui n'engagent que ceux qui croient qu'ils sont dans le modele supposé", etc, etc quand il ne m'accusait pas de me tromper.
Du coup ce que j'ai raconté a été pas mal crypté.
Par ailleurs, plus grave, j'ai epuisé mon énergie dans cette polémique et n'ai donc pas pu insister sur le fait que c'est important qu'aucune fonction n'est incluse dans les R quantiques et que ce n'est pas juste de l'indétermination dans le même sens que les médias diffuse celle de la MQ"
Et encore plus grave (ou pas, je ne sais pas), la participation d'Eric DE LA MANIERE dont il l'a fait en ayant l'air d'objecter sur pas mel de choses, alors qu'il n'objectait pas, peut induire le lecteur en erreur assez considérablement en ce sens que ledit lecteur pourrait croire qu'en dehors d'une difficulté de complexité du problème, il n'y aurait pas de conflit entre relativité et MQ (EC a même été on ne peut plus répétitif sur ce point!!!!!). Et plus généralement, sa posture peut conduire le lecteur novice à penser qu'il n'y a ni mystère, ni problème dans la vision du monde que propose, voire qu'impose la MQ et que les prétendus paradoxes ne sont que nourriture pour médias, et que les experts ont bien compris ce qui se passe. Violà me semble-t-il la vision que la posture d'EC diffuse.
Or toi afk, tu postes un truc où effectivement tu te demandes bien "ce que ces gens ont voulu dire" (la je te reparles du psg wiki qui t'a étonné)Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
J'essaie de résumer ce qui est passé à la trappe dans ce que je voulais dire en cours de route:
1) il y a l'indéteminisme "bien connu" de la Mq tel que présenté ds les médias: le chat de Schrodinger. Il ne fait rien à "l'homme de la rue" qui croit instinctivement "pff, ces pauvres physiciens ils appellent indéteminisme le fait de ne pas savoir, ie ignorance de conditions initiales, etc". L'homme de la rue répond ainsi instinctivement (variable cachée, "évidemment locale" et en plus "concrete")
2) si on exige un peu plus de HDR, on lui parle des bases orthonormales de "ses sens" ou de "ses caméras" et de la non commutation. Voire même du th de Gleason (dont j'ai parlé de l'existence mais pas de l'énoncé que je ne connaissais pas rigoureusement, pensant que c'était un lemme de deug), dont il a de toute façon une acceptation naturelle. "L'indétermination-incertitude des médias" devient alors instinctivement expliqué par ENCORE des variables cachées (mais abstraites ce coup-ci) et ENCORE potentiellement locales
3) EPR, mais surtout les tel de 2ie génération sont la seule preuve pour HDR (mais il faut qu'il se le coltine et la deuxième génération de telephones est INDISPENSABLE, ce EPR) s'il connait et accepte la relativité absolument irréfutable de l'indéterminisme parfait de la MQ (et en fait de la NATURE!!!!!!!) à cause de la falsifiabilité des expéreinces EPR 2ieme génération (tant qu'il y avait des probas, HDR pouvait s'en gousser)
4) LE point3 est connu sous l'adage "theoreme: pas de variable cachees locales" par les physiciens
5) Leggett a amélioré un peu cette situation et Zeilinger a confirmé en labo: même pas de variables cachées non loclaes de tel et tel type (raisonnable). Hélas je ne connais pas les inegalites de Leggett, j'aimerai bien, il est prix Nobel d'ailleurs
6) Et c'est seulement qu'on peut regretter que les physiciens ne fassent pas de maths qualitatives (ie de la logique): en fait, pour des raisons incomparablement plus simples que celles de Leggett (qui sont compliquées, au moins au niveau des calculs quantiques), en fait, la relativité empeche les variables cachées QUELLES qu'elles soient (même déraisonnables). Mais pour obtenir ce point, faut juste passer à un étage plus bas (ou plus haut, je ne sais, je m'en fous) et non plus raisonner sur la physique, mais sur "les textes de physique": en effet, l'inexistence de graphes fonctionnels tels que blabla implique (c'est un theoreme donc incontestable) d'écrire une suite d'articles de physique qui unifieront relativite et MQ sans en perdre un bout d'au moins une des deux. Ca nenécessite pas une expérience nouvelle, c'est juste une base, non assez rappelée (ou signalée) en ce qu'elle est confondable facilement avec l'indéterminisme tel qu'en (4)
La suite n'est pas une analogie: en raisonnant sur "les textes de physique" formalisés, on peut prouver qu'on a la situation suivante:
on dispose d'une machine qui gagne à coup sûr aux échecs en étant les blancs et aussi d'une machine qui gagne à coup sûr aux échecs en ayant les noirs, mais qu'elle est à usage unique et non clonable et que c'est un commutateur up/down SUR LA MEME MACHINE si on la veut jouant en tant que blanc ou jouant en tant que noirs.
Expérimentalement, on ne peut donc pas obtenir une contradiction en en faisant jouer une contre l'autre. Mais formellement c'est une situation qui rend IMPOSSIBLE l'unification SERIEUSE de la relativité et de la MQ, mais dirais-je même au niveau des bases (je ne parle même pas de gravitation). D'où la pub "moi, TQC, je réussis ça" --> un peu exagéré d'une part et CONFLIT nié par EC un peu et même bcp désinformant.
Et tout ça à cause de l'inexistence des graphes fonctionnels tels que...
(En fait, c'est très très simple de comprendre comment "prouver" que ça ne peut pas être correct une théorie qui prédit une R mais pas un G fonction inclus dedans: il suffit d'imaginer qu'on enleve des textes de physique toutes les instances où on a demandé plusieurs fois le même couple (par exemple, si deux combinés) au téléphone. Elles ne servent à rien donc on peut les enlever. Il s'ensuit que même si la théorie ne prédit que R, le TEXTE scientifique qui en parle décrit un G fonctionnel inclus dans R et est donc caduque (ie il existe un algorithmiquement un couple qui x qui le rend caduque)
Bon, ok, ce n'est que de la philo, mais sérieuse et incontournable. D'ailleurs je tiens le pari: toutes les annonces "ca y est on a réussi la grande unification" seront toujours démenties quelques temps plus tard (sauf si falsification de la RR ou de la MQ, et je dis bien la RR, pas la RG qui est contradictoire sur le principe, en l'état, si admission énergie négative (ou masse négative) à cause des boucles de genre temps***)
***Bon mais il est vrai que ça gêne pas les physiciens ce genre de contradiction.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
Oups, depuis 155134 posts j'oublie de dire que "la manyworkd interpretation" lève d'un coup à peu près toute la problématique. Mais, of course, je parle dans le contexte des gens qui "refusent" cette démarche.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
-
C'est comme si on disait "il existe une proposition qui, si elle était vraie, montrerait que ZF est contradictoire".
Non, ce n'est pas ça le profil, c'est plutot:
toute théorie qui complète T (supposée admise) est fausse, autrement dit une négation du théorème de complétude qui est un théorème[/i]
En ce sens que si tu prends tous les résultats d'expérience, par exemple, d'ici à l'an 4000, toutes les R considérées pourront être transofrmées (sur les relevés d'expérience) en des $G\subseteq R$ qui seront des graphes fonctionnels. Il suffira d'enlver toute sauf une des occurences "on a donné $x$ à la machine", pour chaque $x$.
Tant et si bien qu'aucun texte ne sera "acceptable", à moins d'inventer une vision ("many world interpretation exceptée" car elle est quasi impliquée (et je pense même qu'elle l'est, mais jamais rédigé patiemment le truc) de la science qui d'une manière cash accepterait les théories contradictoires ou de valider l'approche que j'ai attribuée (sous toute réserve de mon anglais) à Hooft de dire : "en fait ce n'est pas que R est garantie, c'est qu'il y a un "ordre" dans le monde (au sens opposé à l'entropie) qui fait qu'on ne tape jamais sur un x tel que la réponse obtenue r soit telle que $(x,r)\notin R$ " (ou en tout cas un truc dans ce genre, mais proche, car il a longuement exposé et je veux bien être nul en anglais... )Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
@K.
>mais tu ne justifies toujours pas pourquoi le résultat de CC que j'ai
>recopié (ton cas 2) ne peut donner une communication à distance suivant tes critères et défiant la RR
Alors d'abords je precise: je n'ai pas dit "ne peut pas". Christophe a dit "ne peut pas" et
justifié avec ses theoremes. Je me contente de dire, aucun dispositif experimental aujourd'hui
n'existe qui realise cela, en particulier pas les 3 systemes qui ont été mentionnés au long du fil
(Aspect, GHZ, Hardy). Donc si tu veux des justifications plus precises sur le "ne peut pas"
c'est plutot a CC de te les donner mais je crois que le contenu de ce fil a lui seul devrait
te donner pas mal de grain a moudre...
>Or, il existe peut-être une manière de les concilier...
>Serais-tu prêt à soutenir le résultat suivant ?
>Théorème de EC : "tout sous-graphe d'un téléphone non trivial
>au sens de CC est TSD ou bien seulement explicable par des effets de non-localité".
Ben non je n'ai pas cette prétention. Je constate seulement qu'aujourd'hui
on n'a pas de contre-exemple, et que ce que je connais de physique ne me laisse
pas entrevoir la possibilité d'en trouver un (en l'etat de la physique aujourd'hui).
@CC: Le nom c'est 't Hooft (avec une apostrophe avant le t, ce n'est pas une faute de typo).
@afk:
Alors en effet, je n'avait pas en tete la specificité du champs electromagnetique.
Pour un systeme materiel, son energie appartient au spectre d'un operateur, l'Hamiltonien.
C'est la MQ qui le dit. La relativité indique alors que ce formalisme doit
avoir le bon gout d'etre covariant, d'ou l'apparition en remplacement de l'equation de
Schroedinger de celle de Klein-Gordon pour les particules scalaire
et celle de Dirac pour les particules de spin 1/2. Jusque la aucune contrainte
supplémentaire en ce qui concerne la création/annihilation de particules.
Maintenant pour le champs electromagnetique, la quantification de son energie est en relation directe
avec le nombre de particules simplement par la relation $E=h\nu$ (energie de 1 photon donc $E/h\nu$
represente le nombre de photons). Dans ce cas particulier le nombre de particules dans le systeme
est donc quantifié via l'energie du systeme, mais je ne dirais pas que la mecanique quantique
est en contradiction avec ca, juste qu'elle ne prevoit aucun mecanisme pour dire:
a cet instant t le systeme comprend n photons, a t+1 il en comprend n+1 ou n-1.
Je n'affirmerais donc pas que la compatibilité avec la relativité implique la seconde quantification, et
d'ailleurs l'extrait ne dit pas le contraire me semble t'il, et dit plutot qu'un systeme a 1 seule
particule (sans parler de creation annihilation) devra plutot etre decrit avec une equation
covariante (Klein Gordon ou Dirac), Schroedinger apparaissant comme une limite de basse vitesse.
Mais comme pour un photon il n'existe pas de referentiel au repos, cette limite n'a pas de sens
pour la quantification du champs electromagnetique.
Pour illustrer, prend un atome simple comme l'hydrogene, on sait resoudre Schroedinger,
et quand on ajoute la condition que la fonction d'onde est de carré
sommable alors le spectre d'energie devient discret. Un electron sautant d'un niveau a un autre
emettra ou absorbera un photon dont l'energie est la difference des niveaux. Mais dans ce formalisme,
il est important de noter que le champs electromagnetique est traité de maniere classique, simplement
par le potentiel electrique engendré par le noyau. Donc les niveaux d'energie de l'electron sont quantifiés,
mais le champs electromagnetique reste traité classiquement. Et le probleme c'est que cette modelisation
de l'atome dit que l'electron s'effondre necessairement sur le noyau, car on sait
aussi qu'un electron accéléré emet du rayonnement (exemple: rayons X), donc en "tournant" autour
de noyau, meme de facon chaotique, l'electron devrait perdre continuellement de l'energie,
et finir par s'effondrer sur le noyau.
Ce n'est heureusement pas le cas, donc il faut modeliser aussi le fait que l'electron ne peut
emettre un photon que s'il subit une variation d'energie egale a une difference de niveau.
En gros c'est la reciproque de ce qui precede. Le fait d'utiliser la seconde quantification decrit
ca correctement meme si ca parait parachuté, la MQ reste avec cette instabilité de l'atome, mais
qui n'est pas genante pour les applications pratiques courantes ou le rayonnement de freinage
est négligé. Si maintenant l'atome subit de fortes accélérations et des vitesses relativistes
alors ca n'est plus negligeable et la le besoin de la seconde quantification se fait sentir.
A+
Eric -
Merci Eric pour 't Hooft. Je ne connaissais pas cet aspect de la langue
d'origine ce physicien.
à K:
il te suffit, pour un téléphone à 2 combinés de prouver que:
$\forall x_1\exists y_i\forall x_2\exists y_2R(x,y)$ ou $\forall
x_2\exists y_2\forall x_1\exists y_1R(x,y)$ (+++)
Avec 3 combinés, il y a 6 propositions séparées par le mot "ou", ie une pour chaque
permutation de l'ensemble des trois combinés (avec 4 combinés, c'est 24, etc).
Attention: ce n'est pas équivalent à "impossible de transmettre 1 bit
avec". C'est un peu plus fort, c'est équivalent à
** ne pas pouvoir transmettre un quelconque degré de Tukey non trivial avec:
Un degré de Tukey est une classe d'équivalence de relations binaires, bon
j'ai la flemme de te la définir... Ce soir éventuellement..;
Par contre, je te dis ce comment le comprendre: Soit $(R,E,F)$ un triplet
avec $R\subseteq E\times F$. Attention, ce n'est pas la même chose qu'avec
les R du fil, c'est plus simple: les degrés de Tukey existent dans la
littérature.
On souhaite utiliser R comme un représentant "d'une puissance" de
téléphone "non trivial", ie qui transmet au moins un petit quelquechose
("un bit" est deja bcp) de lisible
Pour ça on considère un téléphone avec un combiné émetteur qui ne contient
qu'un clavier $E$ et un combiné récepteur qui n'a qu'un écran $F$. Dire
que ce téléphone est $R$ garanti, c'est dire que quoique tu tapes sur ton
clavier $E$, l'autre reçoit un $y\in F$ tel que $xRy$.
R est dite non triviale quand $\forall x\in E, \exists y\in F: (x,y)\notin
R$. Sinon, il est facile de construire un téléphone R-garanti: il suffit à
la place de mettre un écran peint par un $y\in F$ tel que $\forall x\in
E: (x,y)\in R$
Quand j'avais commencé à reflechir à tout ça, je considérais que sur le
plan des principes aucune théorie physique capable de construire des
téléphones R-garanti dans le sens précédent n'est compatible avec la
relativité (ni même avec Newton, si on ne met pas "d'annulation de
garantie" pour les lignes de genre temps qui partent du récepteur
affichant la réponse et arrivent à l'émetteur tapant sur son clavier. Je
pense d'ailleurs que ce serait raisonnable, même avec la restriction
précédente d'annulation de garantie de dire qu'ils sont tous incompatible
avec la relativité, même si avec un D-téléphone *** au sens défini dans ce
post, on n'a pas non plus d'expérience qui entre en contradiction avec la
relativité.
Transmettre un bit signfie disposer d'une téléphone $I_2$ garanti dans le
sens précédent.
Les téléphones "quantiques" ont une autre signature (au sens logique) car
disposent pour les 2 combinés d'un clavier et d'un écran
Un téléphone est TSD (au sens (+++) défini au début du post) si on peut
l'utiliser pour simuler un téléphone R-garanti au sens Tukey pour au moins
une $(R,E,F)$ non triviale. Par chance, comme pour P=NP, on dispose
facilement de représentant canoniques des plus faibles Tukey non triviaux
possibles, qui sont les relations définies en ******.
+++ et équivalent à ** et "pouvoir transmettre au moins un bit" est défini
plus haut dans le fil, il suffit d'écrire "simuler" formellement, mais la
flemme.
*** par exemple $(R,3,3)$ où $3=\{0,1,2\}$ (je rappelle que c'est la def
officielle de 3) et $R:=\{(x,y)\in 3^2/x\neq y\}$
****** d'une manière générale, $(\neq ,E,E)$ avec (ie le récepteur reçoit
un $y$ qui est différent du $x$ émis par l'émetteur, sans pouvoir
controler "de quelle manière" ce y va être produit)
Pour fixer les noms, je te propose d'appeler téléphone de Tukey ceux définis dans ce fil et téléphones quantiques (ou ludiques) les miens (c'est juste pour bien distinguer les deux paradigmes, tout le monde a un clavier et un écran ou (dans Tukey), il y a un émetteur et un récepteur
Soit TL un téléphone ludique à deux combinés garantissant une $R\subseteq E^2\times F^2$ et TT un téléphone de Tukey garantissant une $S\subseteq D\times A$
Dire qu'on peut simuler TT avec TL, c'est tout bête:, c'est dire qu'il existe $f:D\to E$; $g:F\to A$ et $x_2\in E$ tel que pour tous $d\in D$ et $y\in F^2$, on a:
$((f(d),x_2) , y)\in R$ implique $(d,h(y_2))\in S$
Il parait alors raisonnable, de considérer que s'il existait un téléphone ludique physiquement fabricable garantissant une $R$ telle qu'il existe une $S$ de la forme ****** tels que $R$ permet de simuler $S$ alors la relativité tomberait, bien que pour autant, les $S$ de ****** avec $card(E)\geq 3$ ne permettent pas de manière évidente de trouver une expérience invalidant la relativité.
Cependant, dans leur cas on pourrait très honnêtement parler de CAUSALITE, puisque n'mporte quel $x$ tapé induirait un $y\neq x$ reçu à l'autre bout, ce qui est bien une causalité minimum, même si elle est moins forte (au sens de Tukey) que $(=,2,2)$ qui correspond à la transmission d'un bit.
Voilà pour une introduction au formalisme, c'est à lire doucement.
Dans le fil, je n'avais pas besoin de considérer des "forces" de causalité strictement plus faibles que 1bit, dans la mesure téléphone ludique non local qui garantit un graphe de fonction transmet au moins 1 bit dans le sens ci-dessus (j'ai aussi formalisé ça avant dans le fil)
En synthèse voici l'état de l'art (hélas seulement CCien, mais on s'y fait), les téléphones considérés étant supposés garantis que pour une ligne de genre espace au pire qui va de l'émetteur au récepteur (en cas de Tukey) ou entre les combinés en cas de ludiques, sauf en (4)
1) Tout TL garantissant un graphe fonctionnel contredit expérimentalement la relativité, avec pour conséquence que le jeu formel (mais honnête, on ne peut pas vraiment parler de modélisation, mais plutot de formalisation des réglès déontologiques régissant la falsifiabilité telles qu'en vigueur chez les physiciens), comme je l'ai dit, consistant à "raconter une histoire où des gens auraient réussi à mettre sur pied une théorie unissant TOUT CE QUE prédit la MQ ainsi que TOUT ce que prédit la relativité restreinte, uniquement dans sa version adaptable à la gravitation vérifie un théorème de maths sur les jeux à information parfaite qui énonce qu'on peut trouver récursivement dans le texte qui raconte leur histoire une faute irrémédiable. ie une telle théorie ne peut pas exister, il n'y a pas de variables cachées non locales, même sans restriction, même sans les hypothèses de Leggett, "théorisables" en quelque sorte.
2) Tout téléphone TT de Tukey qui garantit au moins $(=,2,2)$ contredit la relativité, ie, la relativité prédit qu'il n'y en pas
3) Tout téléphone TT de Tukey qui garantit au moins une relation ****** contredit "l'identité" de la relativité, mais je pense que c'est un problème ouvert de démontrer un théorème prouvant que ça ne la contredit pas expérimentalement
4) Si la garantie est atemporel, aucune physique ne peut prédire un téléphone qui garantit une Tukey non triviale (en effet, à 15h, tu envois vers le récepteur x, qui reçoit à 14h un "$y\neq x$" à qui il n'est pas interdit de laisser un message normal à l'émetteur pour lui dire d'envoyer y, ce qui est une contradiction. Mais "en croisé" dans la relativité, ça ne s'applique pas à (3)
5) Je peux démontrer avec HC (et Anatole l'a prouvé sans HC, dans ZFC seul), que si on n'exige pas une théorie comme dans (1) (passage rouge) qu'ils mettent sur pied une théorie, mais qu'il racontent simplement une histoire, quelle qu'elle soit, que même si on dispose de téléphones, pas seulement quantiques, mais carrément tous aussi puissants qu'on veut, du moment qu'ils sont non TSD, il ne leur est pas possible de trouver (ie il n'est pas possible que ce soit une histoires d'expériences) une expérience qui contredirait la relativité. La démonstration est assez difficile mais assez facile à comprendre, à part qu'il faut "avoir une idée" qui vient de la many world interpretation. Je la résumerai.
Par conséquent, (5) montre qu'on est très très loin, avec les téléphones physiquement prédictibles de la MQ de pourvoir transmettre un signal, même en les imbriquant dans tous les sens. Cela dit, "loin" est très subjectif puisque le simple fait de passer à un graphe de fonction, ie de prétendre deviner (sans condition autre, sans hypothèse de symétrie, juste deviner "comment va jouer l'adversaire") le comportement sur une utilisation unique casse exprimentalement la relativité. (Relire le passage sur le morpion ou les échecs quelques fils plus hauts)Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
Pour réagir à l'autre partie du fil (surtout le début, dite en quelques mots, maintenant que du formalisme a été précisé, je ne suppose m'adresser qu'aux ($\leq 3$ lecteurs éventuellement assidus, mais 3 est un chiffre optimiste, car ce n'est pas parce qu'on est à 5 visiteurs par post que le suivi est linéaire (et d'ailleurs l'étant il doit être indigérable)) concernant la TQC (et la suite, le modèle standard, la théorie des cordes, etc) dont je ne connais pas un gramme technique d'une seule, et préciser mes propos du début:
P1) ce que j'ai raconté qui précède est purement logique, formel et irréfutable. J'ai reflechi à ça alors que je ne connaissais ABSOLUMENT rien d'autre de la MQ qu'une seule et unique chose (donc pas son formalisme, son fonctionnement, etc, juste sa reput): l'existence de ce que j'ai appelé "la prédiction par la MQ de l'existence de ce que j'ai appelé les téléphones de deuxième génération dans le fil", ie des dispositifs permettant une transmission à l'homme de la rue irréfutable de ce que permet la MQ de non local, sans supposer de sa part qu'il adhère à l'esprit des probabilités "habituelles" dans le sens académique. Les téléphones d'avant "préhistoriques ", basés seulement sur les inégalités "à la Bell" (voir l'exemple de Hardy avec le 1/12) ne permettait pas de convaincre l'homme de la rue de la non localité quantique (s'il est sceptique et honnête)
P2) Ma démarche était possible car Roger Penrose a assuré la diffusion très tôt de la prédiction verte ci-dessus dans un chapitre intitulé "les dodécaèdres magiques" de son livre "les ombres de l'esprit". C'est légèrement indirecte, mais son exemple m'a permis de construire un "téléphone de deuxième génération" à partir d'une prédiction qu'il décrit. Cette prédiction n'utilise pas de MQ, c'est une expérience fasifiable. A ma connaissance RPenrose est LE SEUL qui a assuré correctement la vulgarisation de choses subtiles (les téléphones de deuxième génération ne sont réellement connus et testés que depuis les années 1990, donc après celle d'Aspect, qui a testé un téléphone d'avant. Toute la formalisation que j'ai racontée est entièrement possible à partie des seuls dodécaèdres magiques de R.Penrose. Il n'y a besoin de rien d'autre pour comprendre que "être un peu matheux" et "croire que Penrose n'a pas dit de connerie". Aucune MQ n'est utile ni nécessaire.
P3) Pour comprendre l'aspect "magique" de ces conclusions, il faut par contre connaitre LA RELATIVITE au moins restreinte et surtout avoir deja prouvé que ses axiomes IMPLIQUENT l'impossibilité de la causalité à vitesse $\geq c$. Les téléphones prédictibles de la MQ ne sont pas choquant, si avec Newton on croit qu'il y a des causalités instantanées, car il se peut alors que les combinés communiquent instantanément les touches tapées et s'arrangent ensuite pour donner les bonnes réponses: rappelons qu'il y a environ 1 seconde, peut-être moins, mais un petit temps, qui sépare l'appui sur une touche de la réponse sur écran. Par conséquent, ça ne devient conflictuel (au sens débattu et refusé par EC, mais c'est une engueulade sur le mot "conflit") avec la relativité ie "magique" et non représentable par un graphe fonctionnel que si dans les expériences on dispose d'un confortable sous-ensemble OUVERT de l'espace temps où les objets sont supposés ne pas s'interinfluencer (la relativité interdit les causes de s'y propager). L'esprit newtonien ne permet pas ça (la disparition du soleil chez Newton, entraine IMMEDIATEMENT que la terre cesse de se promener sur une ellipse, mais part tout droit.
P4) Depuis que j'ai connaissance du fonctionnement de la MQ, je pourrais ajouter à tout ce que j'ai dit bien d'autres choses, mais ce serait trop long. L'hypothèse mentionnée dans P2 sur quoi repose LA DEDUCTION de tout ce que je raconte n'est que toute petite à côté des autres conséquences fournies par comment fonctionne la MQ.
P5) Snif: et pourtant.... concernant la Nature, comme je l'ai dit dans un tout premier post, puis une autre fois plus loin, seules le contenu "P2" offre une preuve irréfutable sans hypothèses additionnelle du théorème RR+prédiction formalisée non localité falsiable => indéterminisme de la Nature. L"intra" de la MQ est autre chose, mais on peut, en dehors des "P2" considérations, toujours supposer (même si c'est idiot, c'est faisable) une explication "normale" de type "monde unique, et ce qu'on attribue à de l'indéterminé est en fait juste de l'ignorance de conditions initiales (varaibles cachées abstraites ou concretes) aux autres prédictions d'une autre nature que celles "P2"
P6) Heurement, il y a P2; et addtionnées à d'autres MQ axiomes (pas seulement prédictions falsifiables, mais aussi langage intra) on peut prouver assez facilement la manyworldinterpretation". A vrai dire, c'est même facile, il suffit juste d'une discussion un peu serrée où on "prend conscience" que l'objection "ce n'est qu'un outil mathématique" est caduque. La décohérence confirme cet état d'esprit.
P7) Avec un effort supplémentaire, mais très chiant à rédiger, on peut prouver irréfutablement la manyworldinterpretation en supposant juste toutes les prédictions fasifiables de la MQ. Je me suis toujours promis de le faire, mais remise au lendemain hélas. Ce P7 est vraiment LE TRUC pour lequel je regrette d'être faignant (j'ai mis dans un autre fil comment faire: http://www.les-mathematiques.net/phorum/read.php?2,609201,617856#msg-617856
)
P8) Evidemment, rien n'exclut qu'un jour on falsifie la MQ ou la relativité (même restreinte, après tout why not) et tout ça est sous toute réserve of course. Je suppose qu'elles ne le seront pas.
Tout ceci est à la TQC etc ce que la logique mathématique est aux maths spécialisées comme l'analyse hilbertienne ou les groupes de Lie par exemple. La teneur de mes propos au début se détaille donc par: tous ces signes que je décris obtenus à partir de "peu" de technique (encore que les TL de 2ie gen, c'est facile à "affirmer", mais c'est récent) ne peuvent selon moi que se diffuser indirectement dans les équations différentielles et l'algèbre qui foisinnent chez les gens qui travaillent à la TQC, les cordes, le modeles standard etc. Alors si je comprends bien Lee Smolin, il paraitrait que ces spécialistes savent astucieusement éviter les coins chauds (ce fil par exemple, son contenu) et faire "du modele standard", de la TQC ou "des cordes" à coup de calcul, sans jamais se confronter à un problème de fondement. Il explique et critique que c'est une manière à son avis mauvaise de procéder d'éviter les soucis comme ça, et se prétend être confirmé par le constat de stérilité de la physique depuis 30 ans constaté sur le fond (je ne parle pas des progres des ingénieurs). Comme ça rejoint un peu "mais pourquoi ils croient qu'ils vont y arriver" motivé par les considérations de ce fil, je suis plutôt de son avis, sans connaitre les détails techniques, et jamais étonné quand je tombe sur une citation comme celle d'afk (qui parle presque de contradiction etc)Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
à K: bon sinon, bien entendu, ci-dessus, je t'ai expliqué comment prouver que les téléphones de deuxième génération "connus" (GHZ, etc) sont nonTSD.
Si tu veux prouver que LA MQ entiere ne permet pas la transmission de signaux, il faut faire l'exercie1 (ie question1) du premier post du fil suivant:
http://www.les-mathematiques.net/phorum/read.php?4,619152,619152#msg-619152
en toute rigueur!Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
Avec $\C ^n$ à la place de $\C ^3$, et même avec n'importe quel Hilbert.
C'est à priori bien plus facile que la (2) qui est reliée à Gleason.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
Je donne une idée de la démonstration du point (5) du post http://www.les-mathematiques.net/phorum/read.php?8,616254,619722#msg-619722
Soit $R\subseteq E^2\times F^2$ nonTSD. (Je simplifie en prenant 2 combinés, c'est superchiant en en prenant plus, mais c'est pareil)
Il est difficile à priori de voir pourquoi, en en utilisant plusieurs astucieusement, on ne finirait pas par construire un dispositif qui in fine contredirait expérimentalement la RR. En effet, il n'est pas nécessaire de transmettre un bit une fois devant tout le monde avec un $\forall$ annoncé et donné en option libre au sceptique qui nous met à l'épreuve. Il se peut très bien qu'on utilise la relativité dans un raisonnement compliqué, avec des trains qui se croisent rapidement dans tous les sens habitées par des voyageurs munis de tout plein de téléphones nonTSD, mais qui les utilisent de manière à ce qu'on obtienne une contradiction.
On ne peut donc pas se permettre de faire un raisonnement "naif" ou direct, puisque le but est de prouver $\forall$ l'expérience, éventuellement très astucucieuse, blabla.
C'est là qu'intervient une notion issue de la "many world interpretation" que j'appelle "jouer sur plusieurs tables" mais gagner sur au moins une.
(Par exemple, si vous avez un jet, vous pouvez épater 50 pourcents de vos amis en prétendant aux uns battre Kasparov et aux autres Karpov, et, sans qu'ils ne le voient, faire jouer l'un contre l'autre (vous imposez les couleurs))
Je n'aurais pas pensé à cette idée si je ne m'étais pas interessé à la MWI...
Définition: R est dite multitable quand elle a la propriété suivante:
il existe un ensemble T, et $f,g: E^T\to F^T$ telles que: pour tout $x_1,x_2\in E^T$, il existe $t\in T: ((x_1(t),x_2(t)),(f(x_1)(t),g(x_2)(t))) \in R$
En français, on se comporte de manière locale mais on joue sur plusieurs tables et on gagne sur au moins une. Ainsi, à chaque table où on gagne on donne l'illusion à l'adversaire qu'on a réussi quelque chose de non local, alors qu'on n'a rien fait de tel (pas un instant, il n'y a la moindre dépendance des résultats fournis par $g$ en les $x_1(i)$...
Théorème: si R est nonTSD alors R est multitable. (Anatole a produit une preuve sans l'hypothèse du continu!)
Corollaire: comme les TSD sont stablespar produits, les mutitables aussi.
Soit maintenant une expérience astucieuse mettant en oeuvre moult et moult téléphones non TSD, qui falsifierait (s'ils marchent) la relativité.
Par le théorème précédent, il existe T tables surlesquelles on peut simuler les lois de la relativité et utiliser une stratégie comme f,g ci-dessus à chaque fois que les laborantins de chaque table sollicite tel ou tel téléphone de l'expérience et qui sont telle que sur au moins une tous les téléphones ont marché. Contradiction.
Par conséquent il n'existe pas d'expérience, même astucieuse qui mette en péril la relativité de manière falsifiable par le seul usage de téléphones nonTSD, même dont on disposerait "à volonté".Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
Et j'ai oublié de préciser "et réciproquement" (il est évident qu'un multitable est nonTSD)Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
-
Bonjour,
merci à vous pour ces précisions, elles recadrent bien le débat.
CC, quels sont les auteurs exacts des théorèmes que tu cites (du type "sous-graphe G ==> la relativité est contredite ou pas de déterminisme" par exemple) ? Ta dernière inscription en rouge reste-elle en accord avec ce théorème ?
Au fait, de quel Anatole parles-tu ? -
Les théorèmes sont (hélas?) de moi.
Non, la partie rouge n'entre pas en contradiction avec ce qu'il y a avant, j'ai dit pourquoi, il y a une différence entre "histoire" et "histoire de théorie".
Une théorie est obligé de founir des parties dans un jeu où les R contiendront un graphe G fonctionnel inclus dedans qui jouera le même rôle que R. Une "histoire" ne fournit rien, ou plus précisément, le "G" extractible dans l'histoire ne peut être utilisé comme "un outil théorique" dans la mesure où on a affaire à une histoire, pas à une théorie. J'essairai de donner des précisions sur ce point déontologique quand je serai plus dispo. En quelques mots, une théorie "prédit $G$" et dans le jeu, les "êtres humains qui disposent de la thérie peuvent donc utiliser G plutôt que R et on a vu que ça donne une contradiction avec la relativité de "prédire" que "c'est en garantissant G" que tel ou tel téléphone se comportera.
Le statut d'histoire et non de théorie ne permet pas ça. J'avoue que ce mécanisme n'offre pas bcp d'autres exemples pour que je te donne une analogie pédagogique. Je chercherai si je peux faire une analogie simple.
Bon, en tout cas, il y en une que j'ai déjà faite: une théorie qui prédirait l'existence d'une machine qui gagne (en position des "ronds") "toute partie" au jeu du morpion défini dans le fil serait contradictoire, c'est cash. Une histoire qui raconte que tu as perdu une partie n'est pas "contradictoire", rien ne t'oblige à bien jouer dans l'histoire. C'est essentiellement là que se situe la différence. Le statut "d'histoire" n'impose pas déontologiquement de faire des prédictions. Par contre, le statut de théorie si: ou alors il faudrait mettre quelque chose de très différent dans le mot "théorie" et je ne sais pas si ce serait très sérieux, ni même très accepté. Pairait-on encore des physiciens pour faire des théories qui ne prédisent au sens strict, rien du tout, hum hum?
Anatole est un mathématicien-logicien assez "incroyable", d'une part de part l'étendue culturelle des choses qu'il connait et par la puissance qu'il a de résoudre des problèmes, dans plusieurs spécialités différentes (il y en a très peu comme ça, je veux dire qui ne font pas semblant). Par ailleurs, je crois qu'à de rares exceptions près, il serait capable de réussir tous les M2 de maths toutes spécialités confondues, ce qui garantit que quand on lui pose une question, il peut aller très loin dans l'investigation de ce qui est connu (même si les M2 pris séparément paraissent accessibles, les connecter entre eux est tout à faite autre chose!!!) et faire appel à des connections insoupçonnées. Hélas, et ce n'est pas de sa faute, les maths (tout est relatif d'ailleurs, question d'échelle de ce qu'on appelle "concret") se sont bcp développées dans le concret (dans un sens où j'entends que même la géométrie algébrique est concrête, évidemment) au sens large et peu sur les questions profondes (dans un sens précis, je veux dire, les "questions existentielles" en quelque sorte). Si bien que malgré tout, on a beau connaitre l'équivalent de tous les M2 et les connecter, ça ne suffit pas à résoudre tous les problèmes (comme c'est inévitable par Godel de tte façon). Mais il est irremplaçable, car en tant que logicien il est immunisé contre les erreurs de jugement dû à l'hypertrophie du concret évoqué: rien que pour prendre un exemple, lorsque j'ai défini les degrés ludiques (ie les quotients des relations par "et simulable par") et affirmé qu'il en existait des non locaux et fabricables (via Penrose loool ça ne faisait pas très sérieux), il pouvait dans les 5mn dire, "t'inquiete, il y a comme référence sérieuse le théorème de Cochen Specker qui l'assure qui lui-même est corollaire de Gleason", etc, etc. J'aimerais bien avoir une telle culture snif. Par ailleurs, c'est incroyable ce qu'il est capable de résoudre rapidement dans tous les domaines.
Bon, mais passons, j'espère qu'il ne lira pas, ça peut être gênant même si c'est élogieux (il est naturellement modeste). Il enseigne et dirige des thèses à P7, sinon. Actuellement, il a décidé de "commutativiser" la géométrie non commutative au moyen des topos, (en particulier via les degrés ludiques) et "d'expliquer" la MQ mais en parlant dans les topos. (Du coup, il a suivi méticuleusement un cours sur les topos, et maintenant qu'il a acquis le truc, il a créé la vision qu'il cherchait et la peaufine).Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
En fait, je suis entrain de penser qu'on ne doit pas donner pour rien des prix Nobel aux gens, car dans les deux exemples que j'ai signalés (deux prix Nobel: 't hooft et Leggett), chaque fois, ils semblent avoir fait un pas dans la bonne direction à coup d'équations:
alors il y en a un Leggett, il a écrit un article "cash" qui est sur mon site depuis longtemps, mais dont je suis totalement incapable d'éplucher les équations, donc ce qu'il a dit n'est pas sujet à interpretation (les équations de Leggett sont connues depuis 2003)
l'autre 't hooft, c'est mon anglais et mon interpretation qui s'exprime ici sur ce qu'il a dit: Mais, ça n'a pas l'air de pouvoir être trop "autre chose", compte-tenu des P1 à P7.
En effet, Leggett a proposé une classe plus large d'inégalités que celles de Bell, dont la violation interdirait certains "variables cachées, même éventuellement non locales "raisonnables"", or le point de vue "logique" dit qu'il n'y en pas à moins de changer la déontologie des sciences expérimentales et de la physique vraiment plus que de manière inacceptable.
't hooft (d'après ce que j'ai compris soumis à mon anglais pourrave) dirait très sereinement, "hé réfléchissez les gars, s'il n'y a pas de stratégie gagnante au morpion (th de maths!) avec les ronds, soyons sérieux, la machine dont la théorie prédit qu'elle les gagne toutes les parties, bin, c'est pas parce qu'elle gagne toutes les parties, mais c'est juste parce qu'on est entrain de découvrir (indirectement) que "notre théorie actuelle" prédit qu'on ne les jouera pas toutes". Finalement, c'est assez "raisonnable" comme démarche, même si c'est décevant (je précise que 't hooft ne veut pas accepter la many world interpretation et le justifie comme ça "je refuse par principe"**, cash, ça c'est un point qui a semblé assez clair et que je me suis fait confirmer, vu mon anglais.
** à noter que certains pensent "que c'est bien de la refuser juste pour le sport, car ça catalyse une meilleure recherche de chercher en la refusant plutot qu'en l'acceptant"Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
D'accord, merci.
Je n'ai pas encore lu tes derniers posts dans le détail mais une question : comptes-tu publier un jour ces étonnants théorèmes (ça t'éviterait via un referee beaucoup de polémiques désagréables) ? -
non (et oui):
les polémiques ne me dérangent pas du tout (c'est même plutôt intéressant, après bien sûr ça dépend de l'évolution de la discussion, elle paeut parfois devenir très fatigante) et effectviement, si je prenais la peine de tout bien mettre en forme (avec quand-même pas mal d'ajouts, les preuves d'Anatole, de (très!) longues explications sur le contexte, un plaidoirie pour l'importance d'une vision qui ne soit pas en addiction aux formules d'edp comme sont à la mode pas mal de lignes actuelles, etc) il va de soi que je n'hésiterais pas à envoyer ça sur arXiv et dans le journal adapté (mais pas la fondation De Brogle ) puisqu'il ne s'agirait alors que d'un clic de plus.
Mais avec des "si"...
Et puis je suis à quelques années de la retraite, ça m'amuse aussi de voir y venir tout doucement les gros calculateurs de la physique (comme Leggett, 'thooft et surement bien d'autres) à coup de gros outils élaborés et imbitables.
Si je "publiais" finalement ce qu'on peut assez qualifier de "philosophie pratique et sérieuse", ça influencerait peut-être certaines intentions des uns et des autres or on n'est jamais aussi productifs que quand on essaie de prouver une connerie (enfin un truc faux ou "l'impossible"). Les compulsions angoissées cordistes et autres sont donc d'une certaine manière à ne pas trop perturber, car un truc dont je suis vraiment incapable (j'ai un peu essayé) c'est bien de "trouver une très très légère modification de la déontologie scientifique" pour "éviter" les contradictions: après tout il ne faut pas oublier que la relativité et la MQ sont actuellement utilisées et confirmées et donc leur "presque-contradiction" alliée au fait que tout le monde y croit est un élan énorme et source de moult inspirations.
J'ai énormément regretté qu'en maths aucun esprit retord cherche à prouver que 0=1 dans une théorie plus ou moins forte officielle, j'ai l'occasion d'assister au spectacle de toute une communauté aussi armé que les matheux qui essaie l'analogue en physique, ce serait con de gâcher ça.
Je souhaiterais, mais remise au lendemain travailler assez durement sur le truc que j'ai proposé en lien vers le fil "mondes parallelles" à savoir éliminer les coupures des preuves évoquées ci-dessus, ce qui est une toute autre affaire, pas d'autre excuse que la flemme et la procrastination, mais bon je trouverai peut-être quelqu'un pour le faire un jour à ma place.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
A vous lire, j'ai vraiment raté qque chose. J'aurais tellement aimé comprendre ce que vous racontez.
Sûr, je suis passé à côté de ce qui m'aurait passionné car dans mes petites spéculations astrophysiques, je n'ai pas les outils pour progresser et il me faudrait une autre vie pour progresser.
Vous en avez de la chance ! Bon courage -
T'inquiète, dès que je serai un peu plus en forme, je ferai un résumé clair et détaillé , tu pourras reprendre train en marche (j'essairai de le faire self contained)
-
Tiens, un scientifique qui répond ? Une race en disparition !
Merci et encore bon courage -
CC répond toujours même s'il ne connait rien au sujet, même si on ne lui pose pas de question, quoi qu'il en coute, même la bonne volonté de ses plus patients lecteurs
-
J'adore !!!
Il faut lancer un débat en université populaire, faire une contre-histoire de la mécanique quantique !
Je n'y comprends rien du tout mais c'est génial !!! -
afk, décidément, tu t'es pas calmé. J'aime pas trop ta réplique ici. elle n'est pas fausse, mais elle n'a pas sa place dans ce fil.
Dans ce fil cette fin d'été, j'ai justement galéré à expliquer en détails et précisément, un grand nombre de choses tout à fait classiques. Je n'ai pas ménagé ma peine, j'ai fait plusieurs résumés intermédiaires et j'étais en plus de ça souvent questionné par E.C. qui a des connaissances en physique, ne m'a pas ménagé et s'est souvent posé en contradicteur (et pas un contradicteur facile car il me faisait répéter parfois 20 fois d'affilée "non, je n'ai pas dit ça"*** face à quoi j'ai dû être patient).
toute la partie EPR du fil est même à recommander (enfin, c'est très décousu hélas, consécutivement au format "conversations") à mon sens très largement à quiconque veut progresser car il n'y a pas de cadre actuellement écrit où c'est autant détaillé (il n'y a même pas de livre du tout qui en parle, ce sont plutôt des polémiques qui se règlent par mails, discussions orales, etc).
Certains points "techniques" (le conflit écran/clavier, etc) à mon sens sont importants. Quant aux "téléphones", à quoi ça sert que les physiciens ils se décarcassent si on ne fait pas connaitre ceux que j'ai appelés "ceux de deuxième génération" (où la description de la garantie ne fait intervenir aucune notion de probabilité, et donc n'offre aucune prise pour une objection du type "pff, ce ne sont que des probabilités qui font qu'on dit que c'est non local"). Je redis encore une fois (voir plus haut dans le fil) que tout lecteur qui veut comprendre ce que veut dire "être non local" DOIT COMMENCER par étudier la garantie GHZ (3 combinés et finalement une grande vertu: la simplicité de la garantie)
Concernant les autres considérations en dehors de la partie EPR, je ne me rappelle pas avoir dit grand chose d'important ou de polémique (à part certaines de mes expressions agressives mais dérisoires du genre "ça me pète les couilles que la TQC ne soit pas vulgarisée"). Bon de toute façon ça c'est rien.
Et pour en revenir à ta remarque, je pense au contraire, de puis que je viens sur le forum être un exemple dans l'art de dire "je ne sais pas" ou "je ne connais pas ce sujet" et dans l'art de le faire sans réserve. Ce n'est pas très sympa ta remarque, car elle sous-entend le contraire. T'en vois bcp des inteervenants ici qui exhibent sans complexe leurs lacunes et leur handicap et interviennent en se mettant à égalité avec l'étudiant basique? Moi j'ai l'impression que non, je suis, j'ai l'impression un des seuls qui peut passer pour un gros naze parce qu'il poste 10 tentatives ratées de résoudre un exo pour débutant de L1 sur des matrices (ou des primitives de fonctions simples) et en même temps intervenir à un niveau honnête et expert dans d'autres domaines. Désolé, mais pour moi, (loghorrée mise à part) avoir une attitude scientifique honnête, c'est ça. Ce n'est pas toujours intervenir avec un ton docte mais s'abstenir de la moindre initiative sur un domaine non expert (à moins de manquer grave de curiosité ou de vivacité) -
*** "non je n'ai pas dit que les téléphones quantiques sont TSD (je l'avais dit dès le début, mais j'ai du le répéter 20 fois)
-
Coucou,ccnc a écrit:je suis, j'ai l'impression un des seuls qui peut passer pour un gros naze parce qu'il poste 10 tentatives ratées de résoudre un exo pour débutant de L1 sur des matrices
On doit te rendre cette justice. Et personne ne doute de la reconnaissance que te portent certainement les étudiants de L1 en question, en quête de réponses à leurs interrogations, que tes interventions auront sans nul doute profondément aidé.ccnc a écrit:ta réplique n'est pas fausse, mais elle n'a pas sa place dans ce fil.
Sans la moindre ironie, je suis d'accord. Mieux : mon présent post n'y pas pas davantage sa place lui non plus.
Là encore, tu as profondément raison de susciter nos interrogations sur cette notion de "place". Ce serait intéressant je trouve d'avoir l'opinion de quantification, qui a initié ce fil pour obtenir des information sur "la théorie de la quantification et la déformation non commutative des structures de Riemann Poisson" (si si, on peut trouver son message, c'est juste avant les 11 pages de flood), sur ce qui y avait sa place ou non. -
-D tu fais semblant de pas comprendre (je m'adresse à xh...). Je voulais dire que afk disait un truc faux dans ce fil, et vrai dans d'autres fils. Maintenant je concède bien volontiers que "quantification" a initié le fil et parlait d'autre chose que d'EPR. Mais tu veux que je dise quoi? Que je "m'excuse"? Je n'ai pas été spécialement seul, il y a eu du répondant, finalement ça s'est un peu fait d'un "commun accord" (je ne parle pas du fond où on s'est disputé, mais du fait de dévier), mais ok, je me connais, j'ai été bavard
-
ccnc a écrit:tu veux que je dise quoi? Que je "m'excuse"? Je n'ai pas été spécialement seul, il y a eu du répondant.
Autrement dit, toute personne répondant a tes posts même pour les contredire les justifie de fait. Tu donnes tout son sens a l'expression "Don't feed the troll"!
PS: Meta-joke inside! -
Déjà je répondais à xh...
En ce qui te concerne, je me fais peu d'illusion, tu as fait quelques remarques extremement partiales dans ce fil et je ne pense pas que tu te remettras un seul instant en cause pour les raisons habituelles qui font qu'un gars dans cette situation ne le fait pas.
Par contre, je n'appellerai pas "troll" ce fil. Bien que je regrette le manque de relecture et de soin et le côté désordonné, j'y avais passé pas mal de temps et m'étais plié en 4 pour répondre à tout (et plusieurs fois). Qu'effectivement, ça n'ait pas été dans la droite ligne des premieres questions de quantification, ne me parait pas pour autant la fin du monde. Après tout, au départ, quantification a intervenu, puis posté d'autres documents. Finalement rien ne l'empéchait de reposter et il ne l'a pas refait. On a donc "continué sans lui".
Maintenant, si ce sujet t'intéresse tu ferais bien de relire tout en détails, car je ne réexpliquerai pas toute cette problématique. En sachant que quand-même si on additionne tout le fil, presque chaque difficulté "quantique" a été signalée et définie précisément. Rappelons qu'il y a très exactement deux types de "magie" inexpliqués aujourdh'ui et qui constituent des problèmes ouverts qui font hélas fuir (bcp se réfugient dans les amusettes calculatoires de la th des cordes ou d'autres prolongements de la TQC***, mais ces aspects qualitatifs devront bien être approfondis un jour ou l'autre):
1) le ou les paradoxes de type EPR (qui sont appel et représentent un défi majeure à l'entendement à cause de la relativité)
2) le phénomènes de type "lecture de contrafactuelles" (moins formels et moins "sans appel", mais réellement intéressants ***** et "problématiques")
*** je me suis renseigné auprès d'experts puisque je ne connais pas la TQC: il m'a dit que "je serais déçu". En fait, il parait qu'elle "évite" plus qu'autre chose les difficultés ci-dessus et ne constitue pas spécialement une autre lecture de la MQ "habituelle". En particulier elle ne les explique pas.
***** le meilleur exemple pédagogiquement est je pense Elitzur Vaidman (ou Marlian Scully), déjà discuté sur le forum. Quand je dis que c'est "moins sans appel" que EPR, c'est parce que par exemple, dans Elitzur Vaidman, bien que ça paraisse fantaisiste, il est toujours mathématiquement consistant de supposer que le photon analyse la bombe (même si personne n'y croit).
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.5K Toutes les catégories
- 42 Collège/Lycée
- 22.1K Algèbre
- 37.4K Analyse
- 6.3K Arithmétique
- 56 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 16 CultureMath
- 49 Enseignement à distance
- 2.9K Fondements et Logique
- 10.6K Géométrie
- 79 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 73 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 329 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 787 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres