【・ω・∩】チラシのうら的な真理探求スレッド＠心と宗教板【しんしょう♪】 YouTube動画>12本 ->画像>3枚

このスレッドは広場におかれた巨大なチラシのうらのようなもの。
神や真理にまつわる話はもちろん、ひとり言から今日の晩ごはんの感想まで何でも書いてけ。
もちろん法律に違反するような書き込みはダメだけど。

とりあえずは細かなスレッドルールはなしで。
コテハンつけて歓談するのも一人きままに呟くのも自由に。
状況によっては後からルールを設けたりするかもしれないけどその時はその時。

それではゆるゆるでどーぞ。
( ﾉﾟДﾟ )ﾉ⌒　ペン

ちなみに。
この「ゆぐどらしる」というキャラクタはスレッド管理用にするんで基本的に会話には参加しない。
スレッド主は空気のほうがいいだろうし。
こちらは別の名前で参加するんでよろしくー。

神って本当にいるの？

この問いについて、これからひとりごとを書いていこうと考えている。
「ぼくのかんがえたさいきょうの神の存在証明」
というタイトルになるけれども、これはちょっと長いものになる。
だから気が向いたときにちょこっと投稿していくかたちになるかな。
興味のある人は読んでね。

宗教なんて嫌いです。哲学でええやんと思います。神とか無始無終とか凡夫とかずるいねん。なんとでも話まとめれるやんけ。新しい概念作りすぎちゅーねん。
あースッキリしたー

( ´･ω･`)_且

ぼくのかんがえたさいきょうの神の存在証明はかなりハードでポルノなものになるのだ。
それは既存のものとは全く異なるものになる。
圧倒的な思想で描かれるその宇宙に、皆は畏怖して萎縮してしまうだろう。

つまりはこのままこちらが超高度な思索の投稿を始めると過疎るのはほぼ確定だ。
よって、ここを覗いた君たちの「ゆるゆるでどうでもいい書き込み」を期待している。

遠慮することはなにもない。
>>6を見習って堂々とゆるゆるでどうでもいい書き込みを投稿してほしい。
明日はジャワカレーにしようかな、なんて呟きでもいいのだ。

TEOTW0003：エレアのゼノンへの返答

　命題：太陽は東の空から昇り西の空に沈んでいく。

　これは私たちにとっては自明のことである。
　けれどもある場所に住む人たちにとってはそうではない。
　上記の命題は私たちの住む地球では真となるが金星に住む人たちにとっては偽になる。
　自転の向きが逆の金星だと太陽は西から昇り東へと沈んでいくから。

　命題：直線外の１点を通りこの直線に平行な直線はただ１つある。

　これはユークリッド幾何学の第５公準と同値な命題である。
　これも私たちにとっては自明ともいえるものになる。
　だが平面ではなく球面で考えるとどうだろうか。
　球面では平行な直線を引くことはできなくなる。

　命題：アキレスは亀に永遠に追いつくことはできない。

　ゼノンが提示した可能世界ではこれは真となる。
　けれども私たちが現実と呼んでいる可能世界では偽となる。
　つまりは、上記の命題は真とも偽とも言い切れない。

　このようにこの世界には幾つもの可能世界が共存している。
　そして恒真式（TEOTW0000）を除く命題の真理値はこの可能世界の狭間で揺れ動いている。（TEOTW0004）
　風にそよぐ草花のように。

TEOTW0004：人間という理論の限界

　恒真式を除く命題の真理値はこの可能世界の狭間で揺れ動いている。
　これについてもっと具体的な例をここに示そう。

　連続体仮説：可算濃度と連続体濃度の間に他の濃度は存在しない。

　現代数学の基礎となる集合論を創ったカントールは自らの理論を用いて無限というものに挑戦した。
　彼は対角線論法という矛を用いて無限を分別し自然数全体という無限と実数全体という無限は異なるものだと結論した。
　そして彼は生涯をかけて上記の定理の証明に取り組んだ。
　だがやがて精神を病みハレの療養所で最期を迎えることになる。

　この連続体仮説については後にゲーデル、コーエンにより以下のことが証明される。
　ＺＦＣ集合論が無矛盾ならば連続体仮説またはそれを否定した公理を加えても無矛盾である。
　これはＺＦＣ集合論だけでは連続体仮説を証明できないということである。
　つまりは連続体仮説はＺＦＣ集合論においては真とも偽とも言い切れない。

　このようにある条件を満たす形式系はその証明能力に限界（TEOTW0005）というものがある。
　これは有名なゲーデルの不完全性定理でも明らかにされている。

　では私たちの創造力をとても自由な表現力をもつ形式系と捉えた場合はどうなるだろうか。
　そう、私たちの創造力にも限界があるのだ。
　それが私たちを覆っている大空という籠というものになる。
　そして神はその大空の向こう側にいる。

　ぼくのかんがえたさいきょうの神の存在証明では。
　この大空から飛び立てる翼を配ることになる。

TEOTW0006：蛇は嗤う知恵の樹の下で

　ある条件を満たす形式系には証明できない定理が存在する。
　例えばトランプの七並べという世界では。

　◇５◇６◇７◇８◇９
　
　という定理は証明できる（このカードの並びは作ることができる）が。

　◇５◇６◇７◇９◇８

　という定理は証明できない。

　この証明能力というものについて人類で最初に深く考察したのは。
　おそらく２世紀にインドで生まれた仏教の僧である龍樹である。

　─────────────────────────────
　ダルマについてのブッダの教えは。
　二つの真実（TEOTW0007）に基づいている。
　この世の現象的な真実と究極の真実である。
　真如（究極の真実）は言葉では表せないし説明し尽くせない。
　──────────────────────────────（中論・２４章）

　究極の真実について彼はこう言っている。
　それは言語を用いた人間の論理的な思考では証明できない定理である、と。

んー、スマホからだと見づらいかも。
次から投稿するときはちょっと考えてみる。

ＤＡＴ落ちしてるかも。
テスト書き込み。

あれ、書き込みできるな。
ＤＡＴ落ち表示がでてるのだが。

それではおやすみ。

書き留めていたものを今日もちょっと投下。

実はこちらは今現在、事情があって株取引に参加しようかと考えている。
その準備をしているから神の存在証明には時間をあまりさけないかもしれない。
TEOTW0011以降はほんとうに少しずつ書く形になると思う。

株取引やってる人がいたら色々と株の真理について教えてほしいところだ。

ではでは。

TEOTW0007：仏教と自己言及のパラドックス

　釈迦が説いた教えの中心には『縁起』というダルマ（法）がある。
　他から離れて単独で存在する不変のものはない、表裏のようにあらゆる現象は相互に関係しあって成り立っているというもの。

　この縁起のダルマはダルマにも適用されるのである。

　ダルマ１：太陽は東の空から昇り西の空に沈んでいく。

　これは地球では存在するダルマだが。
　自転の向きが逆の金星だと太陽は西から昇り東へと沈んでいくから金星では存在しないダルマになる。

　ダルマも関係から生じていて永遠不変ではない。
　では『縁起というダルマ』そのものはどうだろうか。
　縁起のダルマに縁起のダルマを適用すると縁起のダルマも命と同じように消えてしまうものになる。
　自らが自らを食い殺すことになるのだ。

　これを回避するためには特別なルールを設ける必要がある。
　例えば、縁起のダルマだけは特別なものとして不変なものとする、など。
　仏教ではダルマを有為法（可変）と無為法（不変）に分けることがある。
　釈迦はおそらく混乱を招かないように縁起のダルマは無為法としたようだ。
　つまり縁起のダルマが自らを食い殺さないようにした。
　だが龍樹はそうではなかった、彼は自己言及のパラドックスというウロボロスと対峙したのだ。

今日はこれでおしまい。

株取引をするための道具を探している。
今の自分の生活スタイルからいえばタブレットしかないだろうとiPadProを買うつもりだったのだが。
iPadProとか持ってたらモテそうだし。
だがしかし取引ツールの関係でLTE対応Windowsタブレットにすることに……。

しばらくパソコンは買ってなかったんだけど。
2in1で本体とキーボードが分離できるモデルとか本当に素晴らしいと思った。

SurfaceProかVAIOA12、ThinkPad X1 TabletかLet's note CF-XZ6。
どれにしようか迷う。
自分的にはLet'sになるのだけど、高過ぎだろう。

とりあえず今はスマホの株シミュレーションをやってるんだが。
バイオ株いじっていきなり大火傷してしまった。

というわけで神の存在証明を投下。

TEOTW0010：イプシロン・エヌと人生

　∀ε＞０∃Ｎ∀ｎ［Ｎ＜ｎ⇒｜Ａ−ａ_ｎ｜＜ε］

　数列〈ａ_ｎ〉はＡに限りなく近づいていく。
　これは数列の極限の定義であるε-Ｎ（イプシロン・エヌ）である。
　点Ａを中心とした半径εの円を描く、この円をε近傍とする。
　どのようなε近傍を描こうともその中に数列〈ａ_ｎ〉の一部（Ｎ項以降）が入っている。
　どのようなεにもそのようなＮが存在する。

　Ａ───・─ε───
　Ａ──・─ε────
　Ａ─・─ε─────

　これを人生に置き換えてみよう。
　人は限りなく死に近づいていく。
　明日には今日よりも一日だけ老いた私がいる。
　死（極限）に辿り着くそのときまで、どのような今日の私にも明日の私が存在する。

　その疑いようのない当たり前のことであるε-Ｎ。

　ここで私は考えなければならない。
　なぜ私はそれを自明のこととして受け入れているのだろうか。
　目を瞑って頭を空っぽにすればそこには今日の私はいないというのに。
　目を開いて頭のなかに何かを描いていくと、そこに今日の私（ε-Ｎ）が生まれる。

TEOTW0011：ニムロデの天地創造

　ここは何もない場所である。
　そこに神の声が響いた。
　水は集まれ乾いた所が現れよ、と。
　そのとき何もない場所に空虚ともいえるものが集まりだした。

　｛　｝

　何もない、でもそこには確かに何かが集まっている。
　神はこれに名前を与えた、０（シューニャ）と。

　０

　このとき何もなかったはずの場所に世界が生まれたのである。
　命となった０は神の声に導かれて集まった。　

　｛０｝

　神は次に誕生したそれに名前を与えた、１と。
　そして言った、この世界は数学（素朴な集合の世界）と名付けようと。

　ｓｕｃ（ａ）：＝ａ∪｛ａ｝

　０　｛　｝
　１　｛０｝
　２　｛０，｛０｝｝
　３　｛０，｛０｝，｛０，｛０｝｝｝

　この世界においては目に写る１や２は本質的なものではない。
　見ることができない神の声（システム）こそが真実なのである。

タブレットはハイスペックモデルにしようと考えていたのだが。
ある記事を読んで考え方を変えた。
タブレットにハイスペックや大画面を求めるのは間違いなのではないかと。
バッテリーや熱の問題もあるし、なにより大きいときっと持ち運ぶのが億劫になるから。

自分は怠惰なのだ。
実はスマホすら持ち歩くのが億劫なのである。
社会と気候が許してくれるなら、装備品は褌とスニーカーとウォッチ系携帯端末まで絞りたいほど。
というわけで。
たぶんSurface Pro LTE Advancedにすると思う。

いずれレビューするだろうから興味のある人はまたこのスレッドをたずねてくるとよいかも。

ぼくのかんがえたさいきょうの神の存在証明は新たな章に突入する。
この章をどういった形にするかはまだ決めていない。
もしかしたら釈迦が語った縁起の構造について掘り下げるものになるかもしれない。

自分は釈迦のことが好きだからね。
ぼくのかんがえたさいきょうの神の存在証明は、彼の思想を２１世紀の言葉で記したものと言ってもいいくらい。
もちろんキリスト教も大好きだよ、自分の理論の根底には聖書があるから。

ぼくのかんがえたさいきょうの神の存在証明という理論が描く宇宙では。
仏教とキリスト教は仲良く手を繋いでいる、それだけじゃなく多神教も。

……そこまで辿り着けるとよいのだけれども。
ではでは。

パソ板で相談したら色々と教えてもらえて。
購入するタブレットはSurface Pro LTE Advancedに決定した。
ついでに完全ワイヤレスイヤホン買おうかと考えている。
充電面倒くさくなって使わなくなる未来しか見えないけど。
きっと３日ほどは幸せな気分になれるはず。

スタバでMacを得意顔で操る人のことをドヤラーというが。
俺が本物のドヤラーってのをみせてあげますよ、糞田舎のタリーズで。

それはそうとセブンカフェゼリーにはまりそう。
３分くらいは幸せな気分になれる。
甘くないコーヒーゼリーが好きなんだよね。

というわけで、今日の神の存在証明はこれにて。

色々とまとめて買いたかったから地元の店でSurface Pro LTE Advancedを注文してきた。
味わいのあるおっさんが接客してくれたんだけど。
提案にのって追加の商品を買うとすごく嬉しそうな顔をするもんだから、次々と買ってしまった。
絶対これ使わねーよ、とか思いながらも。

専用のペンやマウスがメーカー発注になるからもしかしたら揃うのは１ヶ月くらいかかるかもと。
どうやら人気らしい。
連休に使いたかったのだけどしかたない。

とりあえず完全ワイヤレスイヤホンも買った。
AVIOT TE-D01dっての。
お手頃な価格だったし、広告の女の子とペアルックしたかったのだ。

http://aviot.jp/products/te-d01d/

とりあえず使ってみたけど解放感に驚いた。
音楽を聴くことってこんなに自由なことだったの、って。
ワイヤレスヘッドホンは３日で使わなくなったけどこれは定番になりそう。

えーと。
ぼくのかんがえたさいきょうの神の存在証明ではストラクチャー（構造）とアルゴリズム（手順）というものが重要になってくる。
次から始まる章ではそれを柱とした話を展開しようと考えている。

一般的にはバラモン教と仏教は相容れないものだと言われている。
それはバラモン教の根底にはアートマン（我）があり、仏教の根底にはアナートマン（無我）があるから。
これは実は違うのである。
バラモン教と仏教は同時に成立する。
というよりもアートマンがなければ仏教は成立しないと言ってもいいかもしれない。
ストラクチャーについて語る章でこのことについて言及していく予定である。

釈迦の説いた縁起というダルマは深遠なのである。
それはアートマンやアナートマンを超えたものになるから。
ただそれは２１世紀を生きる人類にとっては簡単に理解できるものである。

Xperia（aptX）でAVIOT TE-D01dを使ってみて。
田舎のせいか音の途切れは全くといっていいほどなし。
遅延も気にしなければ気にならないレベルだと思う。
とりあえずボイスアナウンスの女声優の声がいい。
どことなく可愛らしくてやわらかく優しいのだ。
『電源ＯＮ』ではなく『でんげんおん』っていう感じでテンションがあがる。
製造元の会社は音声ガイダンスにアニメ声優っぽい声を使うポリシーがあるみたいで。
なるほどこれはいい、とちょっと笑えた。
あと９時間連続再生はやはりいい、少なくとも自分のライフスタイルならバッテリーを気にする必要がなくなる。

気になった点は。
AVIOT TE-D01dは物理ボタンなのだがこれが微妙に使いにくい。
結構しっかりしてて押すときに押し込む感じになるからそれが嫌なら少し工夫がいる。

嬉しいことがあった。
実はこの『ぼくのかんがえたさいきょうの神の存在証明』はある投稿サイトにも投稿してるんだ。
これは他のサイトの書き込みを５ちゃんに転載しているというかたちにするため。

それは読んでもらうために投稿してるものではないから、その投稿サイトでは設定で本当に人目につかないようにしてある。
なんかのリンクも切ってあるしカテゴリもメモ帳的なものにしてある。

んでもって今日、TEOTW0012をここに書き込む前にとりあえずそこにつっこんでおこうとしたら。
なぜかお気に入りに登録してくれている人がいた。
予想していなかったから嬉しい。

とりあえず今夜から新しい章が始まる。
TEOTW0012からは仏教徒にとっては楽しいものになるだろう。
アーキテクチャ（この世界の設計思想）という視点からみたとき、縁起のダルマというものがいかに重要なものか明らかになるからだ。

あとTE-D01dの追加レビューだけど。

＞遅延も気にしなければ気にならないレベルだと思う。

これゲームとかやると気になるレベルだった。

TEOTW0012：ぼくのかんがえたさいきょうの神の存在証明Ｓ−１


　真理である神に到達するにはあるものが必要になる。
　それはこの世界のことを誰よりも愛すること。

　だから私も君に要求する。
　その愛を。

　ここから新たに始まる章はそれを試すものになる。
　君が本当に心の底からこの世界を愛せたとき。
　きっとこの問いの答えを手にしているはずだ。

　Ｑ．愛とは何か？
　Ａ．

　そのとき翼の設計図を手に入れることができるだろう。

TEOTW0013：ぼくのかんがえたさいきょうの神の存在証明Ｓ−２


　Ｑ．神の定義を述べよ。
　Ａ．神とは人間という形式系では証明できない定理である。

　人間という形式系を例えばＺＦＣ集合論と仮定するならば。
　神とは連続体仮説のことになる。（TEOTW0004）

　ＺＦＣ集合論（人間）という世界においては連続体仮説（神）は真とも偽とも言い切れない。

　上記の定義を用いるならば、数学者カントールは神を追い求めていたことになる。
　神を追い求めるとはどういうことか、これについてTEOTW0003を使って語ってみよう。

　命題：太陽は東の空から昇り西の空に沈んでいく。

　この命題は私たちの住む地球では真となるが金星に住む人たちにとっては偽になる。
　自転の向きが逆の金星だと太陽は西から昇り東へと沈んでいくから。

　この命題は場所によって真偽が決定する。
　ではこの命題の真偽が決定しないときはどういうときなのだろうか。
　これは２つある。

　�@私がどこに（金星または地球）いるのかが定まっていない。

　もう１つはこれである。

　�A私が太陽にいる。

　太陽の空には太陽はないのだ。
　神を追い求める、それは太陽にいながら太陽を探すことと同じなのである。

補足として書いておくけれども

＞Ｑ．神の定義を述べよ。
＞Ａ．神とは人間という形式系では証明できない定理である。

これはこの時点での定義の１つにすぎない。
話が進めばこれは違ったものになってくる。

Xperia1が気になっている。
Xperia1の興味深いところはアスペクト比21:9の6.5型4Kの有機ELディスプレーってとこ。
こういう縦に長いスマホが欲しかったのだ。
色々と使いやすいと思うのだよね、例えば画面分割したときもみやすそうだし。

ただXperia1にも不安な要素がある。
そのバッテリー容量はなんなのだと。
革新的な節電技術でも組み込まれてるなら別にいいけれども。
こればかりは店頭で触ってわかるものではないし、レビュー待ちするしかない。

カレーを作ってたくさん食べたら頭がまったく働かなくなった。
もちろんジャワカレーである、でも今回は少し失敗した。
今回はレシピを守らずにじゃがいもをいれなかったんだ。
そのせいか味にトゲがあるカレーができてしまった。
やっぱりレシピ通りに作らなければダメだということを再認識できた。

神の存在証明の続きを書こうと考えてたけどできなさそうである。

アインシュタインは髪を伸ばして同じレザージャケットを毎日着ていた。
その理由は、髪を伸ばせば床屋に行く回数を減らせるし同じジャケットを着ることで服を選ぶという時間を節約できるから。

なぜ毎日同じシャツを着るのか？
この質問にマーク・ザッカーバーグはこう答えている。
『僕のすべきことは最高のサービスを提供して多くの人々を繋げることなんだ』と。

スティーブ・ジョブズやバラク・オバマも同じ服を着ることで有名である。
そうなのだ、大きな夢をもっている英雄は毎日同じ服を着るのだ。
よく考えてほしい。
のび太にとっての英雄であるドラえもんが曜日によって赤色や黒色になったらどうだろうか。
おかしいだろう。

というわけでもちろん自分も同じ服を揃えて着ている派なのだ。
ただ最近考えていた、もっとこれを突き詰めることはできないかと。
例えば今は季節ごとにユニフォームが変わるし、雨の日だとレインウェアを羽織ってたりする。

よって革新的な理論を構築してみた。

春・レインウェア＋ヒートテック
夏・レインウェア＋全裸
秋・レインウェア＋ヒートテック
冬・レインウェア＋ヒートテック＋ヒートテック＋ヒートテック

レインウェアとヒートテックで完結できるＲＨ統一理論である。
これなら天候はおろか季節にすら左右されなくなる。
釈迦が目指した涅槃である。

ただ心配なのは夏なのだ、おそらく暑いだろう。
十分な透湿値を維持しながら究極まで薄く軽いレインウェアはないかと検索したらあった。
その重さなんと１４５ｇである！そして薄い！透けてる！
……透けてたらさすがに全裸になれないだろう。

というわけで今はレインウェアの選定作業に入っている。
モンベルのコンバーチブルとか半袖にできるからすごく興味がある。
ただカラーに白系統がないのが。
これ他のメーカーもそれっぽいのだよね、メンズには白とかない。

とりあえず夏辺りに買って試してみるかもしれない。
ただ心配なとこは田舎に住んでるからネットで買うことになること。
試着できないのが怖い。

TEOTW0014：ぼくのかんがえたさいきょうの神の存在証明Ｓ−３

　数学者ヒルベルトは言った。
　存在の定義は無矛盾である、と。
　そして彼は自らが信じる数学の無矛盾性（TEOTW0015）を証明するためのヒルベルトプログラムを立ち上げた。

　ここで舞台をそれより少し過去に移そう。
　数学者カントールが創った集合論はとても魅力的で強力なものだった。
　数学の全てがその言葉で記述してしまえるのだから。
　共通の言語により数学は１つとなった、人類はシンアルの地に再び集うことができたのである。
　けれどもこの集合論には致命的ともいえる問題があった。
　
　包括原理：任意の性質Ｐがあるとき集合｛ｘ：Ｐ（ｘ）｝が存在する。

　性質によって世界を線引きする。
　それは例えば『アダム』という性質があるときアダムと¬アダムという集合が存在することになる。
　集合論の根幹にあるこの原理から多くの矛盾が吹き出したのだ。
　その代表的なものがラッセルのパラドックスである。

　性質：ｘ／∈ｘ　自分自身を要素として含まない集合

　集合Ｄ：＝｛ｘ：ｘ／∈ｘ｝
　Ｄ∈Ｄ　⇔　Ｄ∈｛ｘ：ｘ／∈ｘ｝　⇔　Ｄ／∈Ｄ

　数学者はこの矛盾を回避するために公理的集合論や型理論などをつくった。
　だがある思想家は違った、彼は四句否定を唱え矛盾を越えた場所を目指したのだ。
　その思想家とはTEOTW0006で紹介した仏教の学僧である龍樹である。

　龍樹は縁起の法に一切の制限をかけない立場をとった。
　その結果として彼は他の者たちから批判された、君の理論は矛盾していると。
　だが彼は言った。
　君たちは釈尊の説いた本当の真理である『空』（TEOTW0016）を理解できていない、と。

SurfaceProLTEが届いた。
予定では一ヶ月先だったからLTE契約はまだしてない。

SurfaceProLTEを触ってみて気付いた。
そこにあるのはただのWindowsである。
Windowsは今まで使ってきたものだからなんの目新しさもない。
タブレットモードにしてもWindowsはどこまでいってもWindowsである。

あれ？iPadにしとけばよかったかも？
とかちょっと思ってしまったがSurfaceProLTEを選んだのはWindows用のツールを使うためである。

とりあえずSurfaceArcMouseの造りにちょっとだけ感動した。
ぺったんこなんだけど使うときに曲げる、曲げると勝手に電源が入る。
これ外でドヤ顔するときに便利だなと。

大手キャリアでLTE接続の契約してきたのだが設定しても繋がらね、泣いた。
田舎なせいか窓口の人もわからないって感じで。

とりあえず繋げられるのは間違いないはずだから契約だけしてきたけど。
これマイクロソフトのサポートに電話しても解決できなさそうな予感。

おつかれさまです

LTE接続できない件についてマイクロソフトのサポートに電話した。
衝撃の答えが。

とりあえずauのデータプラン解約して、楽天モバイル（ドコモ回線）に申し込んだ。
auは解約料と事務手数料的なのいれて1万4千円程度の出費に。
本来なら接続確認とれなければ当日中に解約で解約料はとられないんだけど、まさか繋がらないとは思ってなかったから接続確認をきちんとしなかったのだ、閉店間際に行ったし。
泣きたい。

メガネも買わなければだしとりあえずレインウェアはなしにした。
ほしーけど、お金が。

>>45
びっくりしたw

なぜauのデータプランを解約したかといえば。
surfaceLTEはband18未対応なのだ。
そしてこちらが住む地域はband18エリアなのである。
でもこれは事前にわかっていたんだよ。
それなのになぜauで契約したかといえばsurfaceLTEはband26に対応してるから。
ネットで調べた限りではband26に対応してればband18もいけると書いてあった。

サポセンの人いわく。
似たような問い合わせはある。
とりあえずsurfaceLTEはband18対応してないからauは避けるべし、と。

まぁこれは接続確認しないまま契約してしまった自分のミスではある。
ただもし楽天モバイル（ドコモ回線）でも繋がらなかったら泥沼っすなー。

とりあえず今日の晩御飯でも書いておこうか？
豚しゃぶとトマトだったよ。
高級柚子ポン酢が半額だったからね、それを最大限に活かすには豚しゃぶしかないだろうと。
トマトは安かったから箱買いした。

SurfaceProLTEは楽天モバイル（ドコモ回線）で繋がった。
よかったー。

SurfaceProLTEはband26対応なのに結果としてauプラチナ回線（band18）で繋がらなかったわけで。
band26対応ならband18もいけるなんてのは信じないほうがいいかもしれない。
といいたいところだけど、話はそう単純ではないのである。
なぜならau回線で試したときはSurfaceProLTEのドライバとファームウェアを更新してなかったから。

�@auデータプラン解約＋楽天モバイル申込み
�AWIFIで繋いでSurfaceProLTEのドライバとファームウェアを更新
�B楽天モバイルのSIMで接続

だからもしかしたら�Aをやってたらau回線でも繋がってた可能性はあるわけで。
サポからは更新して試してみてとか一言も言われなかったからその可能性は低いだろうけど。

ちなみにVAIO A12だと。
1/2/3/4/5/7/8/12/13/17/18/19/20/21/25/26/28/29/30/38/39/40/41/66に対応してる。
18も26も対応してるみたいなんだよね。
これならauでも普通にいけたはず。
こういう細かいところをしっかりしてるのは日本メーカーらしいな、と。

これからLTE接続用のWindowsタブレットとかを買う人は参考にしてもらいたい。

SurfaceProLTEのレビューは後日に。
今のところ買って良かったと思ってる。

ちなみに今これを書いてるのはスマホから。
部屋にいるときは基本的に寝転がってるし、スマホがいちばん自分に合ってる。
というか掲示板やYouTubeを見たり音楽聴いたりするのはスマホの方が向いてると思う。

さきほどTEOTW0016を書いたけど少し寝かすことにする。

そんなことより近所のセブンでセブンカフェゼリーを見なくなった。
明日は範囲を広げて探そうと思ってる。

何をしても起きないネコ
ダウンロード＆関連動画＞＞

@YouTube



令和一発目の紹介動画はこれで。

最近、ほんとによく寝ている。
ネコがブーイングしてくるくらい。
今日もさっまで寝てた。

そういえば午前中は令和初の戦姫絶唱シンフォギアをしてきたのである。

ダウンロード＆関連動画＞＞

@YouTube



午前中だけで初当たりを軽く３回引きその全てでシンフォギアチャンスに突入した。
ちなみにシンフォギアチャンス突入率は約１／２である。
１２．５%の奇跡である。
輝かしい令和時代の始まりを予感させるものだった。

もちろん継続率約８０%を誇るシンフォギアチャンスを３回ともスルーした。
０．８%の奇跡である。
しかも全て４Ｒの爺の小便出玉だった。
輝かしい令和時代の始まりを予感させるものだった。

眠いなぁ。
昨日買ってきたケーキが手付かずで置いてあるから食べなければいけないのに。
うーん、なんで最近こんなに眠いのか。

昨日、午前中にパチンコ屋にいった。
嫁の響に会うために……ではなくて、シンフォギアの深遠を覗くために。
そしてシンフォギアチャンスをまたスルーしてしまった。
８０%の確変を４連続でスルーする、それは０．１６%の奇跡である。

自分は過去に確変継続率８０%の台で５回連続スルーってのやったことがあるのだ。
ここまできたならシンフォギアでその記録を更新したい、そう思った。
だって伝説の記録の中で響と俺は結ばれるから。永遠に。

そう思って台に語りかけたんだ、周りに運良く客がいなかったし。
これが俺と響の絶唱だあーーー！（控えめに）

……いやー、速攻で全回転シンフォギアチャンス直撃当たりがきたよ。
その確率は１／２００００（初当たりの１%）だ。
しかもそれが一撃１５０００発でてね。
そして帰宅したのが夕方だったんだけどまたすぐ寝てしまった。

ちなみに今日は草刈りやってた。
久しぶりにやるとほんとに疲れる。

ワンタッチ蚊帳を購入した、楽天で。
山に住んでるからムカデ対策として必要なんだよね。
もちろん今も使ってるんだけど、前回ホームセンターで買ったやつにはなんと底がなかったんだ。
商品説明にはちゃんと底がある感じで書かれてたのに。
返品するのも面倒だったからそのまま使ったけど、底はガムテープでガードする感じで。

なんにしてもネコが出入りできるようにするから、完全に防げるわけじゃないという。
だから二年に一度くらいはムカデと遭遇する。
これがめちゃくちゃ怖いのだよ。
ちなみに凍結系のスプレーはめっちゃ使える。
一瞬で凍らせるし。

TEOTW0016：暁の明星

　ここで序章で幾つか並べておいたパズルのピースを合わせてみよう。

　TEOTW0001：空　TEOTW0008：０

　これはインドではどちらも『シューニャ』と呼ばれている。
　仏教の空と数学の０は同じものなのだ。

　私たちはこの数としての０を『何もない』という意味で捉えている。
　例えばテーブルの上に２つのリンゴがありそこから２つのリンゴを取ったとする。
　２−２＝０
　だからテーブルの上には何もない。

　ではそもそも何もないということはどういうことなのだろうか。
　これについては数学の世界を覗けば１つの答えを得られるであろう。
　だがそれを記すには余白が狭い、よって序章を利用するかたちで少しだけ触れることにする。

　０の性質として面白いものはTEOTW0011の自然数の生成に現れている。（TEOTW0017）
　これは私たちの認識というものの本質に絡んだ話になってくる。

　TEOTW0002のゼノンのパラドックスの背景にもこれがある。
　０を使えば有限（無限）から無限（有限）の答えを得ることができる。
　例えば有限の線のなかに無限の点を広げることが可能だ。
　ゼノンは有限から切り出した無限という世界を巧みに利用したが、視点を変えればその無限の母体は有限だったとも言えるのである。

　なにはともあれ無限も有限もこの世界のあらゆる現象も騙し絵に過ぎない。
　この世界の真実はシューニャであり、それは今このときも君の目の前にあって太陽よりも鮮烈に輝いている、騙し絵というベールの先で。

　シューニャは眩い輝きを呼吸（TEOTW0019）している。
　それはとてもダイナミックで圧倒的なまでに美しいものだ。
　なぜならこの果てしない宇宙というものが湧き出る源泉であるのだから。

　釈迦の悟りも、そして全ての命が還る場所もその輝きの奥にある。
　それを私はこう名付ける『神』（暁の明星）と。

|ω･)ﾁﾗ

俺は男だが、はじめてチンポなめてもいいと思った、心の底から。

ダウンロード＆関連動画＞＞

@YouTube



というのは半分冗談だけど。
涼しげで愁いのある目元と、あと浜風が似合うのがいい。
とても絵になる。

釈迦と共に歩いた阿難はこんな感じだったのかもしれない。

TEOTW0018：素粒子という名の空集合

　自動人形は認識する。
　『水』がある、それは『水素』と『酸素』が２：１で集まったものである。
　『水素』がある、それは『陽子』と『電子』が１：１で集まったものである。
　『陽子』がある、それは『アップクォーク』と『ダウンクォーク』が２：１で集まったものである。

　自動人形は思考する。
　この認識というシステムを１つの単純なモデルに置き換えてみよう、と
　自分は『何かしらの集まり』に対して名前をつけてそれを認識の対象としているといえる。
　この集合という概念を使って単純な世界Ｘを構築してみる。

　【世界Ｘ】物質と非物質から構成される。
　【物質】要素が集まったもの。認識の対象となる。
　【非物質】要素が集まっていないもの。認識の対象とならない。
　【認識】目という感覚器で捉えられるもの。

　自動人形は次にこの世界Ｘの図鑑を作ることにしたがそこで困ったことが起きた。
　『水』は『アップクォーク』と『ダウンクォーク』と『電子』が２：１：１で集まったものである。

　Ｑ．では『電子』とは何が集まったものだろうか？

　自動人形は考えた、このまま続けてもそれは無限後退に陥る。
　仮に電子とはＸが集まったものだと仮定するならば、次はそのＸは何から構成されるのかという問いが生まれてくるからだ。
　だからこう定義するほかない。

　Ａ．『電子』とは非物質である。それを素粒子と名付ける。

　こうして自動人形は図鑑を作成した。
　やがて世界Ｘには色鮮やかな命たちが芽吹いた。

　上記の世界Ｘにおいては。
　物質は非物質から構成されている。
　そしてその非物質の正体はこれである。

　｛　｝

　世界Ｘにおける素粒子という概念の本質は０（空集合）なのである。

あー>>61の動画はまずかったかな。
という訳でこちらを。

ダウンロード＆関連動画＞＞

@YouTube

ａｕからお便りが届いた。
Ｘｐｅｒｉａ１に機種変更するときに使えるクーポンが入っていた。
ドキドキしながら内容を確認した。

条　件　を　満　た　せ　ば　５　千　円　割　引　！

……っ？
確か１１万くらいだよねこれ。
いやいやいや、そこは３万くらいいっとこうよ。
アップグレードプログラムとかあるけどレンタルしてるみたいなノリで気持ち悪いし。
というか１０年以上ａｕ使ってるんだから半額クーポンくらい送ってくれてもバチは当たらないと思うのだ。
今月は例の解約料（１万４千円）含めて２万３千円近い請求きてるのに。

Ｘｐｅｒｉａ１はとても良いんだけどバッテリー容量が気に入らないんだよね、４０００にできなかったのかと。
というわけで。
今使ってるＸｐｅｒｉａＸＺはまだバッテリー状態も良好だし残念ながらＸｐｅｒｉａ１はスルーです。

近所のファミリーマートが新型コーヒーマシンを導入してた。
アイスカフェラテが本当に美味しくなった、見た目からしていい。
新型マシンのはオススメである。

それはそうと。
春アニメのこれである。

消滅都市
ダウンロード＆関連動画＞＞

@YouTube



懐かしい曲だなー、と。
映画の内容は忘れちゃったけど。

現在、株の真理を探求している。
かなり昔にやってたことがあるんだけど。
今回はその時とは違い短期売買でいこうと考えてて。
とりあえず手法構築のため株シミュレーションをやっている。
ちなみに4月から10,000,000でスタートして現時点の資産は9,713,832。
約30万ほど減らしてる。
幸いなことに自分の手法には問題点がたくさんあるから改善はできる。

だが……異世界漫画にまたハマっている。

神の存在証明については次はちょっとまとまった量を投稿することになるかもしれない。

ちなみに上記の対角線論法は『コンピュータは数学者になれるのか』に書かれていたものを参考にして書いている。
対角線論法の説明は自然数と実数を比較する形で行われるものが多いように思えるけど。
自分はこちらのほうがより良いと判断した。

ぼくのかんがえたさいきょうの『神』の存在証明。
この神の存在証明を記述するにあたってまず最初に明らかにしなければならないのはこれである。

Ｑ．『神』とはどう定義すべきなのか？

自分はこれを２つのステップを踏んで明らかにする予定である。
その１つめのステップでは『人間の思考』という世界をクローズアップする。
我々の思考をある種の形式系に置き換えて『神の概念』をある種の論理式として記述してしまうのだ。
よってこのステップでは論理学を利用する。
なのでおそらくこれから論理学の基礎を書いていくかもしれない。
TEOTW0005みたいな話ね。
ただこれは長文になるし、自分もまとめきれてないところがあるから少し手間取る。

私の理論が描き出す世界では。
ある神様は『ある場所』へと向かっているんだ。
その軌跡がこのある宇宙というわけで。
このある宇宙に存在するたくさんのある命たちやそれらが描き出す物語は、神様が『ある場所』へと還るために必要なものなのだ。

つまりは。
εもんすてらがこんなことを書いているのも。
そして君がこの書き込みをみているのも。
全ては必要なことだったというわけなのさ。

ダウンロード＆関連動画＞＞

@YouTube



コメント欄が笑える、おっぱいの話しかしてなくて。

いきなりこんなおっぱい動画をもってきて何が言いたいのかといえば。
私にもわからない。
でもこの書き込みもきっとこの世界にとっては必要なものだったのだよ。
君や私、そして神様があるべき場所へと還るために。

なんでこんな独り言を書いているのか。
それはこの世界の真理について思索しているとき楽しい気持ちになれるから。
思索っていうのは積み木遊びだからね。

生きていれば辛いこともあるし悩むこともある。
でもこの積み木遊びをしてるときはそれらがなくなる。
そこにあるのは童心だけなのだから。

おっぱいを眺めているときもこれに似ている。
おっぱいを凝視しているそのとき、そこには辛さや悩みはないからね。
そしてそこにあるのは童心である。

そう考えると。
『おっぱいする』と『哲学する』は同値だ。
だから何も恥じることもない、堂々と私は私の意見を訴えたい。

ダウンロード＆関連動画＞＞

@YouTube



このおっぱい、素晴らしいねえ。

　TEOTW0025：ぼくのかんがえたさいきょうの神の存在証明Ａ−１

　ぼくのかんがえたさいきょうの『神の存在証明』。
　それを記述するにあたって明らかにしなければならないものがある。

　Ｑ．『神』とはどう定義すべきなのか？

　これについて、これから２つのステップを踏んで明らかにしようと思う。

　その１つめのステップでは『人間の思考』というものをクローズアップする。
　我々の思考をある種の形式系に置き換えて『神という概念』をある種の論理式として記述するという試みを行う。
　よってステップ１では論理学を利用する。
　これから始まるＬ章ではTEOTW0005のような論理学の話を展開することになるだろう。

　また２つめのステップでは世界を再構築する抽象化という作業を行う。
　抽象化とは『ある特定の要素』に着目してそれのみをもって世界を組み立てるというものである。
　抽象化は物事の本質を浮き彫りにするのにとても使えるものになる。（TEOTW0026）
　これについての話はこのＡ章で記述することにする。

　これでＳとＩとＬとＡの章が並行して同時に展開されることになる。
　これは創造するための破壊というものになる。
　脳に新しき宇宙を誕生させる。
　そのためには脳に大洪水を起こさなければならない、そこで繁茂するあらゆる構造物を全て根絶やしにするために。

　TEOTW0026：ケーニヒスベルクの橋渡り１

　かつてケーニヒスベルクと呼ばれた場所があった。
　１２５５年にプレーゲル川河口にドイツ騎士団によって建設されたドイツ騎士団国の首都である。
　そこで生涯を過ごした哲学者イマヌエル・カントにはこんな逸話がある。
　彼は規則正しい生活を送り決まった時間に散歩していたため、町の人々は彼の姿をみて時計を合わせていたという。
　
　この土地はもう一人の偉大な人物と縁がある。
　カール・フリードリヒ・ガウスと並ぶ数学界の巨人と呼ばれているレオンハルト・オイラーだ。

　ケーニヒスベルクを流れるプレーゲル川の中には島があり７つの橋が架かっていた。

　《ケーニヒスベルクの橋渡りの問題１》
　ケーニヒスベルクの７つの橋をそれぞれ一度だけ渡ってもとに戻ってくる散歩コースは存在するか。

　結論をいうならそのような経路は存在しない。
　それを確認するためにローラー作戦であらゆる組み合わせを試してみる、という方法もとれるが。
　もしこの橋や島の数が倍あったとしたらどうだろうか。
　その作業はより困難なものになる。

　オイラーはそのような経路は存在しないことを抽象化を利用して数学で証明したわけである。
　では彼は具体的にどのような考え方と方法を用いてそれを証明したのか。
　彼は『つながり』というものに着目しそれを土台にして世界を再構築したのだ。

論理を扱うＬ章を書こうと思ってたけど他のことに時間をとられて。
よって何も書いていない。
というかゲームとアニメにハマっている。

Ｌ（論理）章はゲーデルやゲンツェンが理解できるところまでを目標にしているのだけど。
自分も理解できているわけではないのだ。
というかゲンツェンの自然数論の無矛盾性の証明とか全く目を通していない。
不完全性定理すらもしっかり読めてないから。
よって自分も勉強する感じで書いていくだろうからＬ章は長いものになるはず。
例えば形式体系（推論を展開する基礎）を１から組み立てるところからやるはずだから。

わざわざこういうところを丁寧にやる理由についてだが。
ぼくのかんがえたさいきょうの神の存在証明で描かれる宇宙モデルは常軌を逸したものになる。
だからしっかりとした足場を示しておかないと理解が難しいと。
ではその足場に何を持ってくるか。
色々と考えた結果、超数学が適しているのではなかろうかと。

というわけでゲームの世界に転生してきます。

　TEOTW0030：ぼくのかんがえたさいきょうの神の存在証明Ｌ−１

　万物の始原は数である。
　これは古代ギリシャで生きた偉大な哲学者ピタゴラスの言葉である。
　彼は哲学（知恵を愛する）という言葉を産み出し、比率をもって世界というものを構築した。
　彼の奏でる数学的比例関係に支配された宇宙には揺るぎない秩序があった。
　心地よい音も全ては数の比で表されている。

　不死の魂が輪廻転生を繰り返す。
　その循環から逃れ不死（永遠）に到達するためには数を研究し宇宙の秩序を理解しなければならない。
　そんな思想をもった彼の名前がついた定理がある。

　《ピタゴラスの定理》
　直角三角形において斜辺の長さをｃ他の２辺をａとｂとするとき次の等式が成り立つ。
　ａ＾２＋ｂ＾２＝ｃ＾２

　彼が創設した宗教結社ピタゴラス教団は歴史の中で崩壊したが。
　この定理は今日まで残っている。
　その理由は数学においては正しいと認められた定理は覆ることはないからだ。
　数学で証明された定理は永遠に真実のままなのである。
　だからこの定理は２５００年前に発見されたとても古いものであるにもかかわらず現代日本でも前期中等教育で習うことになる。
　もちろん今から３０００年後の世界に生きる幼子たちもピタゴラスの定理を学ぶことになるだろう。
　そのときまで人類と呼ばれるものが生き残っていれば、という条件がつくが。

　自然科学などではパラダイムシフトが起こる。
　例えば地動説や進化論、相対性理論など。
　昔は人は宇宙についてこう考えそれを正しいとしていた。
　地球は宇宙の中心で静止し諸天体がその周りを動いている、と。

　数学で証明された定理はそれらとは違い永遠に正しい。
　それはなぜなのか。
　これから始まる論理学がテーマとなるＬ章が進めばその答えはみえてくるだろう。
　そして『思考』の本質も浮き彫りになってくるはすだ。
　私たちは私たちの思考の本質について知らなければならない。
　なぜなら『神』は人間の思考のなかに存在しているともいえるのだから。

　TEOTW0031：ぼくのかんがえたさいきょうの神の存在証明Ｌ−２

　�@ソクラテスは人である。
　�A人は死ぬ。
　�Bよってソクラテスは死ぬ。

　�@と�Aという前提から�Bという結論を導く。
　推論と呼ばれるこれは普遍的なものである。
　話す言葉や肌の色、そして国境はもちろん時代にさえ左右されない。
　あらゆる人間がその行為を行っている。

　この推論というものにはある一定の決まったルールがある。
　例えば大多数の人間は�@と�Aの前提から『ソクラテスは死なない 』と結論しないだろう。
　それは何故かと言えば。

　�@Ｐ　⇒　Ｑ
　�AＱ　⇒　Ｒ
　──────
　�BＰ　⇒　Ｒ

　上記の三段論法という推論規則を私たちの多くが採用しているから。
　なぜこの推論規則を私たちが採用しているのかについては命というものの本質に触れる話になる。
　これについてはＬ章が進めば明らかになるだろうからここでは記述しない。
　
　ここで注目してもらいたいのは。
　私たちの推論（思考）というものは組み立てブロック玩具で遊ぶことに似ているということだ。
　�@と�Aというブロックを組み合わせて�Bという新しいブロックを生み出す。
　推論とはブロックを組み合わせ新しいブロックを作る操作のことと言っていい。

　この辺りのことを少し変わった世界を使ってもっと詳しくみてみよう。（TEOTW0032）

もっと可愛らしいの貼ってくれないかw

うん、暑い季節だ。
冬生まれだからこれからの日々は苦手である。
体調も少し崩している。
そしてなかなか片付かない問題も抱えている。
だから最近の夜はただぼけーっとYouTubeをみている。

Ｌ章はちょっとだけ続きを書いたが書き直す予定である。
こういうのは構成をしっかり練らないとダメだなと。

というわけでYouTubeに転生してきます。

ごきげんよう。
こちらが顔を出さないから寂しかったかな？

いやね、今はそのアスキーアートの状態なんだ。
とりあえずなかなか金の問題が片付かない、詳細は伏せるけど。
それなりの額が動いてるからほんとうに悩ましい。

というわけでここしばらくの夜はYouTubeをボーッとみてる。
どうせ美少女動画でもみてるんだろ、と思われそうだが。
こちらが見てるのはおっさん系動画だ。

おかずとしては少々物足りないチャーハン
ダウンロード＆関連動画＞＞

@YouTube



おっさんがただ飯を食ってるだけの動画を見るのは完全なる人生の無駄なんだが。
その無駄が今は愛しい。

あとバーチャルユーチューバーなんて絶対に見ないと思ってたが。
キズナアイは面白いと思た。

世界各国の料理を写真だけを頼りになんとなくつくる、なんとなクッキング
ダウンロード＆関連動画＞＞

@YouTube

ようやく金の問題の見通しがたってきた。
泥沼回避のため株投資にあてる予定の金までいってしもた。
しかもまだ全て片付いたわけでもなく。
というわけで現実逃避のアニメレビューをすることにする。

『学園黙示録 HIGHSCHOOL OF THE DEAD』

典型的なゾンビパニックもので、大混乱に陥った世界で生き抜こうとする高校生たちの物語。

マトリックスおっぱい
ダウンロード＆関連動画＞＞

@YouTube



この動画、いやこの爆発的な宇宙をみてほしい。
おっぱいとは何か？
この作品はその根元的な問いを真っ正直から股間に突き刺してくる。

この作品においては世界や物語はおっぱいをひきたたせるためのギミックに過ぎない。
ゾンビも崩壊していく社会もそこで噴出する主人公たちの魂の叫びも、おっぱいを揺らすために存在しているに過ぎない。
それくらいに、清々しいほどにおっぱいである。

あとこの作品にはもう１つの見所がある。
それはメインヒロイン宮本麗の糞ビッチぶりである。
第一話では主人公がゴミを見る眼差しを宮本麗に向ける場面があるが、きっと君もそのとき彼と同じ目をしているだろう。

金の問題がまた一寸先は闇になってしまった。
想定外のありえない新たな問題が生じて。
新たな問題について、お世話になってる司法書士さんは大丈夫『だろう』とは言ってるけど。

これでちゃぶ台かえし２回目だよ。
しかも今回のは本当にもうありえない。
自分は緻密にプランを練るほうなんだ、だからこそいわゆるちゃぶ台かえしが起こると裏目にでてしまう。
策士策に溺れるである。

とりあえず。
ここまでくると世界が自分を殺しにかかってるとしかおもえない。

というわけで現実逃避が加速する。
昨日は深夜二時まで起きててメイドインアビスみてたし。
一昨日も深夜二時まで起きててソードアートオンラインみてたし。
今日もこれからぶっ通しで何か見る予定である。

ブラッククローバーが面白すぎてアニメ９０話を全てみてしまった。
これジャンプに掲載中の典型的な少年漫画物語なんだけど。
全ての人間が魔法を使える魔力至上主義の世界で魔力を全く持たずに生まれてきてしまった主人公がアンチ魔法の剣で世界の頂点である魔法帝を目指すってもの。

諦めること諦めて世界を完全味方に
ダウンロード＆関連動画＞＞

@YouTube



実は神の存在証明（宇宙の構造）を記述することは諦めてたんだ。
このスレッドを立てるずっと前から。
自分の辿り着いた理論では輪廻転生は存在する。
だから神の存在証明の記述は次の自分に託すと、それでいいと。

でも今は違う。
諦めることはもう諦める。
この人生で必ず成してみせる。
この手で神の存在を証明して。
そして、銀髪の可愛らしいヒロインと永遠に結ばれるのだっー！

というわけでとりあえずアニメに行きます。

最近、書き込みをあまりしていなかったのは貪るようにアニメを見ていたからである。
ちなみに今はFAIRY TAIL（277話）の世界に入り込んでいる。
それはただの現実逃避だと確信していたのだがどうやらそれは違っていた。
自分は確かに逃げていた。
だが現実を背にして走るのではなく、その逆だった。
現実を突き破る前ダッシュ（前向きな現実逃避）をしていたのだ。
ガーハッハッハッ。(´・ω・`)
どういう理屈でその現実逃避を前向きなものだと断定したのか、その説明は省略する。
ガーハッハッハッ。(´・ω・`)

ごめん暑さでどうにかなってる。
底辺労働者で暑い環境で仕事してるから夜は死んでいるのだ。
神の存在証明を書くどころか本を読む気力すらもない。
でも書き込みを数ヶ月しないのはさすがにマズイと。
だから頑張って神の存在証明の続きを書いてみた。
ただ、なんか、とっちらかってる気がする。

とりあえず。
こんな自分でもいまだにしぶとく生き残っている。
そして君たちもいまだにしぶとく生き残っている。
しぶとく生き残っているという一点においては、仲間なのだ。
手を取り合って走り抜けていこうではないか！
このどうしようもなく糞暑い世界を！(´・ω・`)

　TEOTW0033：ミュー語の世界２

　『私は人である、人はいずれ死ぬ、ゆえに私は死ぬことはない』

　なぜ私たちはこのような推論を正しくないとするのか。
　それを論じるためにはこのＬ章をさらに歩まなくてはならない。

　まずは推論そのものについての話を進めよう。
　推論とは何かを組み合わせて新しいものを作るということである。
　この言葉を調べるととても難しそうな言葉が並ぶが、その本質は子供が組み立てブロック玩具で遊ぶことと同じである。
　○と△をくっつけて○△というブロックを作る。
　これだけなのだ。
　これをもっと数学寄りの言葉に置き換えるならばそれは『形式化された記号操作』となる。

　論理学はアリストテレスの時代から二千年間放置されてきた。
　けれども肥大化する世界はそれを許さず近代の数学者に迫った。
　論理とは、証明とは、正しさとは、数学とはそもそも何かを明らかにせよと。
　近代の数学者たちはその要請に応えるためにあることを行った。
　
　『私は人である、人はいずれ死ぬ、ゆえに私は死ぬことはない』

　この文から『意味』を完全に消してしまったのだ。

　『１２３４５６７３２８９ＡＢＣ７ＤＥＦ１２ＢＣＧＨ２Ｉ８』

　記号の羅列、意味が喪失した正しさ（真偽）のない世界。

　数学者が論理を利用しある定理の証明を記述する。
　それも操作された記号の羅列に過ぎない。

　近代の数学者はこの『意味の喪失した世界』（構文論）を使って明らかにしようとしたのである。
　数学を、私たちの思考の本質を。
　

いちおう書いておく。
Ｌ章については今のところ基本的に小島寛之さんの数学本を参考にして書いている。

auのスマホを使ってるのだけど５ちゃんねるに接続できなくなっててびっくりした。
とりあえずDNSを変更してみたらこのように繋がったけれども。

５ちゃんに接続できない、かつ、猛暑というやる気が全く起きない過酷な状況で。
３日連続で神の存在証明を書いた。
だがその内容はどうだろうか。
はっきりいえばそこには『投げやり感』が満ちている。
例えば命題論理の説明もすっ飛ばしていきなり健全性だ。
おそらくついてきていた数少ない読者もここで遭難するだろう。

だがそんなことはもはやどうでもいい。
生きるべきか死ぬべきか、それが問題なのだから。(´・ω・`)

数学本を参考にしてると書いてるが。
例えば健全性の説明とかも全てオリジナルなのだよね。
つまりはその解釈で本当にいいのか怪しいところがあるんだ。

だがそんなことはもはやどうでもいい。
生きるべきか死ぬべきか、それが問題なのだから。(´・ω・`)

ちなみに数学本とかでは例えば健全性はこのように書かれてる。

《自然演繹の健全性定理》
解消されない仮定なしに演繹される論理式はトートロジーである。

細かいとこ気にしなければ自分の言ってることと同じだと思う。
と思いたい。

とりあえずすっ飛ばした命題論理の話をこれからしていく予定なんだけど。
このままauが5ちゃんに繋がらない状況が続くようなら他の掲示板に移住するかもしれない。

ブラッククローバに続いてFAIRY TAILというアニメを見ている。
どちらも少年漫画系である。
努力して仲間と共に勝利を勝ち取る。
根底にそのような言葉が並ぶとても暑苦しい物語だ。

自分は12月に生まれた。
人々が幸せに浮き足立つ良い季節だともいえるが。
幸せという輝きは濃い影を生み出す。
自分が見た原風景は冬の空のような澄みきったその深い影である。

怠惰と孤独と敗北。
自分の人生を彩る言葉を3つ挙げるとするならそれらだ。
だから輝きに満ちた少年漫画は嫌いだった。
その圧倒的な輝きは自分という影をもっと深い色に変えるから。

そんな自分がなぜ今はその少年漫画という輝きを見続けているのか。
ある伝説の勇者がいったんだ。
友達は愛と勇気だけだと。
その言葉を聞いて気付いたんだよ。
怠惰と孤独と敗北は人生を共に歩んできた仲間だったことに。
そして、影があるからこそこの世界に輝きがあることに。

自分はもはや怠惰も孤独も敗北もそして三日坊主も恐れない、仲間なのだから。
そしてその仲間たちと共にこの世界に宣戦布告する。
この世界をもっと輝きに満ちた世界にしてやる、と。
神の存在証明の連続投稿をあえて三日でやめてやる、と。
全身全霊をかけて敗北してみせる、この世界の輝きを守るために、仲間たちと共に三日坊主を成し遂げてみせる！(´・ω・`)

ダウンロード＆関連動画＞＞

@YouTube

　TEOTW0037：ぼくのかんがえたさいきょうの神の存在証明Ｌ−４

　この世界には健全な推論システムもあれば健全でないものもある。
　健全とはこれまで述べてきたように、推論されたものは全て正しい（推論される命題は全て真の値をとる）という性質である。

　では私たちが日常的に行っている推論は健全なのかそうではないのか。
　答えを言ってしまえば、私たちの大多数は推論を働かせるとき健全であろうとする。
　なぜなら健全でなければ推論したものが信じられなくなるからだ。

　�@私は人である　�A人は死ぬ
　─────────────（推論規則Ｙ）
　�B私は死ぬ

　健全でなければ推論よって導いた�Bの命題が正しいのかそうでないのかがわからない。
　私がいずれ死ぬのかどうかわからないということになる。

　では私たちはどのようにして健全性を手に入れているのだろうか。
　その答えは推論規則にある。
　例えば私たちが活用している三段論法は前提が正しければ結論も正しくなるという推論規則だ。
　つまりは前提（公理）が正しく、かつ、この推論規則のみを使用している限りにおいては正しくない結論が推論されることは永遠にない。
　私たちはこのように推論に使う推論規則を限定することによって健全性を保とうとしている。
　利用する推論規則は『前提が正しければ必ず正しい結論を導く』というものを使う、と。

　Ｐ
　Ｐ⇒Ｑ
　─────（モーダスポネンス）
　Ｑ

　これは健全性を保てる基礎的な推論規則になる。
　命題Ｐと命題Ｐ⇒Ｑという前提を正しいとするとき命題Ｑは必ず正しくなる。（TEOTW0037）
　なぜならＰ⇒Ｑが真でＰが真のときＱは偽の値をとらないから。
　だから命題Ｑという結論を導いても健全性は保たれる。
　三段論法もこのモーダスポネンスを組み合わせて作ることができる。

天気予報に死刑宣告されたわけであるが。
台風の影響で危険な猛暑が到来するとのことだ。

気候変動で近年の夏の暑さがとても厳しい状況になっている。
そろそろ男の透け乳首も市民権を得てもよいのではなかろうか。
セクハラとか言ってる場合じゃないのだよ、これは命の問題だからだ。

ダウンロード＆関連動画＞＞

@YouTube



こういう曲が似合う異世界に飛んでいきたい。
そこは透け乳首も笑っていられる愉快で自由な場所なのだ。

宣伝ですみません

真理を発見しました (哲学系)

パブー　http://p.booklog.jp/book/106489
Kobo　https://books.rakuten.co.jp/rk/ff30d530b2cc328d82990efdb7a86452/

無料の電子書籍です！
まだ不完全なものですが よければどうぞ！
（まぁまぁ好評です）

辺境のチラ裏へようこそ。( ´・ω・`)_且~~

哲学か。
哲学についてこんな話を聞いたことがある。
哲学の講義中に教授が『私がいまここにいないと思う人は挙手して』と言ったら半数ほどが手をあげたらしい。
自分がその教授だったらその瞬間にパンツ一丁になっただろう。
とにかく哲学は人をダメにするのだ。
自分が哲学と文学と貧乳をこよなく嫌う理由がこれになる。

というわけで自分は哲学のことを今まで無視してきたのだが。
とある理由から大嫌いな哲学の本も読むことにしたのである。
とりあえずサンデルの『これからの正義の話をしよう』を買った。

これからの正義の話をしよう。
学生時代はこういう感じの台詞を真顔で言えてたのだけどね。
芸術なんかを酒の肴に仲間たちと夜通し飲み明かしたものである。
ん？　このスレッドでやってることも似たようなものか。
たいして変わってないのだな……いやよく考えたら厨二病がより進行している。(´・ω・`)

話を戻す。
自分がなぜ避けてきた哲学という世界に足を踏み入れようとしているのか。
それは……またの機会に話すかもしれない。

>>108
お茶どうもありがとう
「哲学系」と添えているのは オウムの残党と間違われたくないだけなんです
実は哲学はアウェイです

それじゃあ、失礼します

>>112
「失礼します」じゃなくて「失礼しました」でしたね
m(_ _)m

＞お茶どうもありがとう

おそまつさまでした。

このスレッドは未開の森の深い場所にある湖のほとりのようなもの。
真理を探求する人々がときおりたどり着いて。
一休みとばかりに腰を下ろし景色を眺めながらキャンバスに真理という絵を描いていく。
ひとりごとを呟くように。

自分はこのほとりに住んでいる画家のようなもの。
そこから見える空をただただ描き続けている。
空は女心のようにその姿を目まぐるし変えていく。
だから自分の筆も止むことがない。
けれども確信している、この筆はいずれ止まるときがくると。
そしてそれは自らの命の終わりによってもたらされるものではない。

そんな寝言を呟く自分の近くに１つの絵画が置かれている。
木の根もとに立て掛けられたそれに描かれているものは真理のピラミッド。
それはこのほとりに誰かが残していったもの。
いずれここを訪れる探求者たちがそれを目にしていくだろう。

FAIRY TAIL323話までようやく視聴したわけだが。
もちろんサンデルのこれからの正義本は全く読んでいない。
他にも哲学本も買ったような曖昧な記憶があるが忘却の彼方である。

もちろん神の存在証明は書き留めてある。
TEOTW0044の完全性�@まで。
このTEOTW0044はなかなか深遠なところまで話を広げてある、とても面白いテーマを入れたのだ。
今日、投稿しようかと思ったけどなんとなくそういう気分ではないのでまた後日に。

ちなみにこの神の存在証明は論文や参考書の類いではない。
よって書かれている内容が正しいとは限らないので注意するように。
なぜなら自分は妖怪・知ったかぶりだから。
もちろん知ったかぶりを演じるために影では努力している、数学板で媚びへつらい確認したり。

自分は本当は大嫌いで苦手なのだ、数学も哲学も文学も貧乳も。
数学用語をWikipediaで検索するといつも確かめる、これは日本語のページなのだろうかと。
何が書かれているのか理解できないのだ。
それでもなぜそれらに立ち向かうのか。

自分は英雄症候群を患っているのである。
けれども小さなヒーローにすらなれないと自覚もしている。
そんな自分にとってヒーローの傍らで晴れやかに笑うヒロインはまさに伝説の存在である。
絶対に手が届かないものなのだ。

そして真理も自分にとっては絶対に手が届かないものなのである。
そう、似ているのである。
自分にとっては真理は、微笑むナイスバディの可愛いらしいヒロインなのである。

TEOTW0044：ぼくのかんがえたさいきょうの神の存在証明Ｌ−５

　この世界において正しいとされることは必ず証明できる。
　人類はそう信じているしそうであってほしいと願っている。
　例えば神が本当に存在しているならば何かしらの手段を用いて必ずその存在を証明することができる、と。

　正しいこと（真だと解釈できる論理式）は必ず証明できる。
　そういう性質のことを『完全性』という。

　ではこの真だと解釈できる論理式とはどういうものだろうか？

　命題：太陽は東の空から昇り西の空に沈んでいく。

　この命題の真偽はどの世界でそれを考えるかによって左右される。
　地球ならばその通りに観測されるから真だと解釈される、だが金星ならば偽だと解釈される。
　地球という可能世界においてはこれは真だと解釈できる命題（論理式）ということになる。
　
　何かしらの可能世界（解釈するモデル）を設定したとき、その世界において真だと解釈できる論理式は全て推論できる推論システムのことを完全な推論システムという。（TEOTW0045）

　ではここで考えて見よう。
　ここに何もない空間がある、空や太陽はもちろん色すらもない。
　そのような何もない世界で真だと解釈できる命題（論理式）は存在するのだろうか？
　それは存在するのである。

　命題Ｉ：私は存在する。

　何もない世界なのだから私すらもない。
　だから命題Ｉは少なくとも真だと解釈できる命題とはなりえない、でもそのようなことは気にすることはないのである。
　これを論理記号を使いこう結合する。

　Ｉ⇒Ｉ（私は存在する、ならば、私は存在する）　⇔　⊥⇒⊥

　これはTEOTW0040で記述したトートロジーと呼ばれるものだ。
　私が存在していなくても『結合』することにより、証明図という真なる世界において私は具現化するのである。

後書き。

この神の存在証明はフィクションです。
登場する『数学』・人物・団体・名称等は架空であり実在のものとは関係ありません。

そろそろツッコミが入りそうな雰囲気があるのでとりあえず言っておこう。
これはあくまでも『ぼくのかんがえたさいきょうのすうがく』なのであると。
卑怯だぞ！と罵られそうだが、残念ながら卑怯と知ったかぶりは自分の親友なのである。

【知ったかぶり】
ある物事についてそれ程詳しく知っている訳でもないのに、全てを理解して知り尽くしているというような態度をとること。

知ったかぶりは高度なマインドスポーツであるといえる。
このスポーツをプレイするときに重要となる３つのポイントを紹介しよう。

・クリエイティブであること。
・躊躇せず大胆であること。
・最後まで自分を信じ真実に負けないこと。

正直に言うが自分は聖書も仏教の経典も殆ど読んだことはないのである。
これを知ったうえでこの神の存在証明をみるとなかなか壮観だろう。

ちなみに。
このＬ章は小島寛之さんの数学本の他に前原昭二『記号論理入門』日本評論社も参考にしてる。

ヌケサク

ヌケサク

日本は呪われてる
真敵・職人気質が格差の根元である。
職人、職人気質が格差をつくり、イジメを生み、犯罪を生み、戦争を生み、地域振興を阻害し、治安が悪化し国力が低下する。
職人気質を廃してこそ日本は平和かつ生産的かつクリエイティブな国家になれるのだ
職人気質は存在自体がパワハラです。緊急事態です。

職人気質は悪しき文化
http://2chb.net/r/rail/1573270987/755

dpx