終端定理(読み)しゅうたんていり

世界大百科事典(旧版)内の終端定理の言及

【形式言語】より

…一般に形式システムでは,推論規則によって公理から定理が導出されるという。導出される定理のうち,どの規則も適用できないものを終端定理と呼ぶ。なお,この例のシステムが生成する終端定理には意味上不適切なものがあるが,その検討は意味論にゆだねられる。…

※「終端定理」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」

貨幣 (名目) 賃金額を消費者物価指数でデフレートしたもので,基準時に比較した賃金の購買力を計測するために用いられる。こうしたとらえ方は,名目賃金の上昇が物価の上昇によって実質的には減価させられている...

実質賃金の用語解説を読む