数学は決定論だから非決定論的世界を記述できない (27ﾚｽ)
数学は決定論だから非決定論的世界を記述できない http://rio2016.5ch.net/test/read.cgi/math/1726576549/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: １３２人目の素数さん [] 2024/09/17(火) 21:35:49.90 ID:nG823ATL 数学に変わる新しい理論が必要 http://rio2016.5ch.net/test/read.cgi/math/1726576549/1
2: １３２人目の素数さん [] 2024/09/17(火) 22:02:46.13 ID:dDOwUrlR 数学を拡張した場合、カリーハワード対応における、型理論側の対応物はどうなる？ http://rio2016.5ch.net/test/read.cgi/math/1726576549/2
3: １３２人目の素数さん [sage] 2024/09/17(火) 22:57:12.86 ID:y8t8y6zv すうがくでかれーのぐをかんがえよう http://rio2016.5ch.net/test/read.cgi/math/1726576549/3
4: １３２人目の素数さん [sage] 2024/09/17(火) 22:57:28.38 ID:y8t8y6zv ぶたにく http://rio2016.5ch.net/test/read.cgi/math/1726576549/4
5: １３２人目の素数さん [sage] 2024/09/17(火) 22:57:41.81 ID:y8t8y6zv たまねぎ http://rio2016.5ch.net/test/read.cgi/math/1726576549/5
6: １３２人目の素数さん [sage] 2024/09/17(火) 22:57:57.95 ID:y8t8y6zv じゃがいも http://rio2016.5ch.net/test/read.cgi/math/1726576549/6
7: １３２人目の素数さん [sage] 2024/09/17(火) 22:58:13.30 ID:y8t8y6zv にんじん http://rio2016.5ch.net/test/read.cgi/math/1726576549/7
8: １３２人目の素数さん [sage] 2024/09/17(火) 22:58:27.80 ID:y8t8y6zv ごはん http://rio2016.5ch.net/test/read.cgi/math/1726576549/8
9: １３２人目の素数さん [sage] 2024/09/17(火) 22:58:53.62 ID:y8t8y6zv はたらけ http://rio2016.5ch.net/test/read.cgi/math/1726576549/9
10: １３２人目の素数さん [sage] 2024/09/17(火) 22:59:09.76 ID:y8t8y6zv くそすれ http://rio2016.5ch.net/test/read.cgi/math/1726576549/10
11: １３２人目の素数さん [sage] 2024/09/17(火) 23:15:49.46 ID:y8t8y6zv ばたふらいえふぇくと http://rio2016.5ch.net/test/read.cgi/math/1726576549/11
12: １３２人目の素数さん [sage] 2024/09/28(土) 09:39:30.29 ID:bKBH8raC >>1,2 くだらん http://rio2016.5ch.net/test/read.cgi/math/1726576549/12
13: １３２人目の素数さん [] 2024/10/15(火) 21:18:15.16 ID:Ls0jZlFM >>1 確率論ぇ… http://rio2016.5ch.net/test/read.cgi/math/1726576549/13
14: １３２人目の素数さん [sage] 2024/10/16(水) 15:45:48.99 ID:QRlDARl1 >>2 様相論理かもしれないべきやもしれない http://rio2016.5ch.net/test/read.cgi/math/1726576549/14
15: １３２人目の素数さん [] 2024/10/17(木) 21:03:31.28 ID:MSzJTze1 >>1 非決定論的世界を決定せえよ http://rio2016.5ch.net/test/read.cgi/math/1726576549/15
16: １３２人目の素数さん [] 2024/10/19(土) 09:22:25.35 ID:8pTxQkot イッチさんの、数学は決定論だからヤヴァいとの 件大正解、てゆうか 方程式 x=x を解くとxは全ての実数だ。 さて、 │x│= x を代数的に解けるかだ。 直感・霊感的には瞬時に│x│= xの解は、 x≧0なんだけど、・・・・ さて、代数的に解けるのだろうか？ 霊感・直感で解くのは地球人的にはヤバいよな http://rio2016.5ch.net/test/read.cgi/math/1726576549/16
17: １３２人目の素数さん [] 2024/11/11(月) 22:30:43.17 ID:ql1qzO0E >>1 リストは非決定性のモナド https://kazu-yamamoto.hatenablog.jp/entry/20100527/1274925294 んで、リストの内包表記は集合の内包表記を丸パクリした奴。 なので、集合の内包表記も非決定性の文脈を表す。 [(x,y,z) | let n = 20, x <- [1..n], y <- [1..n], z <- [1..n], z^2 == x^2 + y^2, x <= y && y <= z] = [(3,4,5),(5,12,13),(6,8,10),(8,15,17),(9,12,15),(12,16,20)] [] を {} に書き換えるだけで集合の出来上がり。 http://rio2016.5ch.net/test/read.cgi/math/1726576549/17
18: １３２人目の素数さん [] 2024/11/11(月) 22:34:42.02 ID:ql1qzO0E {(x,y,z) | let n = 20, x ← {1..n}, y ← {1..n}, z ← {1..n}, z² = x² + y², x ≦ y ≦ z} = {(3,4,5),(5,12,13),(6,8,10),(8,15,17),(9,12,15),(12,16,20)} http://rio2016.5ch.net/test/read.cgi/math/1726576549/18
19: poem [] 2025/05/06(火) 21:55:20.05 ID:gQ+RGHgo 数板実験スレ https://rio2016.5ch.net/test/read.cgi/math/1746533256/ http://rio2016.5ch.net/test/read.cgi/math/1726576549/19
20: １３２人目の素数さん [] 2025/06/16(月) 03:26:57.94 ID:R1d9eHAr ｂｂ http://rio2016.5ch.net/test/read.cgi/math/1726576549/20
21: poem [] 2025/07/15(火) 20:44:03.99 ID:OrFpJqKp ロケットと2.7体問題と現場ネコとロストテクノロジー https://itest.5ch.net/rio2016/test/read.cgi/sci/1750830799/913-/ http://rio2016.5ch.net/test/read.cgi/math/1726576549/21
22: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/07/15(火) 21:33:32.07 ID:cJq/fkRs 数学でも態度未決定で保留はできる。 http://rio2016.5ch.net/test/read.cgi/math/1726576549/22
23: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/07/15(火) 23:07:43.88 ID:cJq/fkRs それが虚数。つまりフィクション数。 http://rio2016.5ch.net/test/read.cgi/math/1726576549/23
24: １３２人目の素数さん [sage] 2025/07/15(火) 23:13:57.90 ID:f6eKYL5B >>1 非決定論的である確率を数学で記述できるけど？ http://rio2016.5ch.net/test/read.cgi/math/1726576549/24
25: １３２人目の素数さん [] 2025/07/25(金) 20:51:36.52 ID:6CsLglYp 数学に変わる新しい理論が必要 http://rio2016.5ch.net/test/read.cgi/math/1726576549/25
26: １３２人目の素数さん [sage] 2025/08/22(金) 01:18:50.07 ID:p53eXvyw 数学は技術。 http://rio2016.5ch.net/test/read.cgi/math/1726576549/26
27: １３２人目の素数さん [] 2025/09/18(木) 19:28:22.28 ID:jrKtmDxk 記述自体は出来る。 計算できるかは別。 http://rio2016.5ch.net/test/read.cgi/math/1726576549/27
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.005s