数学の公式

Formulario Mathematico ( Latino sine flexione : ^[1] Formulary for Mathematics ) は、ジュゼッペ・ペアノによる本^{[2]で、ペアノが開発した}記号言語で数学の基本定理を表現しています。著者は、 Giovanni Vailati、 Mario Pieri、 Alessandro Padoa、 Giovanni Vacca、Vincenzo Vivanti、 Gino Fano、 Cesare Burali-Fortiの協力を得ました。

『Formulario』は 1894 年に初めて出版されました。第 5 版および最終版は 1908 年に出版されました。

ニコラ・ブルバキはペアノの『数式』の表記について「当時の数学の慣習に従い、よく選ばれた多くの省略記号を導入することで、彼の言語は非常に読みやすくなった」と述べている^[3]。

ヒューバート・ケネディ^[4]は「数学的論理の開発と使用がこのプロジェクトの指針となるモチーフである」と書いている。彼はまた、ペアノの出版物の多様性を次のようなタイトルで説明している。

『 Formulario 』の 5 つの版は、通常の意味での版ではありません。それぞれは本質的に新しい内容になっていますが、多くの内容が重複しています。さらに、タイトルと言語はさまざまです。最初の 3 つのFormulaire de Mathématiquesと 4 番目のFormulaire Mathématique はフランス語で書かれていますが、 5 番目のFormulario Mathematicoにはペアノ自身の発明であるLatino sine flexione が使用されています。... ウーゴ・カッシーナは、20 以上の別々に出版された項目を「完全な」 Formularioの一部であるとリストしています。[ ^{4] : 45}

ペアノは、学生に必要なのは授業の正確な説明だけだと信じていました。彼は次のように書いています。

各教授は、このフォーミュラリオを教科書として採用することができるだろう。なぜなら、このフォーミュラリオにはすべての定理とすべての方法が含まれているはずだからだ。教授の授業は、公式の読み方を示し、講義で説明したい定理を学生に示すことに限定されるだろう。^{[4] : 66}

大学での講義における口頭伝承の否定は、ペアノ自身の教師としての経歴を破滅に導いた。^{[4] ：第14章}

• アイヴァー・グラッタン・ギネス（2000） 『数学の根源の探求 1870-1940』プリンストン大学出版局。