Bonjour,
En lisant : http://forums.futura-sciences.com/ma...ml#post5582512, il m'est venu une réflexion :
Soit A et B deux L-structures isomorphes, est-ce que cet isomorphisme permet de dire qu'il s'agit de deux dénominations pour les mêmes objets, ou (au contraire) de deux familles d'objets pour une même dénomination ?
Est-ce que la réponse dépend de la philosophie platonicien/formaliste, de la vision syntaxique/sémantique, d'autres choses ?
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Bonjour Mediat,
je me suis posé la même question il y a quelque temps.
En essayant de trouver une réponse, j'ai fini par écrire un "thriller scientifique" qui aborde entre autres ce sujet, que j'ai publié sur une plateforme bien connue et qui semble avoir plu à certains.
A l'occasion de quelques discussions j'ai voulu discuter il y a quelques mois de ces notions sue le forum, mais j'ai compris rapidement que cela était mal venu car considéré comme de l'autopromotion.
Si cela vous intéresse je peux vous envoyer les références sous message privé.
Cordialement
Bonjour,
Volontiers, c'est d'ailleurs la bonne méthode dans ce genre de circonstances ; vous pouvez aussi mettre un lien dans votre profil privéEnvoyé par Bergur2
Cordialement
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Voilà qui est fait...
je pense que je ne comprend pas l'interprétation contraire .
Exemple extrême , on apprend l'existence d'une civilisation ET et on veut savoir si leurs mathématiques sont plus,autant ou moins avancées que les mathématiques humaines bien que leur dénominations soient radicalement différentes des nôtres , c'est par la recherche d'isomorphisme entre nos mathématiques et les leurs qu'on pourrait savoir .
Bonjour Matmat,
Si je prends un point de vue platonicien, je comprends votre remarque, mais en tant que formaliste, pas du tout (*), ce qui est une réponse à la question.
Je n'ai pas besoin d'isomorphisme pour comprendre que "field" est la même chose que "corps commutatif", et je doute qu'en voyant un modèle (c'est bien entre modèles que l'on parle d'isomorphisme), je puisse en tirer une conclusion satisfaisante (par exemple si ces ET utilise régulièrement un modèle non standard de l'arithmétique, cela ne prouverait pas que leurs mathématiques soient radicalement différentes des nôtres.
PS : en tout état de cause, votre réponse ne se place pas exactement dans le cadre que j'ai précisé (ce n'est pas un reproche).
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Mais ma remarque reste valable quel que soit le statut découvert ou inventé des objets mathématiques non ?
Je n'en suis pas sûr (selon ma compréhension de votre remarque) :
Pour un platonicien, on étudie IN, et il n'y a pas le choix sur sa structure, puisqu'il existe, savoir si nos mathématiques sont identiques ou non à celles de ET revient donc à vérifier qu'ils étudient le même objet que nous, et un isomorphisme répond à cette question.
Pour un formaliste, la non existence d'un isomorphisme ne prouvera pas que les mathématiques sont différentes (deux modèles d'une même théorie peuvent ne pas être isomorphes), et l'existence d'un isomorphisme ne prouve pas que les mathématiques sont identiques, puisque les mathématiques sont "ce que l'on peut dire", et non "ce qui est" (l'arithmétique n'est pas l'ensemble des propriétés de IN, on sait même qu'elles ne sont pas toutes atteignables, mais l'ensemble de ce que l'on peut dire de IN, grâce à Peano et quelques autres axiomes au besoin).
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
bonjour Médiat,
n'étant pas familiarisé avec la théorie des modèles, je ne sais quelles contraintes/propriétés nécessaires pour une L-structure.
ma digression est donc peut être HS.
digression sous forme d'image justement.
prenons on en deux assimilables à des "structures" ( au sens mathématique si cela est possible )
je peux construire deux images : deux assemblages de pixels isomorphes.
leurs interprétations sémantiques sera pourtant différentes.
cette direction reste elle dans le sujet de votre fil ?
merci de me recadrer si nécessaire.
Cordialement.
Bonjour ansset,
J'avais posé la question dans un cadre purement mathématique, mais rien n'interdit d'explorer d'autres pistes (mais je ne pense pas avoir bien compris la votre ...)
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Le point de vue (plutôt platoniste) ci-dessous risque de ne pas satisfaire les mathématiciens purs, mais on peut causer non ?
Soit E1 {x1…,xi) et E2 {y1…yi} deux ensembles (ayant la structure adéquate), munis respectivement des lois de compositions € et $ (pourquoi pas ?), et une bijection Flouf (pourquoi pas non plus ?) de E1 sur E2 telle que quelque soit j et k, on ait :
Flouf (xk € xj)= yk $ Yi
C’est un isomorphisme par définition. (Et s’en est une expression formelle.)
Les ensembles E1 et E2 peuvent être composés d’objets qui peuvent ne rien avoir de commun entre eux,(ce que j’appelle des « mondes » différents). Par contre la structure dont sont munis les deux ensembles est la même
Je conçois que pour un mathématicien compter des patates ou compter des bonbons soient la même chose car les deux ensembles ont mêmes cardinalité et même loi de composition qu’un sous ensemble de N.
Mais pour un physicien, ou plus prosaïquement pour son petit neveu (s’il en a un) ce n’est pas du tout la même chose. (On n’est pas dans le même monde quand on est dans celui des sucreries ou quand on est dans celui de Parmentier).
Les isomorphismes permettent de résoudre des problèmes qui se posent dans un « monde », en raisonnant sur les objets d’un « autre monde » qui n’a en fait peut être rien à voir avec le premier, mais qui a exactement la même structure. En d’autres termes, pour le physicien que je suis,un isomorphisme est un « simulateur parfait ».
Exemples bien connus (un peu plus subtils que celui ci-dessus) :
-On peut travailler sur l’ensemble des vecteurs de l’espace euclidien qui sont des êtres géométriques, en raisonnant sur R3 (êtres algébriques).
-On peut travailler sur la géométrie du plan, en raisonnant sur Z
Autre aspect isomorphique (bien connu aussi) :
-On peut raisonner sur les oscillateurs mécaniques, en utilisant des équations différentielles qui sont les mêmes que celles qui permettent d’étudier les oscillateurs électriques.
Tout cela doit sembler évident pour un mathématicien. Mais on peut trouver d'autres isomorphismes absolument fascinants, non mathématiques, et permettant d’expliquer des comportements spécifiques aux humains. Et je trouve ça passionnant...
Bonjour,
Je trouve la notion d'isomorphisme très pauvre dans le cas fini (comme votre premier exemple), il est en effet très facile dans ce cas de trouver une axiomatisation (finie) qui soit complète et catégorique ; dans le cas infini, tout change, par exempleet
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Bonjour,
mon exemple précédent me semblait trop difficile à traduire en terme d'ensemble mathématique.
je reviens donc à quelque chose de bien plus simple.
on sait construire un isomorphisme entre Z et Q.
et j'ai beaucoup de mal à dire que "sémantiquement" il s'agisse des mêmes ensembles.
Outre la nature mathématique de ceux ci, leurs "usages" et interprétations sont clairement différents.
Ce qui n'est pas le cas par exemple pour deux espaces vectoriels , pour prendre un exemple simpliste.
naivement, je penserai que la réponse 1) est mathématiquement toujours acceptable.
mais que la réponse 2) peut prévaloir dans une approche sémantique non abstraite.
Cdt
D'accord, (et c’est pour cela que je prends ensuite 2 exemples dans les cas infinis et continus.)
Je ne doute pas que les mathématiciens puissent montrer l’existence, en en construisant un par exemple (comme cela est fait dans votre post), d’ensembles satisfaisant les mêmes formules et non isomorphes .
Mais mon propos concernait la question de l’éventuelle unicité de l’objet en présence d’un isomorphisme.
Pour l’illustrer je voudrais prendre un exemple physique et prosaïque, qui sera peut-être plus parlant et qui s’approche plus du sujet qui me titille et tangente la question de Médiat:
Supposons un Mathématicien joueur du piano. Il trouve une chouette partition de piano, disons " La Rhapsodie Hongroise No 2 de Liszt " (C’est pas la facilité, mais c’est beau !).
Il la lis,
Ca semble lui plaire,
Il la joue. (Oui, il est doué !)
Le mathématicien qui est en lui dira à juste titre que l’ensemble des notes écrites sur la partition munie de leurs relations internes, est isomorphe à l’ensemble des notes qu’il joue.(Même cardinalité, mêmes relations de compositions, bijection etc .).
Toutefois, je pense que le musicien qui est en lui ne dira pas que lire la partition ou la jouer c’est la même chose.
Dans un cas on est dans un « monde » visuel, dans l’autre cas on est dans un « monde » sonore. (Et le ressentis pour les humains que nous sommes est très différent dans un monde ou dans l’autre… sauf cas exceptionnels de synesthésies…)
Les objets (physiques) sont différents, mais la structure est la même.
En regardant, on peut s’apercevoir qu’ il y a de multiples structures isomorphes dans le monde physique où sont immergés les humains, qui, lorsqu’elles sont décelées, permettent de progresser de manière extraordinaire, presque magique, sur les chemins de la connaissance...
(Mais peut-être ma tentative de réponse à la question posée est-elle hors sujet, et ne constitue-t-elle pas un « modèle » de celles attendues par un mathématicien)
Si on se place "à l’intérieur" de l'objet, c'est à dire en n'utilisant que les constantes, fonctions, relations qui interviennent dans la définition de la structure, ce qu'on peut dire est la même chose pour deux objets isomorphe.
Si on considère la façon dont ces objets sont construits dans une théorie plus vaste, ils ne sont pas forcément la même chose.
Exemple:
R2 est un plan vectoriel (réel), si je prends des sous espaces vectoriels de dimension 2 de R3, ils sont isomorphes comme espaces vectoriel à R2 ainsi qu'entre eux, mais ils ne sont pas la même chose.
J'utilise un langage platonicien, mais on pourrait traduire en "formaliste" .
En fait on peut attribuer à ce qu'il joue d'autres caractéristiques que ce qui est sur la partition , il y a la façon de jouer les notes, l'instrument utilisé etc.
La partition est une représentation, les scientifiques diront un modèle, de ce qu'il joue.
Un modèle n'est qu'une représentation partielle et approximative d'une réalité.
Bonjour,
Pour quel langage ?
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Bonjour,
J'aime beaucoup votre exemple, mais je ne l'interprèterais pas de la même façon :
Partition = Théorie axiomatique qui peut être complète (sous réserve que toutes les indications et didascalies soient suffisamment riches)
Interprétation = Modèle de cette théorie
Il ne peut pas y avoir d'isomorphisme entre la partition (point de vue syntaxique) et une interprétation (point de vue sémantique), par contre on peut se poser la question entre deux interprétations différentes, et comme la partition est d'une précision redoutable, il n'y a aucun moyen de différencier deux interprétations par le seul langage musical (dans le cas complet), ce qui n'empêche qu'il peut exister ou non un isomorphisme : si on repasse deux fois le même programme sur un instrument programmable, on aura bien deux interprétations isomorphes, alors qu'entre Glen Gould et les autres il n'y a jamais d'isomorphisme.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Bonjour,
Est-ce que {0} et {1} sont isomorphes, sont-ils la même chose ?
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
quel sens donner au mot "langage" dans ce contexte. ?
Mon problème, c'est que je sais pas quel sens donner au mot "isomorphisme" si on n'a pas précisé le langage (c'est à dire le vocabulaire non logique utilisé)
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
oui pour le singleton , oui pour le plan , etc
Ceux qui pensent le contraire , qu'est ce qu'on aurait d'autres comme moyen mathématique que les isomorphismes pour identifier les objets ?
Et est ce que quelqu'un peut tenter de me faire comprendre l’interprétation contraire ( que les isomorphismes serviraient au contraire à réveler plusieurs familles d'objets ayant même dénomination ) ?
Bonjour Matmat,
Vous avez répondu vous-même, les deux singletons {0} et {1} sont différents mais ils ont même dénomination : ce sont des singletons
Dernière modification par Médiat ; 12/05/2016 à 14h52.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Ha alors je viens de comprendre pourquoi je ne comprenais pas
Je met l'objet au niveau au dessus , pour moi {0} et {1} sont des instances différentes de l'objet singleton ( de même que Kurt et Alfred sont des instances différentes de l'objet homme par exemple ) , donc {0} et {1] sont des dénominations pour moi ( comme Kurt ou Alfred ) et "singleton" ou "ensemble à un élément" aussi ( à la différence prés que ces dénominations ne désignent pas explicitement une instance particulière ) .
En informatique la distinction me parait plus évidente qu'en mathématiques ou le terme objet est employé à tout va pour tout et n'importe quoi .
Nous sommes sur la même longueur d'onde, les deux possibilités que j'ai proposées dans le message #1 reposent bien sur "l'endroit" où l'on place le concept de dénomination (ce qui m'a poussé à penser qu'un platonicien et un formaliste ne répondrait pas, spontanément, de la même façon (mais sont loin d'être irréconciliables sur ce point))
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Au sens bourbakiste du terme, les isomorphisme sont des bijections préservant les constantes, relations et fonctions intervenant dans les axiomes de la structure considérée.
Si on n'a pas de constante, relation et fonction dans la structure, une simple bijection est un isomorphisme, donc {0} est isomorphe à {1}.
Dans ce sens, isomorphe doit être considéré comme relatif à telle structure.
l'ontologie mathématique m'intéresse mais "mon" ontologie n'arrive pas à se situer quelque part sur l'axe platonisme/formalisme. ça doit aggraver le fait que nous ne soyons pas sur la même longueur d'onde
Isomorphe est TOUJOURS relatif à un langage, jamais à des axiomes.
Ma question était un piège si on considère {0} et {1} pour le langage vide, ou celui de l'égalité, ces deux structures sont isomorphes, si on rajoute un symbole de relation, pas forcément !
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Une fois de plus, nous sommes d'accord !
J'entends par axiomes d'une structure telle la structure de groupe, toujours au sens bourbakiste, les propositions qui font la définition de cette structure .
Bonjour,
On pourrait envisager de compléter la partition, et coder sur la partition la pression sur les touches, ou la quantité de mouvement des marteaux par exemple.
Et si il existe plus d’un piano, on pourrait aussi envisager de coder les caractéristiques de chaque instrument…
On pourrait appeler ça un « piano de Turing », non ?
