Réponses
-
En examinant ceci, plus rien ne me surprend.
-
Tu as écrit :Ageron écrit que l'égalité dans $\N$ est décidable sans tiers exclu.
Ce n'est pas ce qu'a écrit Pierre Ageron.
-
Ce n'est pas du tout ce qu'écrit l'auteur. Voici ce qu'il écrit exactement : C'est bien sûr un énoncé qui va de soi dans l'environnement mathématique classique [sous-entendu avec (TE)], mais plus du tout dès lors que nous souhaitons nous passer…@Foys : ouff !! Je te remercie beaucoup pour ton investissement. Je vais examiner tout cela avec soin.
Soit $(E_1,\,d_1)$, $(E_2,\,d_2)$ des espaces métriques, $A$ une partie de $E_1$ et $f$ une fonction définie sur $A$ à valeurs dans $E_2$. Soit $a$ un point appartenant à $\overline{A}$. Supposons que $f$ admette une limite $l$ en le point $a$. En m…@Foys : bonjour. Tu as écrit :Le calcul epsilon est conservatif sur la logique du premier ordre mais il est strictement pl…@Area 51 : bonjour. Ne ferais-tu pas allusion aux extensions triviales ?
@Barjovrille : bonjour. Je te remercie pour ta réponse.
Pour que $G$ soit extension de $K$ par $H$, il faut et il suffit que $G$ inclue un sous-groupe distingué $H'$ isomorphe à $H$, tel que le groupe quotient $G/H'$ soit isomorphe à $G$.
Bonjour tout le monde,La reproduction est extraite du livre Algèbre et théories galoisiennes de Régine et Adrien Douady. Au vu du contexte, le foncteur d'oubli n'est-il pas $\Omega:\mathscr{C}\to\mathscr{Ens}_{{\rm U}'}$ au li…Dr_Piradian : attention à ce que tu as écrit ici. I…Cf. ceci également, que je possède et que je…Voici un lien où l'on y trouvera un extrait...
Que dire alors de l'opération d'un groupe sur un ensemble ?
Pas d'espèce de structure topologique à l'agrégation ? Pas d'espèce de structure tribale à l'agrégation ? (...)
@Lazare : rien ne t’empêche de considérer préalablement l'application suivante :\[g:\R^*\times\R\to\R,\,(x,\,h)\mapsto\dfrac{x+h}{x}\]Remarquons…@Lazare : je viens donc de transférer ton fil dans le dossier Collège/Lycée qui me semble plus approprié.
Voici ce qu'en disait Bourbaki dans son premier traité :@Lazare : pour la dernière fois, veux-tu prendre une photo de ton énoncé et la déposer ici-même ? Merci !
@Lazare : bonjour. Je vais essayer d'être clair. Ou bien tu te montres plus coopératif, ou bien je ferme cette discussion. Dépose une copie de l'énoncé exact qu…Bonsoir tout le mondeOn va encore une fois calmer le jeu pendant 24h... Cela vous donnera l'opportunité de vous concentrer sur autre chose.T. P.PS : pour rappel, la question était la suivante…BonjourLa question a déjà fait l'objet d'un long développement sur ce forum dont voici dans X + X différent de 2X ? Commentaire de Thierry Poma 25 Mar@stfj : bonsoir. L'introduction de ce $\Theta$ s'inscrit dans un contexte particulier, celui de la proposition 1, page 24. Quel est donc le problème réel ?…Bonjour tout le mondeLe sujet original a largement dévié, au point même d'être Vassillia-centré dans les dernières interventions. Il est grand temps de passer à autre chose.Bonjour tout le mondeA partir de la quatrième, j'ai eu la chance d'avoir d'excellents professeurs de Mathématique. Cela dit, j'ai toujours dit à mes collègues que si l'on m'avait enseigné la Mathématique comme on l'enseigne actuellem…Juste en passant, que se passe-t-il si $\mathcal{E}=\emptyset$ avec la définition de bibmath, puis avec la rectification proposée par @GaBuZoMeu ?Pa…@Martial : bonsoir. J'espère que tu vas bien. Je suis heureux de te lire et te souhaite une bonne santé. Ce n'est pas la bonne citation ; la voici corrigée : …Maraichu : bonsoir.J'aime beaucoup la recherche, mais quand je suis face à un problème, ça devient une obsession et ça comm…Bonjour
Suite à ceci, la règle pseudo-spécifiée\[\begin{array}{rcl}\Gamma,\,\sqrt{2}\in\Q&\vdash&\bot\\ \hline\Ga…BonjourConformément à ce que disait @JLT sur ce forum, pour le même problème évoqué,Je suis heureux de voir que certains parviennent à lire ce qui, même en grossissant, est quasi-illisible. Par exemple, je lis ceci : On suppose que, pour tout $x\in\Q$, on a $f(2)<g(x)$, là où il faudrait lire : On suppose que, pour tout $x\in\Q$…dans Inégalité dans $\mathbb{Q}$ transmise à $\mathbb{R}$ ? Commentaire de Thierry Poma December 2023Yannguyen : bonsoir. Je te remercie beaucoup pour ton retour et ton investissement. Bonne soir…@Cyrano : ah oui ! Désolé ! Bonsoir. J'ai lu rapidement, sans m'attarder sur le pseudo. Voici une correction plus exacte, mais moche du passage que tu cites : le …@Cyrano : ce n'est nullement de l'exégèse biblique. C'est essentiellement de la linguistique et de la métalinguistique (une mathématique des langues, en somme). Pourqu…@zeitnot : bonsoir. Peu importe. Cette traduction est totalement erronée.
AdrienMaths : bonsoir. La traduction du prologue de l'évangile selon Jean serait-elle de toi ? En voici une autre, personnelle, bien plus proche du texte gre…