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

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
編集の要約なし
{{db|定義未満}} 直せる人がいるならいいんですが
1行目: 1行目:
{{db|定義未満}}
ゲーデル賞は、理論[[計算機科学]]の賞。日本人では、[[戸田誠之助]]が受賞している。
ゲーデル賞は、理論[[計算機科学]]の賞。日本人では、[[戸田誠之助]]が受賞している。
論理学者[[ゲーデル]]に由来する。 
論理学者[[ゲーデル]]に由来する。 

2005年10月30日 (日) 01:47時点における版

ゲーデル賞は、理論計算機科学の賞。日本人では、戸田誠之助が受賞している。 論理学者ゲーデルに由来する。