★
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でてくるなｗｗｗ 恥ずかしながら知らんかった
[2011/09/03 21:19]
ﾐﾙｷｨｵｪｨ >
頭悪くて悪いんだけど0U{0}を解説してくれ
[2011/09/03 21:23]
＜†＾＿＠＿＾†＞ >
麻雀終わるまでまっとくれ
[2011/09/03 21:25]
PCぶっこＶｅｒ２ >
普通に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]
＜†＾＿＠＿＾†＞ >
ちなみにこの定義はフォンノイマンだったわｗ
[2011/09/03 21:36]
PCぶっこＶｅｒ２ >
ノイマンか
[2011/09/03 21:37]
PCぶっこＶｅｒ２ >
ノイマンこ
[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]
＜†＾＿＠＿＾†＞ >
きめぇｗｗｗｗｗｗｗｗ
[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ぶっこＶｅｒ２ >
へぇ
[2011/09/03 22:03]
PCぶっこＶｅｒ２ >
無限 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 >
９月引退ｎはまだすか＾＾＾＾＾
[2011/09/03 22:16]
＜†＾＿＠＿＾†＞ >
9月入ってから調子いいんですよねー＾＾
[2011/09/03 22:16]
AI >
きたろう
[2011/09/03 22:17]
AI >
やばい ＠ ｂが親父にしかみえん
[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 >
０＾０＝１
[2011/09/03 22:18]
AI >
まだ９００赤字じゃん
[2011/09/03 22:18]
＜†＾＿＠＿＾†＞ >
1も0から作ってるで？
[2011/09/03 22:18]
＜†＾＿＠＿＾†＞ >
8月最後で1600失ったけど
[2011/09/03 22:18]
ﾐﾙｷｨｵｪｨ >
なんか０と１の関係と一つ上の自然数の定義を説明してるのがノイマンのやつで、0から自然数をつくってる感じがしないんだけどどうなの？
[2011/09/03 22:18]
＜†＾＿＠＿＾†＞ >
さっきのと意味は一緒だけど、また書き方だけ変えてみると
[2011/09/03 22:19]
＜†＾＿＠＿＾†＞ >
0=Φ、1={0}、2={0縲?}、3={0縲?縲?}、・・・
[2011/09/03 22:21]
ﾐﾙｷｨｵｪｨ >
意味的には集合０という集合の要素（集合０）が一つあるってことでいいの？
[2011/09/03 22:21]
＜†＾＿＠＿＾†＞ >
{0}の解釈はそれでおｋ
[2011/09/03 22:22]
＜†＾＿＠＿＾†＞ >
まぁ集合0ってのは空集合なんだが
[2011/09/03 22:22]
ﾐﾙｷｨｵｪｨ >
1={x}があったとするじゃん？ｘはかならず空集合しか排卵？
[2011/09/03 22:22]
＜†＾＿＠＿＾†＞ >
あったとするっていうか、1をそれで決めてるんだよね
[2011/09/03 22:23]
＜†＾＿＠＿＾†＞ >
作ってるやんｗ
[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]
ﾐﾙｷｨｵｪｨ >
そこは疑問に無いわｗｗ
[2011/09/03 22:27]
＜†＾＿＠＿＾†＞ >
定義されているっていうけど、1を0から定義するのは結構難しいと思うが
[2011/09/03 22:28]
ﾐﾙｷｨｵｪｨ >
作るってｗｗｗ
[2011/09/03 22:28]
ﾐﾙｷｨｵｪｨ >
定義されてることを、定義の仕方を説明しろって意味ならわかった
[2011/09/03 22:28]
AI >
お前ら自然数で一番エロイ数はどれかとかそういう話題で議論しろよ
[2011/09/03 22:29]
PCぶっこＶｅｒ２ >
８だな
[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
201801
|
201802
|
201803
|
201804
|
201805
|
201806
201807
|
201808
|
201809
|
201810
|
201811
|
201812
201901
|
201902
|
201903
|
201904
|
201905
|
201906
201907
|
201908
|
201909
|
201910
|
201911
|
201912
202001
|
202002
|
202003
|
202004
|
202005
|
202006
202007
|
202008
|
202009
|
202010
|
202011
|
202012
202101
|
202102
|
202103
|
202104
|
202105
|
202106
202107
|
202108
|
202109
|
202110
|
202111
|
202112
202201
|
202202
|
202203
|
202204
|
202205
|
202206
202207
|
202208
|
202209
|
202210
|
202211
|
202212
202301
|
202302
|
202303
|
202304
|
202305
|
202306
202307
|
202308
|
202309
|
202310
|
202311
|
202312
202401
|
202402
|
202403
|
202404
|