数理論理学の限界

ウィキペディア小見出し辞書

数理論理学の限界

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/15 06:14 UTC 版)

「Planner」の記事における「数理論理学の限界」の解説

制御構造の議論はプログラミング言語としての数理論理学の使用の可能性に関して議論を呼んだ。手続き的アプローチは、数理論理学とは異なる数学的意味論（表示的意味論参照）を持つ。数理論理学だけでは、非決定性を持つ並列システムや分散システムを記述できない。