Inter universal geometryとABC予想(応援スレ)at MATH
Inter universal geometryとABC予想(応援スレ) - 暇つぶし2ch967:現代数学の系譜 雑談
21/10/01 20:34:47.14 9nXmqzo6.net
>>878
>M.デービスの紹介論文1973で
原文下記だね
Martin Davis氏も、ヒルベルト第10問題を研究していたみたい
(21世紀だね、うまく検索すれば、原文が見つかる)
(参考)
URLリンク(www.math.umd.edu)
Hilbert's Tenth Problem is Unsolvable Martin Davis
The American Mathematical Monthly, Vol. 80, No. 3 (1973), pp. 233-269
When a long outstanding problem is finally solved, every mathematician would
like to share in the pleasure of discovery by following for himself what has been
done. But too often he is stymied by the abstruiseness of so much of contemporary
mathematics. The recent negative solution to Hilbert's tenth problem given by
Matiyasevic (cf. [23], [24]) is a happy counterexample.
In this article, a complete
account of this solution is given; the only knowledge areader needs to follow the
argument isa little number theory: specifically basic information about divisibility
of positive integers and linear congruences. (The material in Chapter 1 and the
first three sections of Chapter 2 of [25] more than suffices.)
Hilbert's tenth problem is to give a computing algorithm which will tell of a
given polynomial Diophantinequation with integer coefficients whether or not it
has a solutioninintegers. Matiyasevic proved that



次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch