Matematiikan muoto

Matematiikka Form on työtä ohjannut Giuseppe Peano ja kirjoittanut hänelle ja hänen avustajansa, heidän joukossaan Giovanni Vailati  (en) , Mario Pieri  (en) , Alessandro Padoa , Giovanni Vacca , Gino Fano , Cesare Burali- Forti jne Sen tavoitteena on ilmaista järjestäytyneesti tärkeimmät matemaattiset teoriat symbolisella kielellä, jonka Peano esitteli vuodesta 1888. Matematiikkalomakkeen julkaiseminen kävi läpi viisi painosta (suurilla muutoksilla ja rikastuksilla toisistaan) vuosina 1895–1908. Suuri osa lomake on kirjoitettu symbolisella kielellä. Neljän ensimmäisen painoksen oheistekstit ovat ranskaksi. Viides ja viimeinen julkaistiin nimellä Formulario mathematico latinaksi sine flexione , yksinkertaistettu latina, jonka Peano keksi palvelemaan kansainvälisenä apukielenä .

Lomakkeen julkaisemista edeltää vuonna 1894 vielä ranskaksi julkaistu johdanto Notations de Logique Mathatique -nimellä, jossa Peano esittelee merkinnät, joita hän käyttää lomakkeessa ja jotka hän on jo esittänyt artikkeleissa. .

Vaikka nykyiset matemaatikot tai logiikat eivät olisikaan helposti luettavissa lomakkeen ehdotuksia ilman vähäistä oppimista, jotkut sen merkinnät ovat edelleen ajankohtaisia ​​nykyään tai ovat suoraan inspiroineet joitain nykyisen logiikan ja matematiikan merkintöjä.

Jos Peanon työ herätti joidenkin hänen aikalaistensa, kuten Bertrand Russellin , innostusta , se ei ollut kaukana yleisestä. Joskus löydämme termin pasigrafia osoittamaan sitä. Mukaan Louis Couturat Italian matemaatikko ei väitä sitä. Tätä käytetään Ernst Schröderin yhteydessä "luultavasti halveksivalla tarkoituksella", ja Henri Poincarén teokset suosivat sitä . Pasigrafia tarkoittaa kirjoittamista, jonka tavoitteena on olla universaali. Couturatin mielestä on sopivampaa puhua ideografiasta . Peanolle hänen symbolinen kielensä on myös analyyttinen työkalu: "Koska logiikan merkinnät eivät ole vain takigrafiaa edustamaan lyhennetyssä muodossa matematiikan väitteitä; ne ovat tehokas väline ehdotusten ja teorioiden analysoimiseksi.

Huomautuksia

  1. Kennedy 2006, luku 6, erityisesti s. 66
  2. katso rmm s. 211-212
  3. vuoden 1906 metafysiikan ja etiikan katsauksen artikkeli, johon Couturat vastaa, sisältyy tieteeseen ja menetelmiin
  4. tachigraphie: oikeinkirjoitus luultavasti jo vanhentuneita lopulla XIX th  vuosisadan pika tai pikakirjoitus; katso tätä oikeinkirjoitusta F. Raymond (1832) Ranskan kielen yleinen sanakirja ja käsityötieteiden yleinen sanasto , s. 544  ; Couturat korjaa ajopiirturin (rmm p 212, huomautus 3).
  5. Peano 1895, Matematiikan muoto , esipuhe niteeseen I, s. VI

Bibliografia