「シークエント」の版間の差分
削除された内容 追加された内容
m 簡単な数式の HTML 化,スペーシングの徹底 |
{{planetmath}} |
||
44行目:
歴史的には、シークエントは[[ゲルハルト・ゲンツェン]]が[[シークエント計算]]を記述するのに導入したものであった。ドイツ語で書かれた彼の論文では、"Sequenz" という単語が使われていた。しかし、その英訳である "[[列 (数学)|sequence]]" は、ドイツ語での "Folge" の訳として数学で広く使われていた。そこで、ドイツ語の "Sequenz" の訳語として "Sequent" という言葉が生み出された。
{{planetmath|id=3502|title=Sequent}}
[[Category:論理学|しくえんと]]
|