プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
zijn diagonaalargument is ook fundamenteel in de oplossing van het stopprobleem en het bewijs van de gödels eerste onvolledigheidsstelling.
his argument is fundamental in the solution of the halting problem and the proof of gödel's first incompleteness theorem.
最終更新: 2016-03-03
使用頻度: 1
品質:
== geschiedenis ==cantor gaf in essentie het hierboven beschreven bewijs in een in 1891 gepubliceerd artikel "Über eine frage der elementare mannigfaltigkeitslehre", waar zijn diagonaalargument voor de onaftelbaarheid van de reéle getallen ook voor het eerst voorkomt (hij had de onaftelbaarheid van de reële getallen eerst op een andere methode bewezen).
== history ==cantor gave essentially this proof in a paper published in 1891 "Über eine elementare frage der mannigfaltigkeitslehre", where the diagonal argument for the uncountability of the reals also first appears (he had earlier proved the uncountability of the reals by other methods).
最終更新: 2016-03-03
使用頻度: 1
品質:
警告:見えない HTML フォーマットが含まれています