「対関数」の版間の差分
削除された内容 追加された内容
Sillycrown (会話 | 投稿記録) 編集の要約なし |
Sillycrown (会話 | 投稿記録) |
||
57行目:
== ゲーデルの対関数 ==
対 <math>(x, y)</math> を最大値 <math>\max(x, y)</math> が小さい順に並べ、最大値が等しいものについては辞書式順序で並べれば、 <math>\mathbb{N}^{2}</math> から <math>\mathbb{N}</math> への一意的な順序同型 <math>P\colon \mathbb{N}^{2} \to \mathbb{N}</math>
: <math>P(x, y) = \begin{cases} x+y^{2} & x < y \\ x^{2}+x+y & x\geq y \end{cases}</math>
|