Formulaire De Mathématiques


Formulaire De Mathématiques

Formulaire de mathématiques

Le formulaire de mathématiques est une oeuvre en 5 tomes dirigée par Giuseppe Peano, et rédigée par celui-ci et ses collaborateurs, et qui vise à exprimer de façon organisée les principales théories mathématiques dans la langue symbolique introduite par Peano à partir de 1888. La publication du formulaire de mathématiques s'est étalée de 1895 à 1908. Les quatre premiers tomes ont été publiés en français, le cinquième et dernier a été publié sous le nom de formulario mathematico en latino sine flexione, le latin simplifié inventé par Peano pour servir de langue auxiliaire internationale.

La publication du formulaire est précédée d'une introduction parue en 1894, toujours en français, sous le titre de notations de logique mathématique où Peano présente les notations qu'il a déjà introduites dans des articles précédents.

Même si les propositions du formulaire ne sont pas directement lisibles aujourd'hui par des mathématiciens ou logiciens contemporains sans un minimum d'apprentissage, certaines de ses notations ont toujours cours aujourd'hui, ou ont inspirés directement certaines des notations de la logique et des mathématiques actuelles.

Si l'œuvre de Peano suscita l'enthousiasme de certains de ses contemporains comme Bertrand Russell, celui-ci fut loin d'être général.

Selon Louis Couturat[1], Peano ne revendique pas le terme de pasigraphie, qui est employé à son propos par Ernst Schröder, « probablement dans une intention péjorative », et popularisé par les ouvrages de Henri Poincaré[2]. La pasigraphie désigne une écriture dont l'ambition est d'être universelle. Pour Peano son langage symbolique est aussi un outil d'analyse : « Car les notations de logique ne sont pas seulement une tachigraphie pour représenter sous une forme abrégée les propositions de mathématiques ; elles sont un instrument puissant pour analyser les propositions et les théories »[3].

Notes

  1. voir rmm pp 211-212
  2. l'article de la revue de métaphysique et de morale de 1906, auquel répond Couturat, est repris dans science et méthodes
  3. Peano 1895, Formulaire de mathématiques, préface du tome I, p VI

Bibliographie

  • Giuseppe Peano (1888), Operazioni della logica Deduttiva, [à préciser], rep. Opera Scelte vol II ed. cremonese Roma 1958.
  • Giuseppe Peano (1889), Arithmetices Principia, nova methodo exposita, Turin, Bocca 1889, rep. Opera Scelte vol II ed. cremonese Roma 1958, article en latin traduit (partiellement) dans From Frege to Gödel : a source book in mathematical logic, Jean van Heijenoort Ed, avec une préface de ce dernier.
  • Giuseppe Peano (1894), Notations de logique mathématique (Introduction au Formulaire de Mathématiques), Guadagnini, Turin (1894).
  • Giuseppe Peano (ed.), Formulaire de mathématiques, T1 (1895), T2(1897), T3 (1901), T4 (1903) T5 -- formulario mathematico -- (1908), Rivista di mathematica, Bocca Turin. Seul le tome 1 est disponible, en fac simile, sur le site de la bnf, voir [1].
  • Louis Couturat (1906) Pour la logistique, revue de métaphysique et de morale T14 N°1, pp 208-317, accessible sur le site de la BNF en format "image" : [2]
Ce document provient de « Formulaire de math%C3%A9matiques ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Formulaire De Mathématiques de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Formulaire de mathematiques — Formulaire de mathématiques Le formulaire de mathématiques est une oeuvre en 5 tomes dirigée par Giuseppe Peano, et rédigée par celui ci et ses collaborateurs, et qui vise à exprimer de façon organisée les principales théories mathématiques dans… …   Wikipédia en Français

  • Formulaire de mathématiques — Le formulaire de mathématiques est une œuvre dirigée par Giuseppe Peano, et rédigée par celui ci et ses collaborateurs. Elle vise à exprimer de façon organisée les principales théories mathématiques dans la langue symbolique introduite par Peano… …   Wikipédia en Français

  • Formulaire de développement en série entière — Ce formulaire de développement en séries entières recense les expressions de développements en série entière pour les fonctions de référence. Elles sont données avec indication du rayon de convergence dans le champ complexe ou réel …   Wikipédia en Français

  • Formulaire de géométrie classique — Illustration tirée de l encyclopédie Brockhaus et Efron (1890 1907) représentant deux globes terrestres entourés de diverses formes géométriques. Ce formulaire de géométrie classique récapitule diverses formules reliant algébriquement des mesures …   Wikipédia en Français

  • Formulaire De Physique — Cet article fait partie de la série formulaire de physique Optique Électro Magnéstatique Physique quantique Thermodynamique Mécanique des fluides …   Wikipédia en Français

  • Formulaire de physique — Un formulaire de physique regroupe, généralement par domaine d étude, les outils et formules mathématiques adaptés. La nécessité d un tel formulaire vient du fait que la plupart des formules physiques, et a fortiori quand on travaille dans des… …   Wikipédia en Français

  • Formulaire d'électromagnétisme — Équations de Maxwell  Ne doit pas être confondu avec Relations de Maxwell. Les équations de Maxwell, aussi appelées équations de Maxwell Lorentz, sont des lois fondamentales de la physique. Elles constituent les postulats de base de l… …   Wikipédia en Français

  • Formulaire de physique statistique — Sommaire 1 Outils mathématiques 2 Description des systèmes 2.1 En situation microcanonique 2.2 En situation canonique …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Récurrence en mathématiques — Raisonnement par récurrence En mathématiques, le raisonnement par récurrence est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels. Le raisonnement par récurrence consiste à démontrer les points… …   Wikipédia en Français