0642132人目の素数さん
2019/01/18(金) 21:05:49.26ID:OFyyBdpX性質だけが重要でコーディングの詳細はほとんど
どうでもよく非本質的である例の最たるものだけど、
そうは言っても最初に勉強するときは、
実際にはこの特定のコーディングの仕方に
依存して理論を作っていっているようにも
見えるので、ちょっとこういう
「お気持ち」を理解するのは難しいかも。
それに数理論理は分野によっては
(特に証明論系の分野では)
コーディングに依存しまくった定義や議論をするので
コーディングがどこまで本質的かは微妙な問題だよね。