语言
没有数据
通知
无通知
(1)することができること。 ありうること。 また， そのさま。
これらの例は実際のところ、定義可能かつ計算不能な数の無限集合を定義し、各万能チューリングマシンごとに一つずつ与える。 実数が計算可能であるとき、かつその時に限り、自然数の集合を特性関数として見なしたとき計算可能である。 計算可能実数全体は (およびそのうち可算な稠密順序で端点の無い部分集合は)
切能（きりのう）とは、鬼・天狗・天神・雷神・龍神など、人間以外の異類が登場する能のことである。一日の最後に演じられることから、切能または五番目物と呼ばれる。鬼物や天狗物の他に、石橋や猩々といった祝言物がある。 『藍染川』 『大江山』 『鞍馬天狗』 『黒塚』 『殺生石』 『小鍛冶』 『石橋』 『猩々』
素数階乗素数：p# ± 1（p は素数、p# は p の素数階乗） レピュニット R2, R19, R23, …（Rn は 1 が n個続く数、通常は基数を 10 にとる） 双子素数（差が 2 である2つの素数） いとこ素数（差が 4 である2つの素数） セクシー素数（差が 6 である2つの素数）
数学における無視可能函数（むしかのうかんすう、英: negligible function）は、極限においていかなる多項式よりも非常に緩やかな増加をするような函数である。 実数列 μ: N → R は、任意の正整数 c に対して適当な整数 Nc を選べば、x > Nc なる全ての x について | μ
手続きは値を返す場合には有限の空間（領域）を使って計算するが、使用する空間の量に制限はない。手続きが必要とするだけの空間（記憶領域）が与えられるものとされる。 計算複雑性理論では、計算に必要な時間や空間に何らかの前提を設けて関数を研究する。 自然数の集合 A が計算可能（帰納的、決定可能）であるとは、数
において存在しなければならず、そのような場合、線型写像 J はヤコビ行列となる。高階導函数に関する同様の定式化は、一変数微分積分学でいうところの有限増分の補題（英語版）によって与えられる。 ここで、偏導関数の存在は（あるいは、すべての方向微分の存在でさえも）、ある点における関数の微分可能性を保証する
の唯一の正の解として定義でき、コンパスと定規で作図可能でもある。 形式言語やその解釈の選び方の違いによって定義可能性の概念は異なる。 定義可能な数の概念は幾何学における作図可能数、代数的数、計算可能実数などを含む。 形式言語は可算個の式しか持たないので、どの形式言語で定義可能性を考えたとしても定義可能実数は可算個しかない。
搜索 
搜索 搜索 
