Poster un commentaire à la suite de l’article...

samedi 29 octobre 2011
par  Nathalie CARRIÉ

Stage de logique par René Cori

Notes prises par Nathalie Carrié pendant le stage de logique animé par René Cori à la Réunion les 3 et 4 décembre 2009.

En réponse à...

Logo de Marc JAMBON
lundi 24 décembre 2012 à 15h44 - par  Marc JAMBON

Erratum au paragraphe 2.1.3. contraposition
J’utilise l’équivalence entre « A implique B » et « non B implique nonA »
[il manque le non devant A]

Errata au paragraphe 2.1.7. Raisonnement par disjonction de cas (principe du tiers-exclu)
Dernière ligne du paragraphe
(on n’exhibe pas les réels a et b)
[a et b au lieu de x et y]

Conjecture de Goldbach à la fin du paragraphe 1.1.5
quelque soit a appartenant à N [(a > 3 et a est pair) implique il existe p il existe q (p est premier et q est premier et p + q = a)]
Il manque le « implique ».
De même pour le théorème, énoncé immédiatement après, démontré par des mathématiciens chinois.

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.