Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#151 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 29-11-2018 09:52:11
Bonjour,
si on tient à la calculabilité, il faut être cohérent, et Larac prétend que tout un chacun peut calculer cette liste...
Peut-être que Larac ne considère pas une calculabilité au "sens classique", en effet il suffit d'ajouter au calculable "classique" la possibilité de répèrer un programme qui s'arrête d'un programme qui boucle indéfiniment pour sortir du calculable classique.
Je maintiens sans une analyse plus pousser de son procédé, on ne peut conclure que sa construction n'est pas bonne.
Bonne journée.
#152 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 28-11-2018 17:50:14
@Larac : apparemment, tu ne comprends pas qu'il y a une construction explicite (un programme, si tu veux), qui à partir de n'importe quelle liste de réels, produit un réel qui n'est pas dans la liste. Dommage pour toi.
Visiblement tu n'as pas assez d'imagination pour passer outre, tiens un petit parodoxe pour ta diagonale de Cantor.
L'ensemble des réels définissable par un algo. est au plus dénombrable, et pourtant il est impossible de donner un programme pour un nombre qui ne soit pas dans cette liste, ta diagonalisation ne marche pas ici.
#153 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 28-11-2018 17:40:11
Je ne me souviens plus du nom de cette théorie, mais c'est une théorie des ensembles où le plus grand cardinal est le dénombrable, c'est CC qui m'en avait parlé.
Il est probable que tu aies compris de travers le théorème de Loewenheim-Skolem, appliqué à ZF.
Il dit que si ZF a un modèle, alors il a un modèle dénombrable. Ce qui n'empêche pas que, dans ce modèle, il n'y a pas de sutjection du $\mathbb N$ de ce modèle sur le $2^{\mathbb N}$ de ce modèle.
Demander quoi ? Pas besoin de CC ou autre pour voir que ce que tu racontes ne fait pas sens. Tu répètes juste en déformant des choses que tu ne comprends pas. J'ai déjà écrit plus haut quel sens on pourrait donner à ce que tu as écrit
Tu veux montrer que je me trompe en disant ça ? Facile, explicite cette fameuse théorie des ensembles où $\mathbb N$ et $\mathbb 2^{\mathbb N}$ sont équipotents.
@M.Coste, un cadeau : http://www.les-mathematiques.net/phorum … sg-1198945
Pris la main dans le pot de confiture, il continue à nier les faits, cela n'est pas digne d'un savant, si savant tu es...
#154 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 28-11-2018 17:17:51
Bonsoir,
@Larac : M.Coste même s'il se trompe ne le reconnaîtra pas, comme ici :
http://www.bibmath.net/forums/viewtopic … 935#p72935
Je te propose de répondre à mes questions, cela me permettra de comprendre pas à pas ton explication, et d'essayer de la faire comprendre.
1/Que deviennent les réels :
a/ 0
b/ 1
c/ 0.1
d/ 0.1111111...
e/ 0.12121212121...
f/ 0.123456789101112131415161718192021222324252627282930313233343536373839....
Par ta fonction ?
Bonne soirée.
#155 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 26-11-2018 12:34:13
#156 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 25-11-2018 21:42:53
D'accord, continue à faire le clown. Tu es très fort pour ça.
Non, regarde l'explication de Larac, et dit lui si oui ou non elle est correct.
Merci.
#157 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 25-11-2018 20:13:01
Facile, explicite cette fameuse théorie des ensembles où $\mathbb N$ et $\mathbb 2^{\mathbb N}$ sont équipotents.
Facile c'est celle dont Larac parle.
#158 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 25-11-2018 10:36:04
Bonjour,
As-tu demandé à CC ?
Bonne journée.
#159 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 24-11-2018 13:50:33
Je ne comprends pas, tu m'as demandé des réfèrences, je t'en ai donné...
Toi, tu as parlé avec CC...lol
#160 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 24-11-2018 12:46:37
Non, j'en suis sûr, c'est CC qui m'en avait parlé. Par ta réponse je déduis que tu ne la connais pas, tu peux en parler à CC, il saura t'en dire plus.
#161 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 24-11-2018 12:41:02
Je ne me souviens plus du nom de cette théorie, mais c'est une théorie des ensembles où le plus grand cardinal est le dénombrable, c'est CC qui m'en avait parlé.
#162 Re : Café mathématique » Article sur les deux infinis égaux démontrés il y a quelques mois. » 24-11-2018 10:52:29
Bonjour,
1/ Tu devrais te rendre compte qu'en fait tu prétends avoir fait très fort : tu prétends avoir démontré l'inconsistance de ZF, la théorie des ensembles de Zerrmelo-Fraenke !
2/ Par ailleurs, je te conseille de te méfier de ce que raconte Dattier sur les indécidables. Il a des idées assez confuses sur ce sujet et a lui aussi, à l'occasion, prétendu avoir démontré l'inconsistance de ZF.
1/ Non, Larac ne connaissant pas ZF, il peut s'être servis d'une autre théorie des ensembles, où R et N sont équipotent, et il en existe.
2/ Là tu as raison, tu connais le sujet mieux que moi, mais cela n'empêche que je continue de m'informer.
3/ @Larac : bien que j'ai fait des études de maths, j'ai une vision des maths qui est trés singulière (mais qui se défend) et que je travaille à diffuser, si tu veux une vision plus "normale", c'est la vision de M.Coste qu'il faut considèrer.
Bonne journée.
#163 Re : Café mathématique » Résolution d'un système à inconnues complexes » 23-11-2018 19:00:03
@freddy : ok, je sors.
#164 Re : Café mathématique » Résolution d'un système à inconnues complexes » 23-11-2018 18:55:27
1/ Peux-tu préciser quel problème est NP-complet, juste pour savoir de quoi tu parles exactement ? Vu que tu mélanges pas mal de choses, ça ne serait pas inutile.
2/ Qu'est-ce que la "force brute" ?
3/ Pourrais-tu enfin expliquer comment tu arrives à tes fameux polynômes de degré 8 ou 9 sur l'exemple de système que tu as donné ?
4/ La méthode "pas beaucoup plus efficace" des bases de Groebner a traité sans aucune difficulté ce système.
1/ Le fait de savoir si un système polynomial admet ou non des solutions dans les complexes est un problème NP-complet (si tu ne vois pas pourquoi je développerais).
2/ La force brute se définit dans le cadre de systèmes polynomiales équivalents à un problème Sat, mais dans le cas général, je ne sais pas ce qu'est cet "force brute".
3/ Avec l'algorithme d'Euclide, comme je te l'avais déjà dit.
4/ Le dgcd peut le faire également.
#165 Re : Café mathématique » Résolution d'un système à inconnues complexes » 23-11-2018 18:35:08
Moi de te rappeller, que ce problème avec les complexes, est NP-complet donc les méthodes générales dont on dispose ne sont pas beaucoup plus efficaces que la force brut, c'est plus clair maintenant ?
#166 Re : Café mathématique » Résolution d'un système à inconnues complexes » 23-11-2018 18:24:42
Bonsoir,
j'ai expliqué que le traitement des systèmes polynomiaux se fait classiquement par le calcul d'un base de Groebner de l'idéal engendré par les équations...
J'ai expliqué que cette méthode ne marche pas tout le temps, en effet le problème est indécidable donc sans méthode générale.
PS : tu reprends tes mauvaises habitudes, n'oublie pas les traditionnelles salutations.
Bonne soirée.
#167 Re : Café mathématique » Résolution d'un système à inconnues complexes » 22-11-2018 18:24:40
@freddy : Je suis peut-être, selon toi nul en math, mais en tous les cas, je reste capable de répondre correctement à une "petite énigme de CM1".
Ceci étant dit, j'aimerais savoir également, pourquoi M.Coste m'a suivit sur ce forum et d'autres, avec comme but de me contredire systèmatiquement, même si des fois il frise le ridicule, comme ici : http://forum.prepas.org/viewtopic.php?p=938332#p938332
Et d'autres fois il arrive à ses fins : http://forum.prepas.org/viewtopic.php?p=942805#p942805
#168 Re : Café mathématique » Résolution d'un système à inconnues complexes » 22-11-2018 12:30:29
Je suis désolé d'apprendre que tu ne sais pas appliquer l'algorithme d'Euclide (car ce n'est pas plus difficile que cela).
J'ajoute pour terminer ce sujet, que le dgcd permet de répondre aussi à des questions tel que celle-ci (73-74) :
http://forum.prepas.org/viewtopic.php?p=897062#p897062
Je n'ai rien à ajouter sauf à répéter ce que j'ai déjà dit.
#169 Re : Café mathématique » Résolution d'un système à inconnues complexes » 22-11-2018 08:58:07
Bonjour,
Je donne un exemple :
xy-1=0 et x^2+y^2-1=0
P(y)(x-1/y)-Q(y)(x^2+y^2-1)=y^2+1/y^2-1
On a les racines de y^4-y^2+1 comme solutions potentielles.
Aprés je ne vois pas ce que tu trouves de difficile dans le dgcd, il suffit d'appliquer l'algo d'Euclide, en n'oubliant de multiplier par le quotient à la fin.
#170 Re : Entraide (supérieur) » Valeur propre d'un endomorphisme nilpotent » 21-11-2018 20:08:56
Bonsoir,
Dire que 0 est valeur propre de $f$, cela revient simplement à dire que $ker(f) \neq \{0\}$
Raisonne par l'absurde, que se passerait-il si tu avais une valeur propre non nul pour $f$ ?
Bonne soirée.
#171 Re : Café mathématique » Résolution d'un système à inconnues complexes » 21-11-2018 20:01:05
Citation M.Coste : ...et maintenant il dit l'appliquer à deux polynômes à deux variables.
Ce n'est pas difficile pour le dgcd, on prend le degré le plus petit possible, avec le coeff dominant strictement positif le plus petit possible.
Aprés l'important c'est d'avoir un multiple du dgcd, aprés au pire on n'aura un peut plus de racine que ceux souhaité, mais on pourra faire facilement le tri.
#172 Re : Entraide (supérieur) » [Résolu] Système d'equations a 3 inconnues » 21-11-2018 10:25:51
Bonjour,
La méthode que je propose, contrairement à celle de M.Coste est général, mais la sienne est plus simple.
PS : mieux vaut utiliser le dgcd (que le résultant qui est plus difficile à calculer) : http://forum.prepas.org/viewtopic.php?p=909506#p909506
Bonne journée.
#173 Re : Entraide (supérieur) » [Résolu] Système d'equations a 3 inconnues » 20-11-2018 20:45:10
Bonsoir,
Il faut ramené ton système à un système polynomiale, et utiliser le resultant.
https://fr.wikipedia.org/wiki/R%C3%A9sultant
Bonne soirée.
#174 Re : Café mathématique » Peut-on encore sauver notre Education Nationale? » 20-11-2018 11:53:44
Bonjour,
Et pourtant, l'école mathématique française reste une des toutes meilleures au monde, curieux paradoxe :-)
Pas pour longtemps.
Il suffit de regarder les OIM (olympiades internationales de maths)
où dans les pays francophones les meilleurs sont les vietnamiens qui s'anglsise.
Je rappelle que les meilleurs des OIM issus des pays francophone (et de l'Iran) finissait dans une ENS en France, et c'est de moins en moins, la régle.
Bonne journée.