28コメント16KB

集合論的自然数で1000まで数えるスレ

■ このスレッドは過去ログ倉庫に格納されています

0001１３２人目の素数さん

2008/02/27(水) 14:48:53

そんなスレです。

1 = {φ}

0002１３２人目の素数さん

2008/02/27(水) 14:56:27

　　　　　　　　　 /　　　　　　／ ´ _ 　 !　　　　　　 /　　　＼
　　　　　　　　　　i　　　　　　／/　／　〉 /　　　　　／　　　ヽ　丶
　　　　　　　　　 !　　　　／　 !　（.　 (　,>_　　　／　　　　　ヽ　ヽ
　　　　　　　　　　!　　／　　｀ｰ´　　｀（_丿／　　 !　　　　　｀、ヽ　　はてなようせいが>>2ゲットよ
　　　　　　　　　　ヾ ´　　　　　　　　／　　 !、 |､　　 ! 　 i　i　｀、
　　　　　　　　　　　丶、　　　　　　 _ , ィl! ｉ!　　　| ｉ.,|-ヽ　 !　　|　l　丶
　　　　　　　　　　　　　｀　ｰr -r‐ , ‐|ｉ７ｌ.!-!　　 |' !ｉ　 |　ﾊ　　|　!　 ! ヽ
　　　　　　　　　　　　　　　 /　　ｌ　　 |' ,-､-､ヽ　l　l!　　ﾚ　i　 l|│ 　|　ヽ
　　　　　　　　　　 , - 、　 /　　　|　　|/ し';;;;i　ヽﾉ　 ,-'"⌒`/ / ｲ）　　l,　＼
　　　　　　　　　　ヽ、　ヽ〈, - 、　ﾊ.　|　ヾ_::ﾉ　　,　　　　　／"　.ﾚ　ｉ　ｌ＼　＼　, -―- 、
　　　　　　　　　　　｀Y ￣ﾞ､　ヽ .| ヽ!lヽ　　　 r‐―j　　　/|　 /　　|　 !　｀丶､（　__　　＼
　　　　　　　　　　／（￣ヽ'　　|　! 　|｀ヽ､ _　丶__ノ_. - " l　 /　　　|!　|　　　　｀"　｀ヽ　　i
　　　　　　　　　／- ´( ￣_)´　 /　 l　 l-<´　｀ T 　´,!｀ヽ、ｉ　/　 l　 /ｉ　|　　　　　　 !　　|
　　　　　　　／''´　　 `ir-‐　" |, -ヽ　!　｀l｀ ''-,ゝ､"＿＿ｿ./　　|　/　! !　　　／⌒ヽ､.ﾉ　 !
　　　　　　　　　　　　　 | `T " ´!　　ヽﾞ、　"フ∥､｀>　　/' ＼　! ./　 l.!　　　_＼　＿　　ノ
　　　　　　　　　　　 |　 |　　 |　　　　 >-／/ |　l´　　　　　　ヽ,/　　 !　　(_ 　）`´　　￣
　　　　　　　　　　　　　|　 i|　　 l─-, ｯ'"　ヽ/　 |　!＿　　　　　　ヽ　　　／／´
　　　　　　　　　　　　 |　 !|　　　　／　　　　 "´　ヽ￣ー ─,-ゝ　／／
　　　　　　　　　　　　　| ／ヽ、_／ヽ　　　　　　　　　 {ヽ､, - ''"ヽ　＼／
　　　　　　　　　　　　／　　　　　／￣ー ,, ＿_ ＿_ﾉ　　〉　　　〉　＼
　　　　　　　　　　　／　　　　／　　　　　　　　　　＼／　　／　　　＼

0003１３２人目の素数さん

2008/02/27(水) 14:58:34

　　　　　　　　　　＿_ヽ. ／　　　　 /　　　　　　　＼
.　　　　　　　〃´ア¨/　∨　　　/　　　　　　 ∧　　ヽﾍ
　　　　　　　　　 /　 /　 / 　　 /　　/　　 /　/　!　　　　'. ',
　　　　　　　 ´Ｌ/　|.f　　　 /　　/　　ｲ　,′｜｜　　 .!_ｌ_
　　　　　　 f⌒',　| 　 '|　　 f 　 ,ｲ⌒メ､j /　　 !　|　l 　 |｜｀＼
　　　 f⌒',　　| 　 l　!　ヽ!　　 l | / |／　 //　　｜.ﾊ-|､/ |｜
. 　　 ! 　 '.　 | 　 |　! 　 |　　　l |〃⌒ヽ./′　　 |/　|ﾉｲ　|｜　2getなんて言う前にリロードしてよかった
　　　　'. 　 '.　! 　 !　l ∨|　　　Ｎ{んィr}　　　　ｨ≠ﾐﾒ｜/ .|
　　　　,.ゝ　⌒　　{　 '. |｜　｜弋Ｚツ　　　　　んｨ} }} l/　 !
　　 _ﾉ　､__ 　　 ',　ヾ.|　　　|　　　　　　　　,　弋ツ　,ﾊ.　 !
　　 {　|　 ′},.--'　}.　　 |　　　| 　　／｀ｰ‐ｒ　　　　ﾊ/　 !
　　ヽ.二ぅ‐^ｰ-､ノ　　　|ﾊ. 　 !　　 /　　　 }　　　 /ｲ　　|
　　　　ﾉ｀ ⌒ 丁´　　　　　ﾍ.　|＼　ヽ、　　.ノ　 ,.　´　|　　l
　　　　}　　　　| 　　 ,.　--- ﾍ|、　`　ｰ-r一 ' ´ 　　 |　ﾊ|
　　　 /　　　 !　／　　　　　　ヽ.　　　 {、　　　　　ﾊ/
　　 .′　　　 |‐'　　　　　　　　　 |',＼　　｀ヽ､__
.　　 |　　　　　｜　　　　　　　　 |!ﾊ　ヽ　,. -|ﾍ. ｀ヽ.
　　 '.　　　　　　　　　　　　　　 j|　',　　　 !　ﾍ　 ',
　　　ヽ　　　　　　　　 __,. -　　　〃　＼ ___,ノ　　ﾊ　 |

0004１３２人目の素数さん

2008/02/27(水) 15:54:50

　　　　　　 |: : : : : : : :,イ　／'7 /: : : : : : :／　＼　＼
　　　　　　 |: : : : : :／: {　ゝ::/　7: : : : ／　　　　＼　ヽ
　　　　　　|:__; ;- ´: : : ｀ ´: :｀:´○::／　 ',　　　　　ヽ　,
　　　　　　 'ヽ: : : : : : : : : : : : : :.iイ　　 i　|ヽ __|　　i i, ',`､　　　残念４げっと
　　　　　　　　｀ - : :_:_:_:_: : イ」_|_|,　　ﾄ,イ´,　|| |　| .|　,ヽ
　　　　　　　　　　　 /　|'／´|V,,ゝﾄ, 　ｲﾚ　}ﾉ |.|　i|i　　, ＼
　　　　　　　　　 / 　 |　　{ O::::`, ヽﾉ　／⌒'7 ﾉｲ) 　 , 　＼
　　　　　　　（⌒ヽ/　/　＼ |ヽヾﾆｿ　,　　　　/／ﾚ　　 i＼　＼ _,,,--,,,_
　　　　　　　｀{ニ;(´＼　| ヽﾄ.　　　＿ノ　　ノ|　 / 　 |　|　｀ー|　　　　＼
　　　　　　　／{＿ﾌ7　 }　|　 | ＞ ,,＿＿,, ＜　/　/　　 |　|　　　｀´⌒ヽ　ヽ
　　　　　／´ ヽフ　ノ　 |　|'＼_:_::ゝ／´: : :V　/　|　 ||　|　　　　　　　} 　　}
　　　　　　　　　 7i二二it ﾅ＼|　［:ニ［|＼-'-/／　 /　/'| ,|　　く´⌒｀ｰ　　ノ
　　　　　　　　　 |　|　　| ロ　ヽ　/:/ |;ト′ |￣''ヽ/__./　|/　 r ヽヽ_, ‐-‐‐´
　　　　　　　　 |　|　　ー-ｯ--く∠__|:》___　ー´　〈〈｀i　　...:::ヽノ
　　　　　　　 |　i|　　　／　　　　　 ´　　［二＞,,,○|...::::''''
　　　　　　　　　／: :ー ´:ヽ　　　　　　　　{: :［ﾆ／ヽ:::'''、
　　　　　　　　／: : : : : : ／￣｀ー　＿＿_ノ／　　／: : :＼

0005１３２人目の素数さん

2008/02/27(水) 15:56:27

　　　　　　　　　　　　　　　　　　　　　＿＿__
　　　　　　　　　　　　　　　　 ,．　´　　　､｀` 　 .
　　　　　　　　　　　　　　　　　／　　　　　＼　　｀　、
　　　　　　　　　　　　　　／　　　＿＿__ 　　ヽ　　　＼
　　　　　　　　　　　／/　 ,．　´: : : : ､: :｀　､　'，　　　./
　　　　　　　　　　 /　/ ／: : : : : : :|: : |＼: : : : ＼}　　 /
　　　　　　　　　　　　 /　/'´: : |ヽ: : : : ハ斗―ヽ‐: : : :＼ .ｲ
.　　　　　　　　　　　 /　/ : : ｌ|,.|--＼:/　〃´￣｀＼: : } : }｜
　　　　　　　　　　　/　/: : : :∧|　　　　　　　fいﾊ　 Ⅳ∨Ⅳ
　　　　　　＿＿_　＼.|: : : / |〃⌒ 　　　弋ｔ:り　　{: :,ゞ-ﾐ､　　　５げっと！
.　　　 ∧　|: : : : :|　　 | : : : : |{　fいﾊ　　　　　 ‐　　"∨　　ﾉ: ＼
　　 /: : ∨: : : : :|　　 |∧ : : |　弋ｔ:り　　　.　-- 、　 /　　/― ､: ＼_
. 　 /: : : : : :／￣ /:＼　.!:＼:ﾄ､　　 '´　／　　　 |　/　　/　　　 }／　}ー―
　　|: :∧:／　　／: : : :|　|: : : :iﾑ"　　〈　　　　　 j./　　/　　　／　　/: : : : :
　　|: :{ 　　　〉: :〈￣ ./: : : :ハ:＼＿_＼＿_ ／/　　/--､／　　／｀ー―
　　ヽ: ＼　　　|: : / .／: : : :/　 }: :{　　 {:{　 {:／/　　/ : ／　　／ﾊ＼
　　　＼: ｀ー┴‐: ´ : : : ／　 /: :∧　　ヾx/:／　　 ⌒´ 　／:∨ {: : :＼
　　　　　｀ー―‐、一＜___,／: r┴‐ミｘ､_厶′　　　　　　（_:_:_:_}__廴:_:_:_＼
　　　　　　　　　＼ : : : : : : :人　　　　　　　 - 、　　　　　　　　　　ﾉ: :
.　　　　　　　　　　￣￣￣ /: 》ー┬‐-､　　　　＼　　｀丁丁丁､´＼ :
　　　　　　　　　　　　　 /: :/＿__|,．-人:ー一＼　　　　＼__,{:_:_＼
　　　　　　　　　　　　　　　　|: : i＼　 { : : ゝ-＼: : : : ｀:ー‐ｧ､　　　　　）:＼
　　　　　　　　　　　　　　　　|: : ﾚﾍ〉　＞t-イ／|` ー一＜.　｀ー一 ´ヽ: : :
　　　　　　　　　　　　　　　　l: : : :〈,.ｲ__　ヽ/　 :!　＼　　｀ー　　　　　》,: :

0006１３２人目の素数さん

2008/02/27(水) 15:57:07

「全国の女子高生の皆さんがお呼びとあらば、即参上よぉ」

　　　　　 |　　　　　　　　 |　, -―┴-　　_
　　　　　 |　　　　　　　　 {/　　 f二)　　　　｀　　、
＼　　　 /}　　　　　　　　《＿_　j　__）　　　　　　　＼
　└､　　ﾊ　　　　　 /　　 |_／￣￣＼　　　　〉ー――-　　、
　　　l　　　ﾊ　　　　 /　/´}　　 ,. ┐　　＼　　　/　　　　　　　　　｀丶、
　　　 V　　ハ　　　　 } ／￣｀!　　 / 　　 /　　　{　　　　　　　　　　　　）
　　　 V　　 .　-一　´ /　　　⌒ト､＿＿／　　　　＼＿　　 -一　　´￣
　　　　　V／　　　　　　　, ┐ 　 |　　　/　　/´￣｀ヽ　 /
　　　　　（＿＿＿＿＿／　j＿__｣　　 /　　ゝ＿_ ﾉ　/
　　　　　　＼ |ﾚｸ　　 ,　　　　　　　く　　＿＿　　／
　　　　　　　く､＿＿　l{＿＿　　-‐　￣＼＿／￣
　　　　　　　 /　/　　＼　　　　＼　　／＿_
　　　　　 /　/　　／　＼＿,ノ /　／　|￣＞＼
　　　　　　　{__/___／-一　´　　　／〈　　ﾚ´　　 / 　-――┐
　　　　　　　　　　|　　　　　　／　|　}／　　　／　　／　　 |
　　　　　　　　　　|　　　　／l　　＼　　　／　　 /　　　　/

0007１３２人目の素数さん

2008/02/27(水) 19:37:41

2 = { φ, { φ} }

この自然数の作り方と順序対 { x , { x , y } } = ( x , y ) はなんか気に入ってる

0008１３２人目の素数さん

2008/02/27(水) 19:40:00

3 = { φ , { φ } , { φ , { φ } } }
4 = { φ , { φ } , { φ , { φ } } , { φ , { φ } , { φ , { φ } } } }

疲れた

0009１３２人目の素数さん

2008/02/27(水) 21:24:16

なんで>>1みたいな厨房は
数えるだの表すだの、プログラムでできることを
わざわざ糞スレ立ててみんなにやらせたがるんだ
数学板つぶしたいの？

0010１３２人目の素数さん

2008/02/27(水) 21:24:46

略して
な数わ数

0011１３２人目の素数さん

2008/02/28(木) 18:43:02

5 = {φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}}}}
6 = {φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}}}}}
7 = {φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}},
{φ,{φ},{φ,{φ}},{φ,{φ},{φ,{φ}}}}}}}

0012１３２人目の素数さん

2008/02/29(金) 22:04:01

8 = 7∪{7}
9 = 8∪{8}

0013１３２人目の素数さん

2008/03/01(土) 17:07:00

>>12
空集合であらわそうよ
文字数足りなくなるけど

0014１３２人目の素数さん

2008/04/24(木) 11:15:43

坂本龍一
｢いつまでも聴いていてもあきないな。インドのタブラのようでもあり、ある種の恒星が発するリズム
のようでもあり、それらに共通するのは、宇宙はとても数学的に聴こえるということかな｣

Alva　Noteの別名義<アレフワン>無限の概念と柔らかなアコースティック、サウンドの美学を取り入れた
エレクトロミュージック。

Carsten Nicolaiの新プロジェクトaleph-1(アレフワン)は19世紀末に集合論という数学の基礎論を
創設した数学者のゲオルク･カントルの理論を用いたものです。

坂本龍一 + Alva Noto - Moon
http://jp.youtube.com/watch?v=Fh0AaTOfkIc&feature=related
aleph-1 / aleph-1＜試聴＞
http://www.inpartmaint.com/pdis/pdis_label/PDIP-6500.html
Alva　Note
http://www.alvanoto.com/
Carsten Nicolai
http://www.carstennicolai.com/

0015１３２人目の素数さん

2008/04/26(土) 03:34:01

>>13
ノートに10を{}だけで手で書いたことあるよ、（空集合={}）
B5ノート１ページ埋まった

15={0,...,14}

0016１３２人目の素数さん

2008/04/26(土) 04:17:01

1000は何文字で表せるんだ？

0017１３２人目の素数さん

2008/04/26(土) 07:37:02

これってハルモスの本にでているお

0018１３２人目の素数さん

2008/04/26(土) 15:09:24

>>16
φ使って
2^1001－1
かな

0019１３２人目の素数さん

2008/04/26(土) 19:02:15

2^1001-1≒(2^10)^100≒(10^3)^100=10^300

0020１３２人目の素数さん

2008/04/27(日) 23:08:41

宇宙にある電子の総数って10^80だったっけ？

0021１３２人目の素数さん

2008/06/01(日) 20:10:42

827

0022順序対

2008/07/08(火) 16:53:47

って、以下の解釈でおｋ？
a,bは元。
(a,b) = { {a} , {a,b} } = { {a} , {b,a} }
元aを持つ集合と、元a,bを持つ集合、の集合。
>>7　のおかげで目覚めた感じ。

0023１３２人目の素数さん

2008/09/08(月) 22:00:36

742

0024１３２人目の素数さん

2008/10/26(日) 12:30:13

361

0025king

2008/11/01(土) 15:59:01

>>7の{ x , { x , y } }は{ {x} , {x,y} }の間違いでした

0026１３２人目の素数さん

2008/12/03(水) 16:26:22

940

0027KingMind ◆KWqQaULLTg

2008/12/04(木) 03:20:12

Reply:>>25 ところで、お前は誰か。

自然数はペアノの公理を満たすものであればよい。

0028１３２人目の素数さん

2009/01/11(日) 09:44:35

535

■ このスレッドは過去ログ倉庫に格納されています