一階述語論理でこれを表すと、次のようになる。c$も成り立つので、推移律が満たされます。<は反射律を満たさない。僕の現状の理解が正しいのか疑問が残りますが、これ以上は頭がおかしくなりそうなので無理に理解しようとせず前へ進みます。上記の定義が必要とされた状況に出会った時に納得できるでしょう。「等しい」って結局、冒頭の「等しい」に関する疑問は解決できませんでした。当たり前のように「等しい」って僕らは使いますが、厳密に考えてみると僕は「等しい」が分からなくなるのです。身近な僕の疑問だと水分子などの宇宙を構成する分子。宇宙の至るところにそれはありますがが、例えば水分子は宇宙の果てから果てまで全て「等しい」のでしょうか。巨視的には全ては同じように振舞うのでしょうが、とことん微視的にはどうなんだろうと僕は思うのです。物質の最小単位まで厳密化した場合。物質に最小単位があるということが前提になる議論ですが、もしも最小単位で「等しい」のなら何故、空間的に離れた分子同士の同期が起こるのか疑問に思います。「距離の概念は人間だけのものだから?」「コンピューターゲームようにデータの参照が全て同じアドレスだから?」とSF的に考えてみるとワクワクします。最小単位で見た時に別々の振る舞いをしている、つまり「等しくない」のなら、「等しい」とはどのラインから成立するのだろう、と僕は思うわけです。水分子の話なら「一体全体どのラインから水分子は水分子たり得るの?」ってことですね。その等しいラインをさらに厳密化していった時に、デジタルに境界線が見えるなら、それは奇妙ですし、曖昧に「等しい」のラインがあるのなら、それも僕は奇妙に感じるわけです。この奇妙さって「宇宙は最初からあった」「宇宙は突然生まれた」って話とも共通しています。いずれにしても因果関係から解き放たれていて気持ち悪い。長濱陸Tシャツお求めはこちらからお問い合わせはこちらパーソナルトレーニングやグループトレーニング、セミナーや取材、YouTubeコラボなどのご依頼はこちらからよろしくお願いします。暇つぶしに見て順序集合の定義の気持ち大小関係について考えていたら、=と>から受ける印象って異なるよなあ、となったので、その理由を考えました。=で結ばれる関係は組み合わせ方次第ですが、一対一対応の写像だと言えます。集合論を進めていると「同値」って言葉が頻繁に出てきます。義務教育で習いましたよね。日常生活でも何となく利用しているありふれた概念なので、深くその定義について考えてはいなかったのですが、ふと「そういえば『同値』って何....暇つぶしに見て乗法の分配法則その2下の記事の続き。x(y+z)⇔xy+xyは証明できたので(y+z)x⇔yx+zxを証明します。数学的帰納法の起点を作ります。x×0+y×0(前提)0+0(...暇つぶしに見て偶数と奇数の述語論理の表現なんとなくで述語論理の論理式を作ってみます。偶数と奇数を述語論理で表現してみます。我流なので悪しからず。集合論やろうと思って入門書まで買ったのに。脱線に次ぐ脱線で全く意図しない方向へ走りだしてしまっています。証明の正しさとは何かってことで数学の定義する正しいを見ていきました。演繹、三段論法と推論規則などなど。2次元表示の曲線(πの1次元表示は、√πとする)≪...単位で「等しい」...≫を、数学では、[割るというコトが単位を創る]とするとコスモス表示の立方体(1×1×1)から1次元の[1]で割ると正方形(1×1)また1次元の[1]で割ると線分[1]に生る。この操作の過程において、i(直交(垂直)概念)(π/2)が潜み込むと観る。進み行く自然数を、「すうがくでせかいをみるの」的に観える。コメントをキャンセルメールアドレスが公開されることはありません。*サイト次回のコメントで使用するためブラウザーに自分の名前、メールアドレス、サイトを保存する。MEキーワードで探す野木式ボクシングを学ぶ僕のボクシングの師匠の一人である野木トレーナーのボクシング理論です。2024年11月62024年10月532024年9月272024年8月212024年7月212024年6月232024年5月182024年4月202024年3月242024年2月212024年1月382023年12月192023年11月312023年10月262023年9月262023年8月242023年7月242023年6月232023年5月282023年4月302023年3月352023年2月252023年1月222022年12月232022年11月112022年10月262022年9月82022年8月202022年7月182022年6月302022年5月212022年4月202022年3月192022年2月252022年1月282021年12月222021年11月222021年10月272021年9月222021年8月242021年7月182021年6月232021年5月252021年4月292021年3月272021年2月172021年1月92020年12月232020年11月212020年10月142020年9月152020年8月242020年7月402020年6月592020年5月322020年4月22020年3月1スポンサーリンクSNSも見てね!股関節おじさんをフォローするお問い合わせパーソナルトレーニング、グループレッスン、セミナーなどお仕事のご依頼はこちらからよろしくお願いします。MEメディア掲載お問い合わせフォームスポンサー募集中!タイトルとURLをコピーしました。