Logique et raisonnement scientifique

Slides:



Advertisements
Présentations similaires
L’expression de la concession L’expression de l’opposition
Advertisements

Ecoutons avec dévotion le Panis angelicus de Cesar Franck Année B ordinaire 21ème.
3. Logique et mathématiques De la logique aux mathématiques.
INITIATION AU GRAFCET.
Séminaire Biblio LISC - 3/04/02 Complexité, information Daprès JP Delahaye (1999)
Comment prouver qu il y a de la lumière au-delà du violet ? En 1841, Edmond Becquerel, chercheur issu d une éminente famille de physiciens, imagine de.
La voie intuitionniste
Logique et raisonnement scientifique cours transversal Collège Doctoral Pr. Alain Lecomte.
Logique et Raisonnement Scientifique
Logique et raisonnement scientifique
3. Logique et mathématiques De Frege à Gödel. Frege (1848 – 1925) Après que la mathématique se fut pour un temps écartée de la rigueur euclidienne, elle.
Logique et Raisonnement Scientifique A. Lecomte Gödel et lincomplétude.
Système formel Nous avons introduit : signes de variables (x, y, z, …), de constantes (0, 1), d’opérations (+, ), de relations (=, ) Axiomes : ce sont.
3. Logique et mathématiques Frege. (1848 – 1925) Après que la mathématique se fut pour un temps écartée de la rigueur euclidienne, elle y revient, et.
Logique et raisonnement scientifique cours transversal Collège Doctoral Pr. Alain Lecomte.
Logique et raisonnement scientifique cours transversal Collège Doctoral Pr. Alain Lecomte.
Logique et raisonnement scientifique
3. Logique et mathématiques
Les élèves sont interrogés par leur professeur.
J’ai reçu ce diaporama en anglais d’une personne qui m’a demandé de le traduire. Il n’était pas signé ; j’en ignore donc l’auteur. Je vous l’offre à tous.
Logiques Mathématiques
Hommage à Jean Paul II Manuel Texte de Johanne.
Les sophistes ORDRE DU JOUR - Qui sont les sophistes?
Le mal existe-t-il? Cliquez pour débuter Un professeur universitaire défia ses étudiants avec cette question : Est-ce que Dieu a créé tout ce qui existe.
Lettre d'une femme au Seigneur Diapo à déroulement automatique
1.2 COMPOSANTES DES VECTEURS
AIMER C’EST SE DONNER.
Mademoiselle L.. Jeune femme née en 1972 Elle a été contaminée fin 1998 par un homme qui lui a menti sur son statut sérologique. Célibataire, elle vit.
Rappels de logique des prédicats du 1er ordre
Les yeux tournés vers l’espace: Chapitre 13.3
1.6 CONTINUITÉ ET ASYMPTOTE
Des Mamans méchantes Cliquez pour continuer..
SHS BA 3ème année automne La philosophie de la nature Physique et philosophie au XXe siècle Qu’est-ce que la philosophie de la nature ? (ch. 1) Michael.
Programmation non procédurale Le projet ECOLE 2000
Roméo Sauvé présente.
Le handicap.
Quand le français est plus important que les calculs en mathématiques
Aux papas méchants !.
Le HANDICAP.
Cliquez pour débuter Séré Cliquez pour débuter Séré.
Des mamans méchantes... Cliquez pour débuter.
Bernhard Riemann Sa vie et son oeuvre
Corrigez sur un papier à part et vérifier la correction en cliquant sur chacun des numéros. Bon travail! Il ne pensa jamais à faire aucun animaux.
Algorithmique et programmation (1)‏
tout simplement, sans y penser, à cause de tous petits riens, On peut être heureux, tout simplement, sans y penser, à cause de tous petits riens,
L’histoire des 2 cailloux sur de belles photos de CHINE
Les principes scientifiques
Programmation fonctionnelle Preuve
Sur le concept de “valeur pure” Estanislao Sofía – MoDyCo – Université de Paris X.
Monsieur Albert.
201-NYCALGÈBRE LINÉAIREET GÉOMÉTRIE VECTORIELLE
Une femme vient de mettre au monde un bébé à l’hôpital.
Cours d'algorithmique 10 / Intranet 1 19 décembre 2006 Cours d’Algorithmique Logique de Hoare (fin) : Les boucles et les invariants.
LOGIQUE ET PROGRAMMATION LOGIQUE
Aimer c ’ est faire don de nos préférences … à ceux que nous préférons … Avance au clic.
Les fleurs de Rita à la fin de août 2010 Créé en Septembre 2010 Musique de Richard Abel - Veuve Joyeuse Heure Exquise.
DROIT DES CONTRATS ©.
Epicure VIème partie. Nous avons remarqué que notre connaissance de la vérité était dépendante de nos sens. Mais tout n’est pas si simple. S’il y a effectivement.
Le désir.
L’INFINI UNE HISTOIRE SANS FIN
René Descartes XIIème partie. De Dieu qui vient à l’idée Descartes s’intéresse alors à l’être humain comme cause des idées. D’où proviennent-elles exactement?
Le devoir Vème partie.
Chap. 3 Récursion et induction. Les définitions par récurrence consistent à construire des objets finis, à partir d'autres, selon certaines règles. Les.
Résolutions et réponses
René Descartes XIème partie. « une substance pensante dont toute l'essence ou la nature n'est que de penser, et qui, pour être, n'a besoin d'au­cun lieu,
Relation de conséquence logique Nous avons vu une relation entre formules: l’équivalence tautologique (  ) Nous allons définir une nouvelle relation,
Gottfried Wilhelm Leibniz Plan Sa vie personnelle Sa pensée Quelques écrits et contributions Intérêt pour le secondaire.
Qui est Sœur Marie-Eugénie ? Mère Marie-Eugénie ne regrette pas son choix.
La médecine entre science et technique penser les conséquences éthiques du progrès médical H. G. Gadamer ( ) Et H. Jonas ( )
Transcription de la présentation:

Logique et raisonnement scientifique cours transversal Collège Doctoral Pr. Alain Lecomte

3. Logique et mathématiques De Frege à Gödel

Frege (1848 – 1925) Après que la mathématique se fut pour un temps écartée de la rigueur euclidienne, elle y revient, et non sans de vifs efforts pour la dépasser

Manque de rigueur? Newton: les fluxions o : une « particule atomique de temps », un « infiniment petit » mais infiniment petit : terme contradictoire Paradoxes de Zénon Séries infinies

Niels Abel (1826): « [les séries divergentes] sont quelque chose de bien fatal et c’est une honte qu’on ose y fonder aucune démonstration… Ce sont elles qui ont fait tant de malheurs et causé tant de paradoxes »

Niels Abel La vie de Niels Abel, mathématicien norvégien né le 5 août 1802, est marquée par la pauvreté. Son père était pourtant un éminent homme politique norvégien, mais à la fin de sa vie il est tombé en disgrâce, et quand il meurt en 1820, c'est Abel qui doit supporter la charge de la famille. Grâce à l'aide financière de ses professeurs, il parvient cependant à poursuivre ses études et à faire ses premières découvertes. Mais ses mémoires sont perdus par Cauchy, mésestimés par Gauss.   Après son doctorat, Abel ne parvient pas à trouver un poste, ses conditions de vie sont de plus en plus précaires et sa santé se fait fragile : il est atteint de la tuberculose. Malgré des déplacements à Paris et à Berlin, ses travaux ne sont toujours pas perçus à leur juste valeur. Dans ses dernières semaines, il n'a plus assez de force pour quitter son lit. Il décède le 5 avril 1829, à même pas 27 ans, alors qu'un ami venait juste de lui trouver un poste à Berlin.

Cauchy, Weierstrass quand n tend vers si et seulement si :

La Begriffschrift-1 « je n’ai pas voulu faire un simple calculus ratiocinator, mais une lingua characterica au sens de Leibniz »

La Begriffschrift-1 Sujet / Prédicat  Objet / Fonction x2 – 4x _ conquit la Gaule Les objets (expressions saturées) ont une dénotation Donc aussi les propositions La dénotation d’une proposition est soit le vrai, soit le faux

La Begriffschrift-2 Idée de système formel Les déductions obtenues « par le seul moyen des règles données pour l’utilisation de nos signes » Comme chez Euclide : axiomes

axiomes a b a c b a c b

Règle d’inférence  A 

 A 

 A

négation A axiomes b a a a

Exemple de déduction avec les axiomes soit à prouver : a b a c b a c b

dans a b a a c b mettre à la place de a et à la place de b a b

a c b a b a c b

a c b a b a c b a c b

a b c a c b

Fonctions et champ (A) (a) a (a) a (a) a A

Beaucoup de flèches n’ont pas atteint la cible Pas beaucoup de flèches ont atteint la cible la cible n’a pas été atteinte par beaucoup de flèches

assertions et contenus

De la logique aux mathématiques Le nombre de satellites de Jupiter est l’extension du concept « équinumérique au concept « satellite de Jupiter » » Puisque rien ne tombe sous le concept : « non identique à soi-même », je pose par définition : 0 est le nombre cardinal qui appartient au concept « non identique à soi-même. « il existe un concept F et un objet x qui tombe sous ce concept tels que le nombre cardinal qui appartient à ce concept est n et que le nombre cardinal qui appartient au concept 'qui tombe sous F mais n'est pas identique à x' est m ». veut dire la même chose que « n suit immédiatement m dans la suite naturelle des nombres. » Théorie des cardinaux finis

L’infini? le nombre cardinal infini est le nombre qui appartient au concept « nombre cardinal fini » Infini actuel