[過去ﾛｸﾞ] 時間とは何か、２８ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
106: 2019/04/29(月)19:14:20.02 ID:0(106/1000) AAS
圏の圏とは恐れ入った、完敗（乾杯）だ
名前は呪術の一環だなあ、
神懸かり的な作用を期待するだけの不思議があったんやなあ
名指しの魔法、metamagic
125: anonymouse ◆Iow/mouse. 2019/05/02(木)06:12:43.02 ID:0(125/1000) AAS
双対している式とは、
例えば、
A∧B ¬A∨¬Bとか
A∨B ¬A∧¬B
のことですな
双対同値式と混同すると、わけがわからなくなる、
＞両否定という論理演算子一つで、すべての論理演算子をつくることができる
を検証したんだが、完璧に嘘こきました、無理でした、
両否定と、少なくとも一つの論理演算子によって、すべての論理演算子をつくることが
できるということらしい、
省2
175: anonymouse ◆Iow/mouse. 2019/05/13(月)19:25:33.02 ID:0(175/1000) AAS
真昼の砂漠は破綻を隠さない
546: 2019/07/11(木)21:52:03.02 ID:0(546/1000) AAS
実際は、バイトがあってこれが無理なお願いであることは、充分に分かってるけどなの。
620: 2019/08/03(土)01:27:34.02 ID:0(620/1000) AAS
参考文献
「数とは何かそして何であるべきか」リヒャルト・デデキント著
岩波文庫より、ちくま学芸文庫をおすすめ。
626: 2019/08/03(土)22:30:10.02 ID:0(626/1000) AAS
もし先に量子論的自然数classが存在しているなら、
その体系外から与えられる0という公理に相当するものは、
受理されるか受理されないか2パターンあるのだが、
それは古典的なオートマトンである。
量子論的自然数classがジェネリックであれば、
受理されたときに、その体系の「型」が決まる。
すべてのものが受理可能な量子論的ジェネリックclassが存在するとか存在しないとか考えるのはつまらないので、
受理されたときに、その「宇宙」ができるとする。
そこから始めるしかない。
704: 2019/08/24(土)10:09:16.02 ID:0(704/1000) AAS
世界が円運動からできているのでしかたがない。
この円運動がフロベニウス自己準同型写像となる。
天動説とか地動説のような前近代的なアナロジーは捨てたほうがよいと思う。
少なくとも20世紀初頭から相対性理論があるわけだし。
すでに21世紀だ。
なにを基準にするかといえば、直接的/間接的、どちらでもあっても、いったん自分自身を出発点とせざるを得ない。
三体問題が天動説なのか地動説なのかよく考えてみることだ。
ちょうど「三体」というSF小説が書店に並んでいる。
この中国SF小説のでたらめな部分がなかなかおもしろいようだ。（未読）
766: 2019/09/07(土)01:31:33.02 ID:0(766/1000) AAS
open point と closed point を考える。
空集合と考えるなら、空集合の外側に無限がある。
空集合の内側は無である。
境界は無の側にあるのか？
これを裏返すと外側は無であり内側は無限である。
そう考えるとおかしいのは無の側は無なのだから境界も無いということ。
境界のある無は、空である。
よって、空は「ある」w
それが「openな点」だ。
closedな点は無限が詰まっているのだが境界を持たない。
省13
988: 2019/09/27(金)21:52:30.02 ID:0(988/1000) AAS
説明するってもねぇ。こういうのって相手が文脈を読めないと意味がほとんど通らないでしょ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.193s*