2009-04-09から1日間の記事一覧
チューリングマシンは可算無限個あり、しかも洩れなく列挙することが可能なので、各チューリングマシンに適当にナンバリングをすることができます。 要するに、ゲーデル数を割り当てることができます。 しかしながら、普通にコード化すると、ある自然数には…
チューリングマシンは可算無限個あり、しかも洩れなく列挙することが可能なので、各チューリングマシンに適当にナンバリングをすることができます。 要するに、ゲーデル数を割り当てることができます。 しかしながら、普通にコード化すると、ある自然数には…