廣瀬 健：帰納的関数 |
作成日： 2009-08-16 最終更新日： |
帰納的関数の入門から、ゲーデルの不完全性定理や、 ヒルベルトの第 10 問題の証明までを述べる。
当たり前だが、難しい。 ヒルベルトの第10 問題を解いた数学者、マチャセビッチが Матиясевич と綴られていることからして、難しい。
ヒルベルトの第10問題とは次の通りである。
任意個数の未知数を含んだ有理整数を係数とする不定方程式が，
有理整数の解をもつか否かを有限回の演算で判定する一般的な方法を見つけよ
この問題に対しては、否定的に解決されると予想され、事実 Матиясевич が否定的解決を証明している。
| 書 名 | 帰納的関数 |
| 著 者 | 廣瀬 健 |
| 発行日 | １９８９年２月１日 |
| 発行元 | 共立出版 |
| 定 価 | ３６００円（本体） |
| サイズ | Ａ５判２１１ページ |
| ISBN | 4-320-01120-1 |
まりんきょ学問所 ＞ 数学の部屋 ＞ 数学の本 ＞ 廣瀬 健：帰納的関数
