12/01/03 10:37:30.87
>>30
読んで字の如くそのまんま。
自然数が与えられたとき、それが公理系Tの公理のゲーデル数であるか否かが
帰納的に決定可能（つまり計算機で判定可能）ということ。
12/01/03 10:37:30.87
>>30
読んで字の如くそのまんま。
自然数が与えられたとき、それが公理系Tの公理のゲーデル数であるか否かが
帰納的に決定可能（つまり計算機で判定可能）ということ。
12/01/03 10:37:30.87
>>30
読んで字の如くそのまんま。
自然数が与えられたとき、それが公理系Tの公理のゲーデル数であるか否かが
帰納的に決定可能（つまり計算機で判定可能）ということ。