12 私は計算理論コースのゲーデル化を見ていました。ゲーデルの番号付けの概念は理解できましたが、計算の理論におけるその重要性は理解できませんでした。誰もがいくつかの良い資料を指摘したり、その重要性を指摘したりできますか formal-languages turing-machines — user5507 ソース
18 コンピューターサイエンスにおけるゲーデルの番号付けは、多かれ少なかれ「ソースコード」と「バイナリ形式のデータ」を意味するため、これが本当にそうだと納得できれば、この重要性が明らかになることを願っています。 a r c t a narctan 0011 001100110011 実際には、我々はとして知られているさまざまな形式のプログラムやデータを表し.java、.py、.mp3、.jpg人を計算するロジックと理論的になど、それらはより簡単な数学内で操作されているので、古き良き数字に固執することを好みます。 00110011 — アンドレイ・バウアー ソース これは非常に明確です。これらに関する技術資料はどこで入手できますか？ — user5507 「これらの上」とは何を指しますか？ — アンドレバウアー 私のあいまいな英語でごめんね。チューリングマシンでのゴデライゼーションに関する証拠を含む資料を探していました。ここでゴーデル番号付けの重要性について教えてください。（数値からシーケンスを生成する） — user5507 Martin Davisの著書「Computability and Unsolvability」には、Turing Machineの非常に詳細な取り扱いがあります。おそらくあなたが探しているものです。あなたが何を求めているのか分かりません。 — アンドレバウアー