空集合があるなら空写像もあるの？ (69ﾚｽ)
空集合があるなら空写像もあるの？ http://rio2016.5ch.net/test/read.cgi/math/1728054661/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
27: １３２人目の素数さん [sage] 2025/09/04(木) 00:41:54.06 ID:OkReK+2M 空は無ではない、中身は無いけど集まりはある。 そして、その集まり（空集合）の外にはすべてがある。空集合のまわりには豊穣な宇宙がある。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/27
28: １３２人目の素数さん [] 2025/09/06(土) 21:06:25.92 ID:Av8R8IG9 空数学が命題というものを持たない数学であれば、それ単独では命題論理による議論は不可。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/28
29: １３２人目の素数さん [sage] 2025/09/06(土) 21:31:57.28 ID:s+KeRJvC empty function / empty map のことっすね。 empty category 空圏だってあるし。 空数学ってのは空（集合）しか扱わない数学っすかね？ http://rio2016.5ch.net/test/read.cgi/math/1728054661/29
30: １３２人目の素数さん [sage] 2025/09/06(土) 21:34:54.52 ID:s+KeRJvC 自然数論のこと？ http://rio2016.5ch.net/test/read.cgi/math/1728054661/30
31: １３２人目の素数さん [] 2025/09/08(月) 07:41:47.64 ID:T0zNxX6Q 空数学は公理も定理もいっさいの 命題を含まない潔い態度の数学です。 何も導けないし何も行えない。 しかしそれに命題を付け加えることで、 あらゆる数学を含めることになるから 数学の母体となるものです、なーんちゃって。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/31
32: １３２人目の素数さん [sage] 2025/09/08(月) 13:44:17.89 ID:BCTakZLK 空の定理/公理などがあるわけではなく、 メタ(数学)的な立場から空としているわけですね。 で、集合論や論理すらなくても困らないほどなにもないと。 無数学と空数学の違いですね、問題は。なにもないけど数学だけはある、と。 ブートストラップとしての数学。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/32
33: １３２人目の素数さん [] 2025/09/08(月) 14:03:06.93 ID:BCTakZLK メタ数学的立場から、数学でなければならないという要請だけがある「空数学」。 そのように考えてしまうと、「数学でなければならない」ということはclassであり、 そこにあらわれている「数学」なんていうことも無定義用語とすれば、空のclassに属していれば「空数学」。 空のclassだけの数学。 一元体や絶対数学への別アプローチ（集合(class)論的アプローチ）かもしれない。と、わたしは妄想しました() http://rio2016.5ch.net/test/read.cgi/math/1728054661/33
34: １３２人目の素数さん [] 2025/09/09(火) 06:35:58.00 ID:8Ojy0HbW 集合とは要素の集まりである（素朴）。 なのに空集合は要素を含まない集合である。 そういうトンチが許されるのならば、 空数学がなければものごとの整合性が とれない。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/34
35: １３２人目の素数さん [sage] 2025/09/09(火) 17:43:50.64 ID:J16PBiwc どうやって拡張するのだろう。体ではないので拡大体もつくれない。 集合論も論理学もなにもない状態からスタートするにしてもなにもない。 空圏からの関手でも考えるのだろうか。それしか考えられないと思うが、どうなるんだろ？ http://rio2016.5ch.net/test/read.cgi/math/1728054661/35
36: １３２人目の素数さん [sage] 2025/09/10(水) 15:41:45.87 ID:Blnvne7H 某国にいったときだが、ホテルのエレベーターで下に降りようとして１階のボタンを押したがいけなかった。 1階の下のL（ロビー）かG（グランド）でないと降りられない。 空集合はロビーだ。 空数学がただ空であるというだけなら、なにも始まらず、そこで終わる。 空であることで真空エネルギーがあってなにものかが対生成するとかいうのであればよいのだが、数学は物理ではない。 空である、ということは、そこになんらかの大きさのようなものがある/なければならない。 空は
無ではない。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/36
37: １３２人目の素数さん [] 2025/09/10(水) 17:24:50.38 ID:m1jUc3Tq イギリス英語圏では the first floor が二階なことが往々にしてある そらとかなしとかは別に関係ない http://rio2016.5ch.net/test/read.cgi/math/1728054661/37
38: １３２人目の素数さん [sage] 2025/09/10(水) 17:59:27.56 ID:Blnvne7H 数えと満の違いです。 空（くう）は満ちると１になる。 １に満たないが、なんらかの大きさのようなものを持っている。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/38
39: １３２人目の素数さん [sage] 2025/09/10(水) 18:05:14.23 ID:Blnvne7H 空数学があるとすれば、360°または720°回転して1単位となるか、それを抽象化したものが必要と思われる。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/39
40: １３２人目の素数さん [sage] 2025/09/10(水) 18:12:22.69 ID:Blnvne7H 量子力学でいえばCreation Operator。 数学ならsuccessor (function/operator)がその類のものだろう。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/40
41: １３２人目の素数さん [sage] 2025/09/11(木) 10:57:14.07 ID:/d2O7h0l しかし、外部から持ち込むのは好ましくない。 空数学そのものから、自然に発生すべきである。 数学なのだから数学的対象が必要であり、空数学なのだから「空」が数学的対象である。 この「空」は、集合論や一階述語論理なども持っていないのだから、空集合の公理以前のものである。 公理そのものはメタ的にあるとして、「空の公理」（空集合の公理ではない）のみがあると考える。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/41
42: １３２人目の素数さん [sage] 2025/09/11(木) 11:19:27.97 ID:/d2O7h0l 空の公理は空集合の公理ではない、ほんとうになにもないという公理だ。 空（から）の公理である。公理の枠だけがある。メタ数学の範疇になるだろう。 公理とは仮定であるが、命題とか前提とかもないとすれば、公理という仮定でもなく、 ただ、「素朴」になにもない。空数学は、いままでの数学の構造を脱構築しようという試みなのか？ ブルバキによる構造やら公理学の導入やら形式主義やらなんやらを脱構築しようというのだろうか。 http://rio2016.5ch.net/test/read.cgi/m
ath/1728054661/42
43: １３２人目の素数さん [sage] 2025/09/11(木) 11:52:57.98 ID:/d2O7h0l 構造主義の構造とは数学的構造のことである。数学主義と読み替えてもよいだろう。 空数学は、ブルバキやヒルベルトやらゲーデルあたりにまで喧嘩を売る数学であろう。 要請されるのは「空」であることと、「数学とは異なるものを同じものとみなす技術である」（ポアンカレ）という２つだ。 空を単位元とするモノイドと考えれば、自然数論のようなものだが、空数学＝モノイド数学なのか？ モノイドだけで数学を再構成/再構築できる？ http://rio2016.5ch.net/test/read.cgi/
math/1728054661/43
44: １３２人目の素数さん [] 2025/09/11(木) 18:07:26.73 ID:Udk9IhMk 集合というものが記述に現れない 無い形で数学を作れるか？ これこれの性質を満たすものの 集まりというものが存在するだとか、 空で無い集合に含まれる要素を とりだしてだとかいうようなことを 認めない。自然数はあっても自然数の 集合は無い、など。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/44
45: １３２人目の素数さん [sage] 2025/09/11(木) 22:55:23.55 ID:/d2O7h0l 数学が、同じとみなす技術としての要請があるかぎり、同じとみなしたものの集まりは避けられない。 同じclassに属するものの集まりという概念はポアンカレの要請を満たす。 集合論ではなくclass論。同じclassに属するものの集まりと、classの集まりは区別される。 classもものであり、同じclassに属するclassの集まりがある。 空とはすべてのclassの集まり。white class? わたしが空数学を考えるとこのような感じのclass論になる。個人的な見解なので、これを白数学と呼んで
区別しておこう() http://rio2016.5ch.net/test/read.cgi/math/1728054661/45
46: １３２人目の素数さん [sage] 2025/09/13(土) 07:08:36.43 ID:eChSBPgq 白数学なんていうわけのわからないものを考えてみたが、 これをホワイトホールとすればブラックホールに相当する黒数学もある。 とすると穴数学がよさそうだ。空は穴だ。 この穴には白/黒の二面性がある。 ホワイトホールにもシュワルツシルト半径のようなものはあるのだろうか。時間反転すればいいだけかもしれないが。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/46
47: １３２人目の素数さん [sage] 2025/09/13(土) 07:16:24.49 ID:eChSBPgq 穴数学を考えてみると、数学にも光速が必要になってくる() 数学における光速とはなにか、と考えるなら、それは「公理」のことだろう。 とすれば、公理がホールを作る。 それでもまだ重力に相当するものが足りない。 数学の圏と物理の圏は自然変換できるのだろうか。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/47
48: １３２人目の素数さん [sage] 2025/09/16(火) 16:24:04.77 ID:HRIZM31b 穴数学の穴はdemonであり、demon mathematicsだ。 物理を考えずにdemon algorithmのdemonを考えよう。悪魔数学。 ならば、最初に白数学として考えたが、黒数学と呼ぶのがふさわしい() この悪魔は大きさのようなものを持ち、余剰エネルギーを格納して大きくなり、 可能であれば必要なときにエネルギーを放出して小さくなる。（とりあえず負の悪魔は考えない。いるかもしれないが） 注：エネルギーの形態のひとつが情報である。ただし、情報を受け取るモノ/者/物が必要だ。 量
子的な数学場での演算子/作用素/operatorを扱う。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/48
49: １３２人目の素数さん [sage] 2025/09/16(火) 16:40:18.49 ID:HRIZM31b メタ数学あるいは科学哲学としての議論が必要になるだろうけど、 黒数学（悪魔数学/魔物数学）の駆動源は客観（化）というエネルギーである。 このエネルギーによって数学的対象がうみだされる。 この悪魔/魔物はマクスウェルの悪魔やラプラスの悪魔の親戚で、ゲーデルの悪魔もいるだろう。 命名するならチューリングの悪魔/魔物あたりが適当か？ これらの悪魔はブロッホ球やポアンカレ球のような球面であろうと考える。よーするに波だ。 http://rio2016.5ch.net/test/read
.cgi/math/1728054661/49
50: １３２人目の素数さん [sage] 2025/09/17(水) 22:35:36.01 ID:P0446Sdf 数学は、メタ数学領域から人間による操作を与えてできるが、 数学世界でエネルギー論的に展開すべきである。 空という〇の真空エネルギーを使う。 フォンノイマン的に自然数論を展開するのであれば、〇が自分でべき集合をつくっていくべき() 〇が複数の〇からできているとすれば、バブル構造のようなものを持っている。 集合論から外延性の公理を取り去るのが正しそうだ。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/50
51: １３２人目の素数さん [sage] 2025/09/18(木) 01:04:55.24 ID:G9JrQQL8 〇はデーモンであり、0次元のデーモンは点が２つ‥だ。bitに相当する。 なので、現在のコンピュータは0次元デーモンの黒数学で成り立つ() このあたりになると0次元の超ひも理論が...ほんとか？ 0次元の超ひもの振動が万能チューリングマシンになるってことか。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/51
52: １３２人目の素数さん [sage] 2025/09/20(土) 00:45:00.58 ID:YRTpR0xw 〇が万能チューリングマシンになりそうなので、こっちに全力尽くそうと思う() アイデアは単純だ。循環タグシステムの変種だが、生物に近い。 FIFOではなくブラックホールに類似したdemonがテープのかわり。 空数学というアイデアをありがとう。とりあえず他の板にトランスワープ。 ブラックホールが生命の起源かもね。Black alert! http://rio2016.5ch.net/test/read.cgi/math/1728054661/52
53: １３２人目の素数さん [] 2025/09/21(日) 10:47:20.87 ID:FzEsusJg 数学とは何か、 公理とみなす命題と命題論理があり、 命題論理を有限回適用して得られる 範囲の体系ではないだろうか。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/53
54: １３２人目の素数さん [] 2025/09/25(木) 20:50:08.80 ID:CFOHEvZb 空集合の冪集合を求めなさい（配点３点）。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/54
55: １３２人目の素数さん [] 2025/09/25(木) 21:31:03.47 ID:fkgyLEZd 空集合の部分集合は空集合のみ http://rio2016.5ch.net/test/read.cgi/math/1728054661/55
56: １３２人目の素数さん [sage] 2025/09/26(金) 00:27:24.94 ID:f0rZ2tau X⊂{}とする。 部分集合の定義より ∀x(x∈X⇒x∈{})。全称除去により c∈X⇒c∈{}。 c∈{} は恒偽だから c∈X は恒偽でなければならない。よってX={}。よって2^{}={{}}。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/56
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 13 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s