ライス＝シャピロの定理
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/09/20 08:37 UTC 版)
計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norman Shapiro に因む。[1]
- ^ Rogers Jr., Hartley (1987). Theory of Recursive Functions and Effective Computability. MIT Press. ISBN 0-262-68052-1
[続きの解説]
「ライス＝シャピロの定理」の続きの解説一覧
- 1 ライス＝シャピロの定理とは
- 2 ライス＝シャピロの定理の概要
- 3 ライスの定理の導出
- ライス＝シャピロの定理のページへのリンク
