【・ω・∩】チラシのうら的な真理探求スレッド＠心と宗教板【しんしょう♪】

1 ：& ：2019/04/14(日) 19:55:59.10 ID:sN80CIc0.net

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

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

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

2 ：ゆぐどらしる ：2019/04/14(日) 19:58:18.93 ID:sN80CIc0.net

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

3 ：εもんすてら：2019/04/14(日) 20:17:09.94 ID:sN80CIc0.net

神って本当にいるの？

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

4 ：神も仏も名無しさん：2019/04/14(日) 20:17:36.21 ID:17OvOmyL.net

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

5 ：εもんすてら ：2019/04/14(日) 20:46:23.56 ID:sN80CIc0.net

( ´･ω･`)_且

6 ：神も仏も名無しさん：2019/04/14(日) 21:10:24.19 ID:AwUzOSTP.net

https://i.imgur.com/huNQvZK.jpg

7 ：εもんすてら ：2019/04/14(日) 21:31:52.80 ID:sN80CIc0.net

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

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

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

8 ：εもんすてら ：2019/04/14(日) 21:55:06.44 ID:sN80CIc0.net

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

　　　神が存在することを証明する。
　　　その積み木遊びに入る前に。
　　　テーブルの上に２つのパズルのピースを並べておく。
　　　神に会うまでの道中で退屈しないように。

　　　　　　　　　　　§神

　　　ユダヤ教の聖書を虚構だと嘲笑する者たちも。　
　　　今このときも自らの手でバベルの塔を造り続けている。
　　　死という崩壊に向かって人生という煉瓦を一つ一つ積み上げて。
　　　彼らもまた神話で描かれるニムロデなのだ。

Ｑ１．キリスト教におけるこの世界の真理とは。
　　　神とはなにか？

　　　　　　　　　　　§空

　　　菩提樹を取り巻きながら己の尾を咬む蛇は嗤う。
　　　現象とはトロンプ・ルイユであり。
　　　真実という絵はこの瞳では捉えられない。
　　　これは君という存在の証明能力の問題なのだ、と。

Ｑ２．仏教におけるこの世界の真理とは。
　　　空とはなにか？

9 ：εもんすてら ：2019/04/14(日) 21:56:14.63 ID:sN80CIc0.net

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

　真理である神に到達するためには。
　私たちを覆っている大空という籠から飛び立つ必要がある。
　この大空という籠について有名なパラドックスを起点として書き綴ってみよう。

　エレアのゼノンは言った。
　この世界で最も遅い者ですら最も速い者によって追いつかれないであろう。
　なぜなら追いかける者は逃げる者がいた地点に必ず到達する。
　したがって逃げる者が遅いものであっても常になにほどかは先んじていなければならない。

　これは有名なアキレスと亀のパラドックスである。
　彼はこの理論をもってこの世界に運動というものはないと結論した。
　もちろん現実の世界ではそれはありえない。
　実際に私たちは前を歩いている亀を造作もなく追い抜いてしまえるのだから。

　けれどもゼノンの理論を崩せるだろうか。
　結論から言ってしまえばそれはできない。
　なぜなら彼の構築した宇宙においてはアキレスが亀に追いつくことは不可能だからだ。

　例えば収束という概念を利用すればアキレスを亀に追いつかせることはできる。
　けれどもそれはあくまでも収束するという現象が起こる宇宙での話になる。
　ゼノンの宇宙ではその収束は起こらない、そしてその宇宙ではアキレスは亀には確かに永遠に追いつけないのだ。

　私たちが絶対だと考えているこの宇宙も。
　数限りなくある可能世界（TEOTW0003）の１つでしかない、ということ。

10 ：εもんすてら ：2019/04/14(日) 22:01:15.03 ID:sN80CIc0.net

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

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

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

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

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

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

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

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

11 ：εもんすてら ：2019/04/14(日) 22:02:18.27 ID:sN80CIc0.net

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

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

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

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

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

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

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

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

12 ：εもんすてら ：2019/04/14(日) 22:03:21.90 ID:sN80CIc0.net

TEOTW0005：積み木遊びでできることとできないこと

　積み木遊びは言語、公理、推論規則から成り立っている。
　
　ここに次の形の積み木（言語）があるとする。

　言語１：◯　言語２：△

　遊ぶときに最初に手に取れる積み木（公理）は次のものがある。

　公理１：◯を手に取る。　公理２：△を手に取る。

　この積み木には組み合わせ方に次のようなルール（推論規則）がある。

　推論規則１：◯の右に△をくっつけることができる。
　推論規則２：△の右に◯をくっつけることができる。

　ここで実際に積み木を組み立てて１つの完成形（定理）を作ってみる。

　定理１：◯△

　この上記の完成形（定理）を、どのような積み木（公理）とどのようなルール（推論規則）を使って組み立てたのか、その手順のことを証明という。

　証明図：�@公理１を置く。　　　　　　　◯
　　　　　�A推論規則１を適用する。　　　◯△

　証明ができるとはその定理に至るまでの証明図（設計図）が書けるということ。

　補足として、上記の積み木遊びでは下記の定理の証明はできない。

　定理２：◯◯　定理３：□（TEOTW0006）

13 ：εもんすてら ：2019/04/14(日) 22:04:22.19 ID:sN80CIc0.net

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

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

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

　◇５◇６◇７◇９◇８

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

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

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

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

14 ：εもんすてら ：2019/04/14(日) 22:07:21.56 ID:sN80CIc0.net

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

15 ：εもんすてら ：2019/04/14(日) 23:21:51.05 ID:sN80CIc0.net

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

16 ：εもんすてら ：2019/04/14(日) 23:23:11.67 ID:sN80CIc0.net

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

それではおやすみ。

17 ：εもんすてら ：2019/04/15(月) 20:48:04.32 ID:LeEybEyn.net

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

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

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

ではでは。

18 ：εもんすてら ：2019/04/15(月) 20:49:04.62 ID:LeEybEyn.net

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

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

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

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

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

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

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

19 ：εもんすてら ：2019/04/15(月) 20:50:16.18 ID:LeEybEyn.net

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

　序章を締めくくるにあたって。
　ぼくのかんがえたさいきょうの神の存在証明の概要を記しておくべきだが。
　新たな２つのピース（TEOTW0009）を呈示するだけにしておく。

　　　　　　　　　　　　　§０

　ブラーマ・スプタ・シッダーンタ（宇宙の始まり）。
　インドの数学者ブラーマグプタが６２８年に書き上げたもので、数としての『０』を初めて論じた書物になる。

　古代インドで発見されたこの摩訶不思議な存在０。
　西洋は長きに渡ってこれを拒絶した。
　ピュタゴラスが奏でた宇宙はロゴスが支配し空虚や無が存在することは許されない。
　なぜならロゴスを崩壊させてしまうから。
　だから使用を禁じそれを口にするものを殺した。

　だが肥大化していく貿易は０を求めた。
　そして０は求めた人類に豊かな恵みを与えた。
　科学は微積分により大きく発展し芸術は消失点によりきらびやかになった。

　人類は繁栄を極めつつある。
　だがその繁栄の根底にある現代数学という巨大なバベルの塔は０の上に聳え立つ砂上の楼閣であり、０のふるまいで一瞬で崩れ去ってしまうとても脆いものである。

　チェーホフの銃としてこの書物をここに置いておく。

　リーベル・アバキ（算盤の書）

20 ：εもんすてら ：2019/04/15(月) 20:58:58.53 ID:LeEybEyn.net

TEOTW0009：私はかぞえる

　ひとつ、ふたつ、私。
　私たちは何かを認識してそれをかぞえる。
　その行為は時代や文化に左右されない普遍的なものだ。
　植物を採集し腐肉をあさっていた時代から今日に至るまで、色々な文明が生まれては消えていったがこの行為はそうではない。
　その最初のときから今このときまでそれはずっと私たちと共にある。
　なにせ小鳥でさえもかぞえるということをしているのだから。
　それはとても当たり前のことでありこれに何かしらの疑問を抱くこともない。

　　　　　　　　　　　　　§私（TEOTW0011）

　ＰＡ１　１は自然数である。
　ＰＡ２　どんな自然数ｎにたいしても後続数ｎ´（エヌプライム）が存在しそれは自然数である。（TEOTW0010）
　ＰＡ３　どんな自然数ｎにたいしてもｎ´≠１が成り立つ。
　ＰＡ４　どんな自然数ｍ，ｎにたいしてもｍ´＝ｎ´ならばｍ＝ｎである。
　ＰＡ５　自然数ｎに関する述語Ｐ（ｎ）で、（ａ）（ｂ）が成り立つとする。
　　　　　（ａ）Ｐ（１）である。
　　　　　（ｂ）どんな自然数ｋにたいしてもＰ（ｋ）ならばＰ（ｋ´）である。
　　　　　このときどんな自然数ｎにたいしてもＰ（ｎ）が成り立つ。

　私たちはかぞえる。
　テーブルの上に置かれたリンゴの数を。
　絞首台の輪縄へと続く１３階段の段数を。

21 ：εもんすてら ：2019/04/15(月) 20:59:32.40 ID:LeEybEyn.net

今日はこれでおしまい。

22 ：εもんすてら ：2019/04/16(火) 21:28:31.68 ID:rVzWSfyG.net

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

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

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

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

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

23 ：εもんすてら ：2019/04/16(火) 21:30:25.59 ID:rVzWSfyG.net

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

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

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

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

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

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

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

24 ：εもんすてら ：2019/04/16(火) 21:45:06.79 ID:rVzWSfyG.net

TEOTW0011：ニムロデの天地創造

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

　｛　｝

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

　０

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

　｛０｝

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

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

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

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

25 ：εもんすてら ：2019/04/17(水) 22:01:06.36 ID:WAnq4YGp.net

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

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

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

26 ：εもんすてら ：2019/04/17(水) 22:35:11.35 ID:WAnq4YGp.net

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

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

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

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

27 ：εもんすてら ：2019/04/18(木) 22:10:25.46 ID:pzxT/vpP.net

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

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

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

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

28 ：εもんすてら ：2019/04/19(金) 22:32:29.34 ID:y7tw+bu2.net

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

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

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

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

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

29 ：εもんすてら ：2019/04/19(金) 22:37:15.93 ID:y7tw+bu2.net

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

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

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

30 ：εもんすてら ：2019/04/20(土) 23:05:20.07 ID:JJlz2WHr.net

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

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

31 ：εもんすてら ：2019/04/21(日) 21:12:02.71 ID:IVdwkX1K.net

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

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

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

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

32 ：εもんすてら ：2019/04/21(日) 21:15:10.30 ID:IVdwkX1K.net

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

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

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

33 ：εもんすてら ：2019/04/21(日) 21:16:10.02 ID:IVdwkX1K.net

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


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

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

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

　Ｑ．愛とは何か？
　Ａ．

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

34 ：εもんすてら ：2019/04/21(日) 21:16:50.80 ID:IVdwkX1K.net

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


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

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

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

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

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

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

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

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

　もう１つはこれである。

　�A私が太陽にいる。

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

35 ：εもんすてら ：2019/04/21(日) 21:52:41.66 ID:IVdwkX1K.net

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

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

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

36 ：εもんすてら ：2019/04/22(月) 21:18:39.06 ID:XhqD49V7.net

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

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

37 ：εもんすてら ：2019/04/23(火) 22:27:01.61 ID:SESyK+kI.net

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

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

38 ：εもんすてら ：2019/04/24(水) 20:24:32.00 ID:BdkulKUm.net

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

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

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

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

39 ：εもんすてら ：2019/04/24(水) 20:24:53.07 ID:BdkulKUm.net

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

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

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

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

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

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

40 ：εもんすてら ：2019/04/25(木) 20:21:58.77 ID:orUDD0mP.net

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

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

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

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

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

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

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

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

41 ：εもんすてら ：2019/04/25(木) 20:23:38.49 ID:orUDD0mP.net

TEOTW0015：矛盾の園

　与えられた公理系においてある命題Ｐとその否定¬Ｐの両方が真であると証明できるとき、その公理系を矛盾した理論とよぶ。

　矛盾した理論においては任意の命題は真となる。
　その簡単な証明をここに記述しよう。

　【証明】
　�@Ａ∧¬Ａは真。
　�A任意の命題Ｂがあるとする。
　　¬Ａ⇒¬Ａ∨Ｂは真となる。
　�B¬Ａ∨Ｂも真となる。
　�CＡ⇒Ｂは¬Ａ∨Ｂと同値である。
　　つまりはＡ⇒Ｂは真となる。
　�DＡは真でありＡ⇒Ｂも真である。
　　Ｂが偽だとＡ⇒Ｂは真にならない。
　　ゆえにＢは真である。

　矛盾した理論という世界では。

　命題：貴方は私である。

　この命題も真となり。
　
　命題：この世界の創造主は可憐で美しい少女である。

　この命題も真となる。

　矛盾した理論、その世界に名前をつけるとするならば。
　私ならばエデンの園とするだろう。

42 ：εもんすてら ：2019/04/26(金) 22:04:13.41 ID:8DjEeTz1.net

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

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

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

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