数学式
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』と題され、ペアノ自身の造語であるラテン語の『sine flexione』が用いられた。…ウーゴ・カッシーナは、 20もの別々に出版された項目を『完全な』『 Formulario』の一部としている！[ 4 ]：45
ペアノは、生徒たちに必要なのは授業の正確な記述だけであると信じていた。彼は次のように書いている。
- 各教授はこの『フォーミュラリオ』を教科書として採用することができる。なぜなら、この『フォーミュラリオ』にはすべての定理とすべての手法が含まれているはずだからだ。教授の授業は、公式の読み方を示し、講義で解説したい定理を学生に示すだけにとどまるだろう。[ 4 ] : 66
大学講義における口承の伝統をこのように否定したことが、ペアノ自身の教師としてのキャリアを破滅に導いた。 [ 4 ]：第14章
注記
- ^ Latino sine Flexione は Interlingua と呼ばれることもありますが、 1924 年から 1951 年にかけて国際補助言語協会によって開発された現代のInterlinguaと混同しないでください。
- ^ 多くの版があります。ここでは2つ紹介します。
- （フランス語）1901年Gauthier-Villars（パリ）出版。230ページ。OpenLibrary OL15255022W、PDF。
- （イタリア語）ローマのエディツィオーネ・クレモネーゼより1960年に出版。 463p。 オープンライブラリ OL16587658M。
- ^ニコラ・ブルバキ(1968)『数学の原論 集合論』 306ページ、アディソン・ウェズリー
- ^ a b c dヒューバート・ケネディ（1980）ペアノ『ジュゼッペ・ペアノの生涯と作品』第6章：フォーミュラリオ計画、44～50ページ、第17章：フォーミュラリオの完成、118～124ページ、D.ライデルISBN 90-277-1067-8
参考文献
- アイヴァー・グラッタン＝ギネス（2000）『数学の根源の探求 1870-1940』プリンストン大学出版局。
