さらに読むために

  • Martzloff, Jean-Claude. A History of Chinese Mathematics. Berlin: Springer, 1997.
  • Shen, Kangshen; Crossley, John N.; Lun, Anthony W.-C. The Nine Chapters on the Mathematical Art: Companion and Commentary. Oxford: Oxford University Press, 1999.
  • Ifrah, Georges. Histoire universelle des chiffres. Paris: Robert Laffont, 1994.
  • Ascher, Marcia; Ascher, Robert. Code of the Quipu. Ann Arbor: University of Michigan Press, 1981.
  • Alder, Ken. The Measure of All Things: The Seven-Year Odyssey and Hidden Error That Transformed the World. New York: Free Press, 2002.
  • Einstein, Albert. Die Grundlage der allgemeinen Relativitätstheorie. Annalen der Physik, 49, 1916, pp. 769–822.
  • Weil, André. Souvenirs d’apprentissage. Basel: Birkhäuser, 1991.
  • Iverson, Kenneth E. A Programming Language. New York: Wiley, 1962.
  • Iverson, Kenneth E. Notation as a tool of thought. Communications of the ACM, 23(8), 1980, pp. 444–465.
  • Knuth, Donald E. Two notes on notation. American Mathematical Monthly, 99(5), 1992, pp. 403–422.
  • Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren. Concrete Mathematics. Reading: Addison-Wesley, 1989. 邦訳：『コンピュータの数学』共立出版。
  • Backus, John et al. The FORTRAN automatic coding system. Proceedings of the Western Joint Computer Conference, 1957, pp. 188–198.
  • Stigler, Stephen M. Stigler’s law of eponymy. Transactions of the New York Academy of Sciences, 39, 1980, pp. 147–157.
  • Carraher, Terezinha N.; Carraher, David W.; Schliemann, Analúcia D. Mathematics in the streets and in schools. British Journal of Developmental Psychology, 3, 1985, pp. 21–29.
  • Carraher, Terezinha N.; Carraher, David W.; Schliemann, Analúcia D. Na vida dez, na escola zero. São Paulo: Cortez, 1988.
  • D’Ambrosio, Ubiratan. Etnomatemática: elo entre as tradições e a modernidade. Belo Horizonte: Autêntica, 2001.
  • Gerdes, Paulus. Geometry from Africa: Mathematical and Educational Explorations. Washington: Mathematical Association of America, 1999.
  • Appel, Kenneth; Haken, Wolfgang. Every planar map is four colorable. Illinois Journal of Mathematics, 21, 1977, pp. 429–567.
  • Hales, Thomas et al. A formal proof of the Kepler conjecture. Forum of Mathematics, Pi, 5, 2017, e2.
  • Moura, Leonardo de; Ullrich, Sebastian. The Lean 4 theorem prover and programming language. CADE 28, Springer, 2021.

図版の出典

図版 出典 ライセンス
秦九韶『数書九章』の算木の数字（1247） ウィキメディア・コモンズ パブリックドメイン
『ドレスデン絵文書』62 ページ、シルヴェイナス・モーリーによる複製 ウィキメディア・コモンズ パブリックドメイン
リマのラルコ博物館のインカのキープ ウィキメディア・コモンズ CC BY 2.0、bobistraveling
アナンの十進時間の文字盤（1793 年ごろ） ウィキメディア・コモンズ パブリックドメイン
1921 年のアルベルト・アインシュタイン、フェルディナント・シュムッツァー画 ウィキメディア・コモンズ パブリックドメイン
Fortran の文が打たれたパンチカード ウィキメディア・コモンズ パブリックドメイン
朱世傑『四元玉鑑』の三角形（1303） ウィキメディア・コモンズ パブリックドメイン
ケネス・O・メイ・メダルを受けるウビラタン・ダンブロジオ（2001） ウィキメディア・コモンズ CC BY-SA 4.0、ICHM
四色で塗られた地図 ウィキメディア・コモンズ CC BY-SA 3.0、Inductiveload

対話型の図（ひとつの数の三つの書き方と十進時間）は、このサイトの四つの言語すべてで動く。ダウンロードした図版の記録と各ファイルのハッシュは data/semiotica_imagens.json にある。

本の終わりに

この本は、正方形の辺が $\sqrt{\ }$ に変わるところから始まり、機械が確かめられる Lean の一行で終わる。その途中で、記法はさまざまな姿で現れた。名前と日付をもつ人々の発明として、独自の規則をもつ記号の体系として、ゆっくりと身につける言語として、そして二十ずつ数え、二色の算木や紐の結び目で数えた文化の産物として。

八つの章をつらぬいてきた糸は、生きた記法と不毛な記法の区別、つまり考える助けになる記法と、ただ記録するだけの記法の区別だった。それは記号だけがもつ性質ではない。同じ $\frac{dy}{dx}$ が、読める人には生きており、暗記しただけの人には不毛である。同じ $=$ が、あるページでは主張し、次のページでは命令する。記法は、ある共同体の中で、ある道具とともに、歴史のある時点で、だれかにとって生きているのである。数学を学ぶことは、その大部分が、こうした共同体に入っていくことであり、数学を教えることは、その扉を開くことである。

章の目次 · ← 記法と文化：手引きと用語集 · 本のはじめへ