ゲーデルの神の証明について。 - ウォール伝、ディープWebアンダーグラウンド。
ゲーデルの神の証明ってあるでしょ？ P(φ) φは肯定的（またはφ∈P). 公理1.P(φ).P(ψ)⊃P(φψ). 任意の数の連言 公理2.P(φ)∨P(〜ψ). 排反的選言 定義1.G(x)≡(φ)[P(φ)⊃φ(x)]（神） 定義2.φEss.x≡(ψ)[ψ(x)⊃N(y)[φ(y)⊃ψ(y)]]. (xの本質) xの任意の二つの本質は必然的に同値である。 p⊃nq＝N(p⊃q).必然性 公理3.P(φ)⊃NP(φ) 〜P(φ)⊃N〜P(φ)性質の本性より導かれる。 定理.G(x)⊃GEss.x. 定義.E(x)≡(φ)[φEss x⊃N(∃x)φ(x)].（必然的存在） 公理4.P(E). 定理.G(x)⊃N(∃y)G(y), ゆえに(∃x)G(x)⊃N(∃y)G(y); ゆえにM(∃x)G(x)⊃MN(∃y)G(y).（Mの可能性） M(∃x)G(x)⊃N(∃y)G(y). M(
一般法則論者さんへの返信。 - ウォール伝、ディープ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ね。
数学の授業で勝手に大発見！ - ウォール伝、ディープWebアンダーグラウンド。
ディッキンの24にレイティングがあると思ったら2でやんの。いやー控えめに見ても3ぐらいだと思うんだけどなぁー。そんなに悪いか？俺的には4なんだけどねー。13とかADDとかリア二千のVol.2とか7とか2とかが俺的には5なんだけど、相対的に見てもまぁ4ぐらいが妥当だよね。まぁそんなのどうでもいいんだけど。 何気にさ、スケジュール見たらぎっちりじゃないにしても週５だったのね。学校。日曜から金曜っていう変則的なアレなんだけど、なんでか？っつーとそれでしか組めなかったっつーのがあるわけね。日本の大学がどうなのか知らんけど、こっちではコースってのがあって、んでそれを取りますって決めるとどのセクションにしますか？ってことでさ、例えば英語101でも午後2時〜3時半までとかさ、時間帯で各ブロックごとに違う教室で同じ科目が違う先生によって教えられてるんだけど、例えば自分の都合の良い時間でも悪名高い教師のセク
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
