Complexes

[Rammstein43]

Et si on utilisé Péano, ça irait pas plus vite, et plus simplement ?
-----

[Médiat]

Et si on utilisé Péano, ça irait pas plus vite, et plus simplement ?

Le début aurait été un peu plus compliqué.

[Rammstein43]

Possible, cepandant, ce qu'on cherche a faire maitenant, c'est un peu pareil que Péano, non ?

[Médiat]

Possible, cepandant, ce qu'on cherche a faire maitenant, c'est un peu pareil que Péano, non ?

Si nous étions partis de Peano, il aurait fallu démontrer la commutativité, l'associativité, la régularité etc. des opérations, cela n'aurait rien dit à propos de noter relation d'équivalence..

[Rammstein43]

Heu, ce que je ne comprends pas, c'est que Péano est un Axiome, or d'aprés la définition des axiomes, les axiomesne sont pas démontrables

Alors pourquoi faudrait il démontrer tous ça ?

[Médiat]

Heu, ce que je ne comprends pas, c'est que Péano est un Axiome, or d'aprés la définition des axiomes, les axiomesne sont pas démontrables

Alors pourquoi faudrait il démontrer tous ça ?

D'abord Peano ne peut se réduire à un axiome, puisque cette axiomatique contient un schéma d'axiomes, mais surtout ces axiomes ne disent pas tout, en effet, on essaye toujours de choisir un jeu minimal, par conséquent, il reste beaucoup à démontrer (un coup d'oeil : http://fr.wikipedia.org/wiki/Axiomes_de_Peano, en particulier le paragraphe "Arithmétique de Peano").

[Rammstein43]

Ha oki, je comprends mieux !
Bon je continue de chercher !

[Rammstein43]

Es-ce que quand les hommes ont inventés les nombres, ils ont faits les calcules au fur et a mesure ou ils ont d'abord crée tous le nombres connus et ont cherché les axiomes... bien aprés ?

Merci de tes réponses Médiat !

[Rammstein43]

[/LIST]

Salut, c'est quoi ce truc c'est pas exposant quand même ?

[invite6b1e2c2e]

Salut,

Ce chapeau est un "et" logique. Ca veut dire que les deux propositions situées autour sont vraies.

__
rvz

[Rammstein43]

Tres bien merci !

[Rammstein43]

J'ai encore une question, es-ce que et appartiennent a

Au fait, pourquoi est-il au carré ?

[Médiat]

rvz a, bien sur, raison, mais j'en profite pour rectifier une faute de frappe (il manque des ' dans la quatrième quantification)

[Médiat]

Au fait, pourquoi est-il au carré ?

c'est à dire un ensemble de couples d'entiers.

[Rammstein43]

C'est bien ce que je pensais, mais pourquoi les N sont-ils au carré ?

[invite6b1e2c2e]

Probablement. Je ne sais pas trop de quoi on parle, mais Médiat a écrit deux fois "pour tout (gamma, delta) de N^2". Il y en a probablement un où il s'agit en fait de gamma' et delta'.

Pourquoi N^2 ? Simplement parce que un couple n'est pas la même chose que deux éléments. Ainsi, en général, si x est un élément de X et y un élément de Y, on note . Du coup, quand X = Y, on a tendance à noter ça X^2.

__
rvz

[Rammstein43]

Ha oki, désolé, mais t'as réponse n'était pas encore apparut quand j'ai écrit le post précédent !

Désolé.

[Rammstein43]

Bonjours,

On sait que :





Démontrer que :


On a de

On a de :

Donc on a bien

Prouver la relation :

On a de :

Prouver la relation :

On a de :

Comme
Comme
Comme
Et comme

Alors d'aprés la loi d'égalité,

Prouvons la relation :

On a de :

Comme et que
Alors :

Donc :

[Médiat]

J'ai peur que tu n'aies par tout compris. Avant toute chose, il faut que tu comprennes la raison pour laquelle on est obligé de faire cela (reviens dessus au besoin en posant des questions).

Pour la démonstration elle se résume à un peu de calcul :

Je redémarre de là (en oubliant les quantificateurs) :


Ce qui est à démontrer c'est la flèche d'implication, commençons pas traduire la partie gauche, simplement en traduisant :



ensuite on traduit la partie droite :




Il te reste à trouver un moyen (c'est très simple) de montrer que la partie droite de ma première équivalence implique la partie droite de la deuxième.

[Rammstein43]

Oki, je m'y met tous de suite.
Cepandant, ce que j'ai fait, même si cela ne répond pas a ta demande est juste ?
Ce que je veux dire, c'est que ce n'est pas faux ?

Merci de tes réponses prochaines.

[Médiat]

Ce que je veux dire, c'est que ce n'est pas faux ?

Si
Dès la deuxième ligne quand tu affirmes l'égalité

[Rammstein43]

De toute façon, je me fiche de l'avoir fait juste, le tout, c'est que j'y ai cru, et que j'ai retenu les formules.

Le principale, c'est quand même que je sois (maintenant ) sur la bonne voie.

[Rammstein43]

Bonjours,

Es-ce que j'ai besoin d'une formule précise, ou je peux faire ça rien que par la logique ?

[Médiat]

Es-ce que j'ai besoin d'une formule précise, ou je peux faire ça rien que par la logique ?

Je dirais même qu'un simple coup d'oeil suffit

[Rammstein43]

Ha ok, je vais essayer d'y jeter qu'un seul coup d'oeil !

[Mahow]

Je ne donne que mon avis, mais ce qui sera particulièrement intéressant
c'est que Rammstein43 sera l'un des rares élèves à apprendre par les Mathématiques modernes sans intuition donné au Lycée.

Ce que j'entend par là c'est ce que vous tentiez de le faire trouver demande tout de même une sorte "maturité" mathématiques, une comprehension abstraite que l'on a eu plus tot, en dérivant, en intégrant ou encore par les mathématiques enseigné en spé math en Terminale S.

Ici aucun Formatage, Rammstein43 n'a que très peu d'exemple sur quoi l'appuyer, il tente de comprendre par assimilation PURE ET DURE !
Enseignement modernes des Mathématiques [modernes] sur un Individu sans véritable experience, juste de la passion et de la sueur...

Je trouve ça .... beau.

(a yé, je vais reposer mon pétard... promis)

[Rammstein43]

Venant de toi, Tyndra, je le prends bien

[invite2220c077]

(a yé, je vais reposer mon pétard... promis)

Enfin .

Je connais la sortie =>

[Mahow]

Ah, tu m'y conduirais ?

[invite2220c077]

Je parlais pour moi