計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)＝プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明＝プログラム , （ {、 { ヽ.ｰ､､ ＼､__ぃ._ゝ⌒ヾ iヾ）}､_ ﾝ_ｰ-_二ｰ-, 〉 {厶 _､ヽ _ ヽ._＞'´ ／ /,ィ／ / ハYﾍい ,. -- 〃⌒ r−-､ ィ´ 〃 ,ｲ/7' ,ｲイ/ 小ヽ 丶、 ,. ‐ '´ﾊ i ″｀ヽ、 、ヽ、 ／幺ィ {从{小込v' jｩ仏厶川ﾘ} YV, 小 Vj. |丶 ヽ ｀ ｰ-ミー--'_,辷三彡
一般法則論者さんへの返信。 - ウォール伝、ディープWebアンダーグラウンド。
一般法則論者さんからの神の証明への突っ込みがあったので、返信を1エントリーにしてみる。昨日の神の証明の話のツッコミで 一般法則論者 2009/09/03 18:37 この世界の成り立ちの順序から言えば、ヒトがいわゆる神の存在の有無やその属性を勝手に決められるという話は最初から無しです。創造主である神の存在証明をしている一般法則論のブログを読んでください。一般法則論者 というのがあったので返事を書いてみる。 書き込みありがとうございました。一般法則論者さんのブログを全てではないですが、少しだけ読ませていただきました。で、僕の一般法則論者さんが提唱されている一般法則というものの理解の一つは、創造主である神というものは必然的にアプリオリに存在しているので、後天的に人間などという有限的な存在がその属性を勝手に決められるわけがないということですよね？今回の突っ込みに関しては僕はそういう風に捉えました
神の存在証明みたいな話の続き。 - ウォール伝、ディープWebアンダーグラウンド。
こないだの神の証明みたいな話の続きだけど、ゲーデルの神の証明について書いてある本をさっそく買ってきてまぁそこだけ読んだんだけど、ようはゲーデルが言いたかったことだけどね、Axiomの1は Axiom 1. (Dichotomy) A property is positive if and only if its negation is negative なんだけど色々なツッコミがあるようにそもそもポジティブな特性とか固有性とか特性って何なの？っていう。で、また例のあんま熟考無しの思いつきで色々書くけど、とりあえず俺は勝手にっつーかそもそも論理学の基礎とかやってないんでアレなんだけど、雰囲気としてまぁただのトートロジーなんだけど、まぁこれはあれだ、無を有さないものというのは無ではないから存在はあるみたいなことね。多分。無いものは無いわけで、あるものはあるっつー話。 で、次のAxiom2ね。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
