Réponses
-
Non c'était une vue de l'esprit. Comme dit, c'est équivalent.
Mais la classique in fine est INCLUSE dans l'intuitioniste si on restreint le langage. Ce n'est pas la vision habituelle certes, mais je répondais à TA DEUXIEME question de fa… -
@GG idem pour ta seconde question. L'arithmétique intuitionniste "contient" la classique au sens où tout ce qui est écrit avec implique, et ainsi que quelque soit est indi…
-
Je te réponds en mp
-
Par ailleurs ton "x= ... " n'est pas mathématiquement correct. Dans une équation, x est une vraie lettre. Peut être ton problème est-il là.dans Question sur les enchaînements logique par équivalence Commentaire de christophe c December 2021
-
De mon téléphone : tu en postes long pour dire que 4 est solution mais qu'on peut prouver par ailleurs qu'il ne l'est pas mais tu ne donnes pas cette preuve que tu prétends exister (et qui pourtant à ce jour n'est pas connue, sinon ça aurait fait pl…dans Question sur les enchaînements logique par équivalence Commentaire de christophe c December 2021
-
1/ Pourquoi n'as-tu pas reproduit ce que tu appelles "ton raisonnement par équivalences"? Là, tu forces les gens à te répondre sans voir
2/ C'est triste, mais la tradition a voulu qu'on parle d'équivalence, mais ce sont des égalités de phrases …dans Question sur les enchaînements logique par équivalence Commentaire de christophe c December 2021 -
@Martial : en fait le même que j'ai mis ci dessus s'applique avec l'ordinal 2 pour donner ton lemme ZermeloBon j'ai mis une photo moins sinistre que l'incendie, mais ça m'a paru compliqué, bref. L'avatar que j'ai mis est le résultat de l'application de l'appli faceapp à une de mes photos de moi à 56ans. J'ai cliqué sur "ado" et l'algo m'a rajeuni. J'ai f…Je viens de découvrir avec effroi que ma photo de profil semble avoir été un mail privé (heureusement sans signification car coupé), mais ça m'a terrifié. Je ne vois pas comment ça pourrait être moi qui l'avait mise, alors que la précédente montrait…Tout d'abord, pardon de ne plus venir depuis août. Je suis en phase d'incubation personnelle, ainsi que de désaddiction :-D (on va voir si les smileys marchent encore, j'ai fait un code).
dans Un théorème de Zermelo Commentaire de christophe c December 20212=8 implique X
Tu préfères comme ça?Arrivé à ce niveau de flirt avec 0=1 il faut bien tout de même avouer qu'on est dans les enfantillages même si la difficulté technique est présente.
D'ailleurs ces axiomes manquent cruellement d'imagination. On affaiblit légèrement j:V--…@dom: que veut dire "vain".
Tu penses que l'énoncé
"2=8 implique les poules ont des dents"
n'est pas vrai?
dans Table de vérité Commentaire de christophe c November 2021J'ai relu son post avant de te répondre: il n'a pas prétendu appliquer un théorème du cours.
Mais si ton intervention voulait rappeler que admis utilisé n'est pas un théorème officiel (enfin est faux plutôt) tant mieux à la rigueur.
Le "vrai" handicap de l'ANS c'est qu'il faut passer quelques heures fastidieuses à s'y entraîner avant de s'amuser avec, et qu'elle manque cruellement de formateurs. Pas sûr qu'il y ait plus de 10 MCF en France qui la "parlent couramment".
(tu)(tu)(tu) les garçons.
Je crains que Florette ne vous remercierai pas. Les réseaux sociaux ont un système de traduction.
Par exemple : "pardon j'avais effectivement tort, merci" se dit maintenant "je vous laisse à vos déli…Je pense cependant que tu as statistiquement un peu raison. Les A donc B sont MOINS FREQUENTS pour des admis sans ajout explicite, mais moins fréquents ne veut pas dire en proportion negligeable.Je ne te comprends pas
A donc B ne sous-entend pas que A=>B a été prouvé. Ça sous-entend juste que A=>B est SUPPOSÉ IMPLICITEMENT par l'argumentation. (Sinon tu peux jeter 95% des textes de maths).Foys a complété.
A nouveau, si tu ne précises pas ce que tu entends par causalité et répliques par des mise en cause de l'auteur, on n'avancera pas vers un accord.
J'estime avoir très bien compris ton positionnement, et donc …@dom, je viens de corriger une coquille mais il semble que chacun avait corrigé de soi même l'erreur, donc je ne sais pas si c'est ça que tu contestais?Florette, tu t' entêtes. Relis ce que je t'ai répondu au lieu de défendre ta position en virant à la rhétorique.
Comme tu dis, tu "refuses d'expliquer ce que veut dire causalité", alors même que c'est sur ça que reposé tout ton discours.…De mon téléphone Florette tes erreurs sur la notion d'absence de cause supposée ont déjà été commentées et traitées de manière détaillée dans d'autres fils sur exactement le même sujet.
Je pense que tu ne mettrais pas tant de temps que ç…Ça marche quand tu supposes l'espace métrique.Florette, tu te trompes:
1/ le sens populaire (désigné parfois comme "pas le sens mathématique") a exactement le même comportement que le sens mathématique à une (superficielle) exception près : une confusion est parfois faite entre l'im…(Quote)
Il n'y a pas d'erreur !!
Tu as très bien prouvé (à partir de théorèmes usuels) que :
$$
[\forall x\in \mathbb{R},\ ( [\sqrt{x^2}] = x )] \Rightarrow 4=5.
$$ Il y a plus simple :
$(-1) = \sq…Tu penses que
f continue en $a$
équivaut à
pour toute suite $u$ qui converge vers $a$, la suite $f\circ u$ converge vers $f(a)$?Et merci pour l'info max je vais télécharger ton doc sur mon pc via wifi (ou tenter du ménage avec la carte HD de mon téléphone)De mon téléphone et pardon pour les délais exorbitants.
Oui les degrés de Turing et de manière générale la récursion theory en mode état d'esprit sont souvent concernés et produisent des résultats intuitifs mais longs à formaliser
<…Merci, gros bisous à vous tous en retourCoucou Martial. Non dispo, mais passant par là, je te propose d'essayer de prouver toi même les 2 trucs que tu dis à coups de degrés de Turing. Cette route là est peut-être scripturalement plus longue que celles de tes livres ou du doc de max…Je passe en coup de vent pour vous saluer et vous dire que je n'aurai internet que vers octobre novembre. Gros bisous à tousGrand merci à Poirot!!
Oui, je suis pile poil au carrefour des plus beaux paysages du pays. C'est assez incroyable, je ne réalise pas encore. Seul prix à payer: la technologie internet y parvient assez difficilement :-D Mais la 3D mode …Je comprends mieux ton approche morale. Mais je pense que tu te trompes sur l'aspect trompeur. Qu'on le veuille ou non la notation
{x / blabla}
continue de parler au delà de la consistance sans que je trouve légitime de parle…Je vais être en transit quelques temps. Mais je pensais que tu sais de quoi je parle. Je te trouve de mauvaise humeur dans ton style. Y a-t-il un truc technique auquel tu penses qu'on pense tacitementqui expliquerait ça ou c'est juste comme ça?
@Georges, oui!En fait "preuves" ou "nombres entiers" c'est la même chose dans le présent contexte et l'axiome de récurrence etc permettent de RACCOURCIR et rien d'autre l'ensemble de ceux qu'on a à disposition, au sens où :
$$ U\subset V\to \mathbb{N}…@GG, certes, on peut algébriser ZF aussi comme tu commences à le faire, mais c'est tout autant usine à gaz.
Le malentendu avec Foys vient de son titre, qui ann…1/ Oui, le bon ordre sur l'ensemble des réels constructibles (qu'on ait ou non $V=L$) est assez simple et ne peut pas être borélien puisqu'on peut à partir de lui fabriquer des ensembles non Lebesgues mesurables.
2/ Comme vous le savez t…Si j'ai un peu de temps demain, je te répondai, car je te trouve un peu "irascible intellectuellement" dans ta réaction, mais n'ai pas le temps de me relire (et surtout pas la vue, je vois tout flou).
Il me semble qu'il y a un malentendu…Je suis exceptionnellement sur mon pc.
Comme la TDE fait partie de la logique et de l'analyse au niveau des labos, en gros on va dire que les avis des gens sont très prudents, c'est tout. Je maintiens, en étant moins expéditif, ce que j'…