「Rekursionstheorie」のコアイメージコアイメージ
計算の仕組みをどこまで手順に置き換えられるか、その境界を探る視点
「Rekursionstheorie」のドイツ語での定義ドイツ語での定義
Teilgebiet der mathematischen Logik und theoretischen Informatik, das untersucht, welche Funktionen durch Algorithmen berechenbar sind und welche Probleme unentscheidbar bleiben.
「Rekursionstheorie」の語源語源
Rekursionstheorieは、Rekursion（自分自身への参照）とTheorie（理論）からなる複合語で、計算の限界を研究する理論を表す語
「Rekursionstheorie」のコラムコラム
- 停止問題（Halteproblem）は、プログラムが停止するかを万能な手順で判定できないことを示す代表例で、Rekursionstheorieと強く結び付く