「ゲーデル賞」の版間の差分

{{db|定義未満}} 直せる人がいるならいいんですが
({{db|定義未満}} 直せる人がいるならいいんですが)
{{db|定義未満}}
ゲーデル賞は、理論[[計算機科学]]の賞。日本人では、[[戸田誠之助]]が受賞している。
論理学者[[ゲーデル]]に由来する。