★ 201109 - Lobbyチャットログ - 13ページ
PIECE > 0から自然数とかどうやるんだ [2011/09/03 21:08]
<†^_@_^†> > 0(空集合)から1:=0∨{0} 2:=1∨{1} ・・・ として自然数を作っていく [2011/09/03 21:09]
PIECE > 0とΦって一緒なのか [2011/09/03 21:12]
PIECE > 俺も??状態だな [2011/09/03 21:13]
<†^_@_^†> > 一緒というよりも0を空集合で定義しただけなんだけどね [2011/09/03 21:13]
ミルキィオェィ > ? [2011/09/03 21:13]
ミルキィオェィ > 誰が定義したん? [2011/09/03 21:14]
ミルキィオェィ > |空集合|=0か・・・ [2011/09/03 21:15]
<†^_@_^†> > 誰がって質問にどう答えればいいの? [2011/09/03 21:16]
<†^_@_^†> > ツェルメロとかフランケル・・・ [2011/09/03 21:17]
ミルキィオェィ > Vてどんな意味? [2011/09/03 21:17]
<†^_@_^†> > または です [2011/09/03 21:18]
<†^_@_^†> > 俺もその記号出したかったんだけど [2011/09/03 21:18]
ミルキィオェィ > Uで慣れ親しんでた [2011/09/03 21:18]
ミルキィオェィ > 記号探すのめんどいからユー使った [2011/09/03 21:18]
PIECE > うお [2011/09/03 21:19]
PIECE > おまえぶいつかってんじゃん [2011/09/03 21:19]
PIECE > まじだ [2011/09/03 21:19]
<†^_@_^†> > またはで変換したら出てこなかった・ [2011/09/03 21:19]
<†^_@_^†> > わろす [2011/09/03 21:19]
ミルキィオェィ > またはで変換するとVでてくるなwww 恥ずかしながら知らんかった [2011/09/03 21:19]
ミルキィオェィ > 頭悪くて悪いんだけど0U{0}を解説してくれ [2011/09/03 21:23]
<†^_@_^†> > 麻雀終わるまでまっとくれ [2011/09/03 21:25]
PCぶっこVer2 > 普通に1位か・・・ [2011/09/03 21:27]
PIECE > 0U[0]なら0.-1になるような [2011/09/03 21:28]
PIECE > あーガウス記号じゃないのか [2011/09/03 21:28]
ミルキィオェィ > 調べて分かった [2011/09/03 21:31]
ミルキィオェィ > 忘れとるなぁ [2011/09/03 21:32]
<†^_@_^†> > ちなみに{ }←ってのは集合って意味ね [2011/09/03 21:34]
<†^_@_^†> > ふう [2011/09/03 21:34]
<†^_@_^†> > Φと{Φ}は別物 [2011/09/03 21:34]
<†^_@_^†> > 多分0っていう表現が分かりにくいと思うから、Φで書こうか [2011/09/03 21:34]
<†^_@_^†> > ちなみにこの定義はフォンノイマンだったわw [2011/09/03 21:36]
PCぶっこVer2 > ノイマンか [2011/09/03 21:37]
PCぶっこVer2 > ノイマンこ [2011/09/03 21:37]
<†^_@_^†> > 0=Φ 1=0U{0}=ΦU{Φ} 2=1U{1}=ΦU{Φ}U{ΦU{Φ}} ・・・ [2011/09/03 21:37]
<†^_@_^†> > きもい顔文字にしか見えなくなってきた [2011/09/03 21:37]
<†^_@_^†> > 個室にスカトロちゃんいてわろた [2011/09/03 21:39]
足もふ > すかとろちゃ〜ん U{ΦU{Φ}} [2011/09/03 21:42]
<†^_@_^†> > きめぇwwwwwwww [2011/09/03 21:43]
ミルキィオェィ > くそ 線形代数が身についてないのがようわかった [2011/09/03 21:52]
trorrim > @@ [2011/09/03 21:53]
<†^_@_^†> > 線形代数っていうよりも集合論やで [2011/09/03 21:53]
足もふ > ほんとうにあったこわいはなし [2011/09/03 21:54]
ミルキィオェィ > soka [2011/09/03 21:57]
<†^_@_^†> > ちなみに知ってるかもだけど、無限ってたくさん種類があるんだぜ [2011/09/03 22:01]
PCぶっこVer2 > へぇ [2011/09/03 22:03]
PCぶっこVer2 > 無限 Mugen [2011/09/03 22:03]
<†^_@_^†> > 可算無限、非可算無限 [2011/09/03 22:06]
PIECE > 0の無限乗って不思議だよな [2011/09/03 22:07]
PIECE > 不定形です [2011/09/03 22:09]
<†^_@_^†> > 0じゃないんすか [2011/09/03 22:09]
PIECE > a縲?122.18.26.68 [2011/09/03 22:11]
PIECE > 対数とったら∞log0 になる [2011/09/03 22:11]
AI > 群数学だっけ 忘れた [2011/09/03 22:12]
PIECE > 1の夢幻城のことだわ [2011/09/03 22:12]
<†^_@_^†> > 群論? [2011/09/03 22:13]
AI > それか [2011/09/03 22:14]
AI > 9月引退nはまだすか^^^^^ [2011/09/03 22:16]
<†^_@_^†> > 9月入ってから調子いいんですよねー^^ [2011/09/03 22:16]
AI > きたろう [2011/09/03 22:17]
AI > やばい @ bが親父にしかみえん [2011/09/03 22:17]
AI > ラスって氏ね [2011/09/03 22:17]
<†^_@_^†> > 9月入ってから700pt回復したんですよねー [2011/09/03 22:17]
<†^_@_^†> > misu [2011/09/03 22:17]
<†^_@_^†> > oi [2011/09/03 22:17]
<†^_@_^†> > おい [2011/09/03 22:17]
<†^_@_^†> > みす [2011/09/03 22:17]
AI > 0^0=1 [2011/09/03 22:18]
AI > まだ900赤字じゃん [2011/09/03 22:18]
<†^_@_^†> > 1も0から作ってるで? [2011/09/03 22:18]
<†^_@_^†> > 8月最後で1600失ったけど [2011/09/03 22:18]
ミルキィオェィ > なんか0と1の関係と一つ上の自然数の定義を説明してるのがノイマンのやつで、0から自然数をつくってる感じがしないんだけどどうなの? [2011/09/03 22:18]
<†^_@_^†> > さっきのと意味は一緒だけど、また書き方だけ変えてみると [2011/09/03 22:19]
<†^_@_^†> > 0=Φ、1={0}、2={0縲?}、3={0縲?縲?}、・・・ [2011/09/03 22:21]
ミルキィオェィ > 意味的には集合0という集合の要素(集合0)が一つあるってことでいいの? [2011/09/03 22:21]
<†^_@_^†> > {0}の解釈はそれでおk [2011/09/03 22:22]
<†^_@_^†> > まぁ集合0ってのは空集合なんだが [2011/09/03 22:22]
ミルキィオェィ > 1={x}があったとするじゃん?xはかならず空集合しか排卵? [2011/09/03 22:22]
<†^_@_^†> > あったとするっていうか、1をそれで決めてるんだよね [2011/09/03 22:23]
<†^_@_^†> > 作ってるやんw [2011/09/03 22:23]
<†^_@_^†> > 定義する以外で概念の作り方なんてないで? [2011/09/03 22:23]
<†^_@_^†> > 定義だよ [2011/09/03 22:23]
ミルキィオェィ > 1:={0}これ自体定義じゃないの? [2011/09/03 22:23]
ミルキィオェィ > つくってないじゃん [2011/09/03 22:23]
ミルキィオェィ > てところで引っかかってた。 [2011/09/03 22:23]
ミルキィオェィ > 定義やん。 [2011/09/03 22:23]
<†^_@_^†> > その定義が、我々が日常で使ってる1と同じか?って疑問なの? [2011/09/03 22:24]
<†^_@_^†> > ↑yはxに含まれない [2011/09/03 22:27]
<†^_@_^†> > ちなみに空集合は ∃x∀y(y?x) [2011/09/03 22:27]
<†^_@_^†> > っていう公理から、このxを空集合って定義してる [2011/09/03 22:27]
<†^_@_^†> > 環境依存文字くそう [2011/09/03 22:27]
ミルキィオェィ > そこは疑問に無いわww  [2011/09/03 22:27]
<†^_@_^†> > 定義されているっていうけど、1を0から定義するのは結構難しいと思うが [2011/09/03 22:28]
ミルキィオェィ > 作るってwww [2011/09/03 22:28]
ミルキィオェィ > 定義されてることを、定義の仕方を説明しろって意味ならわかった [2011/09/03 22:28]
AI > お前ら自然数で一番エロイ数はどれかとかそういう話題で議論しろよ [2011/09/03 22:29]
PCぶっこVer2 > 8だな [2011/09/03 22:29]
<†^_@_^†> > 7210721 [2011/09/03 22:29]
ミルキィオェィ > 69 [2011/09/03 22:29]
★過去ログ年月
201108 | 201109 | 201110 | 201111 | 201112
201201 | 201202 | 201203 | 201204 | 201205 | 201206
201207 | 201208 | 201209 | 201210 | 201211 | 201212
201301 | 201302 | 201303 | 201304 | 201305 | 201306
201307 | 201308 | 201309 | 201310 | 201311 | 201312
201401 | 201402 | 201403 | 201404 | 201405 | 201406
201407 | 201408 | 201409 | 201410 | 201411 | 201412
201501 | 201502 | 201503 | 201504 | 201505 | 201506
201507 | 201508 | 201509 | 201510 | 201511 | 201512
201601 | 201602 | 201603 | 201604 | 201605 | 201606
201607 | 201608 | 201609 | 201610 | 201611 | 201612
201701 | 201702 | 201703 | 201704 | 201705 | 201706
201707 | 201708 | 201709 | 201710 | 201711 | 201712