さらに学ぶために

  • ユークリッド。Os Elementos（『原論』）。Irineu Bicudo によるポルトガル語訳。São Paulo: Editora Unesp, 2009。公理と命題の構造。
  • プロクロス。A Commentary on the First Book of Euclid’s Elements. Glenn R. Morrow による英訳。Princeton: Princeton University Press, 1970。命題の六つの部分。
  • Frege, Gottlob. Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100, 1892, pp. 25–50。ブラジルでの翻訳：Lógica e filosofia da linguagem. São Paulo: Cultrix/Edusp, 1978。
  • Frege, Gottlob. Die Grundlagen der Arithmetik. Breslau: Koebner, 1884。ライプニッツの引用は §65。
  • Wittgenstein, Ludwig. Tractatus Logico-Philosophicus. London: Kegan Paul, 1922。同一性については命題 5.53 から 5.5303。
  • Gauss, Carl Friedrich. Disquisitiones Arithmeticae. Leipzig: Gerhard Fleischer, 1801。合同の定義と記号 ≡ は第1条と第2条。
  • Pascal, Blaise. Traité du triangle arithmétique. Paris: Guillaume Desprez, 1665（1654 年執筆）。帰納法は帰結12に現れる。
  • Dijkstra, Edsger W.; Scholten, Carel S. Predicate Calculus and Program Semantics. New York: Springer, 1990。ヒントつきの証明の書式。
  • de Bruijn, Nicolaas G. Asymptotic Methods in Analysis. Amsterdam: North-Holland, 1958。ビッグ・オーの一方通行の等式。
  • Halmos, Paul R. I Want to Be a Mathematician: An Automathography. New York: Springer, 1985。$\blacksquare$ の由来。
  • Kieran, Carolyn. Concepts associated with the equality symbol. Educational Studies in Mathematics, 12, 1981, pp. 317–326。
  • Healy, Lulu; Hoyles, Celia. A study of proof conceptions in algebra. Journal for Research in Mathematics Education, 31(4), 2000, pp. 396–428。
  • Fischbein, Efraim. Intuition and proof. For the Learning of Mathematics, 3(2), 1982, pp. 9–18, 24。
  • Cajori, Florian. A History of Mathematical Notations. 全2巻。Chicago: Open Court, 1928–1929。ガウスとリーマンの ≡、ラーンの $\therefore$ について。
  • Earliest Uses of Symbols of Relation、Jeff Miller。

図版出典

図版 出典 ライセンス
ゴットロープ・フレーゲの肖像、Emil Tesch 撮影（1905 年ごろ） Wikimedia Commons パブリックドメイン
ガウス『整数論研究』（1801）の扉 Wikimedia Commons パブリックドメイン
パスカル『算術三角形』（Triangulus Arithmeticus）の最初のページ、クレルモン・オーヴェルニュ・メトロポール遺産図書館所蔵 Wikimedia Commons CC BY-SA 4.0

奇数の和の図と対話型の図（合同の時計、方程式を解く段階）は、この本のために作成したもので、サイトの四つの言語すべてで動作する。ダウンロードした図版の記録と各ファイルのハッシュ値は data/semiotica_imagens.json にある。

章の目次 · ← 証明の読み方：手引きと用語集 · 本のはじめへ