Mathematical proof - Wikipedia
P. Oxy. 29, one of the oldest surviving fragments of Euclid's Elements, a textbook used for millennia to teach proof-writing techniques. The diagram accompanies Book II, Proposition 5.[1] A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, suc
英語で数学を (Mathematics in English)
書く 数学的な記述は，概ね， 定義で始まり，定理を目指し，その間を証明という論理的な推論でつなぐ， という流れになっています．したがって，専門用語を除いて，使われる語句にも 一定の傾向があり，それらを知れば，数学的内容を英語で伝えるのは それほど困難ではないと思われます．ここでは，主に Donald E. Knuth の未完の大作 The Art of Computer Programming Volume 1 Fundamental Algorithms Second Edition ( Addison-Wesley, 1973) †1 の Chapter 1 Basic Concepts の 1.2. Mathematical Preliminaries †2 から「決まり文句」や「つなぎ言葉」中心に数学的と思われる表現を 抜き出してみました． もとより個人的な見解ですので，興味ござい
YABUKI Taro’s Home Page | 2018/08/19 フィードのURLが変わりました。
不完全性定理のLisp, Mathematicaによる記述 Lisp code / Mathematica notebook プログラミング言語なんてどれも同じと思っている人は下の3つをJavaやC++で書いてみてほしい 不完全性定理についてのゲーデルの証明の一部 停止問題の解決不可能性についてのチューリングの証明 LISP式がエレガントであることを証明できないというチャイティンの証明 ライプニッツ「役に立たないパラドックスは無い」（チャイティン「知の限界」） ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっただろう」（ホフスタッター「メタマジック・ゲーム」） 次の2冊の本はLispといってもSchemeのようなオリジナル言語が使われている。ここではCommon LispとEmacs Lisp、M
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
