语言
没有数据
通知
无通知
推論の手続きが帰納によっているさま。
なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。2 により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見えるためこのような名前がつけられた。ジョン・ウォリスによって、彼の著作Arithmetica
(1)〔induction〕
指示関数が帰納的関数となるような集合を帰納的集合（きのうてきしゅうごう）という。 端的に言えば、決定可能な集合であり、チャーチのテーゼを認めるならば、計算可能な集合である。 たとえば、素数の集合は、帰納的集合である。一方で停止性問題（実行すると停止するプログラムと入力の組の集合）は帰納的でない。 帰納的関数
的・潜在的にふりかかる暴力の形態を構造的暴力と呼ぶ。具体的には貧困・飢餓・抑圧・差別・愚民政策などがこれに当たる。 構造的暴力と対置される暴力、すなわち行為主体がいる暴力は、直接的暴力という。政治暴力もその一つだが、戦争は直接的暴力
用語についてはいくつか表記ゆれが存在する。たとえば、マグマを亜群 (groupoid) と呼ぶ流儀もあるが、別な意味で亜群と呼ばれる概念もあるので注意。半群 (semigroup) を準群と訳す流儀もある。通常 pseudogroup に充てる擬群という語を準群（quasigroup）の訳とする流儀もある。 ^
構造的差別は、人種や性別などの特定の保護される特性を持つ個人に対する制度的差別の形態の1つであり、個人が得られる機会を制限する効果がある。構造的差別は、意図的（英語版）に行われる場合と意図せずに行われる場合があり、公的あるいは私的な制度的方針に係る場合がある。こうした差別は、これらの政策が特定の
類似において一方で成り立つ理論が他方でも成り立つのではないかという予想を構造の知見が容易にしていることを意味する。例えば、整数環と有限体上の1変数多項式環との間の構造の類似においてアンドレ・ヴェイユにより、リーマン予想に類似
搜索 
搜索 搜索 
