19/08/16 06:47:46.01 WjfkqcDK.net
自然数の集合論的表現を簡単に生成する方法
１．「メモ帳」上で｛_｝を打つ
２．_を_{_}に変換する行為を、ｎ回繰り返す
３．_を消す
これで自然数ｎの集合論的表現が得られる
1084:１３２人目の素数さん
19/08/16 06:50:47.85 WjfkqcDK.net
正確にいうと、>>996の
「_を_{_}に変換する行為」
の操作はX∪{X}とは異なる
1085:１３２人目の素数さん
19/08/16 06:53:47.37 WjfkqcDK.net
X∪{X}を実行するには
１．X全体をコピーする
２．コピーをXの一番外側の{}の中にペーストする
という操作が必要だが、面倒臭いので
もっと簡略化できないかと思って
思いついたのが>>996の方法
1086:１３２人目の素数さん
19/08/16 06:56:16.92 WjfkqcDK.net
「_を_{_}に変換する行為」 は
・Xの中の要素を1増やす操作をする
・その上で{}を追加して1増やす
という操作である
1087:１３２人目の素数さん
19/08/16 06:56:28.77 WjfkqcDK.net
終わり
1088:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 14日 10時間 20分 43秒
1089:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています