数学は決定論だから非決定論的世界を記述できない

レス数: 29

概要: 数学に変わる新しい理論が必要
No.1
数学に変わる新しい理論が必要
No.2
数学を拡張した場合、カリーハワード対応における、型理論側の対応物はどうなる?
No.3
すうがくでかれーのぐをかんがえよう
No.4
ぶたにく
No.5
たまねぎ
No.6
じゃがいも
No.7
にんじん
No.8
ごはん
No.9
はたらけ
No.10
くそすれ
No.11
ばたふらいえふぇくと
No.12
>>1
,2
くだらん
No.13
>>1

確率論ぇ…
No.14
>>2

様相論理かもしれないべきやもしれない
No.15
>>1

非決定論的世界を決定せえよ
No.16
イッチさんの、数学は決定論だからヤヴァいとの
件大正解、てゆうか
方程式 x=x を解くとxは全ての実数だ。
さて、
│x│= x を代数的に解けるかだ。
直感・霊感的には瞬時に│x│= xの解は、
x≧0なんだけど、・・・・
さて、代数的に解けるのだろうか?
霊感・直感で解くのは地球人的にはヤバいよな
No.17
>>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)]
[] を {}に書き換えるだけで集合の出来上がり。
No.18
{(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)}
No.20
bb
No.22
数学でも態度未決定で保留はできる。
No.23
それが虚数。つまりフィクション数。
No.24
>>1

非決定論的である確率を数学で記述できるけど?
No.25
数学に変わる新しい理論が必要
No.26
数学は技術。
No.27
記述自体は出来る。
計算できるかは別。
No.28
非決定論
No.29
法律「人畜に害を加える性癖があきらかな」
https://rio2016.5ch.net/test/read.cgi/sci/1764062190/14/


走馬灯現象の秘密とか
https://rio2016.5ch.net/test/read.cgi/sci/1760322460/60-75/


雑多な宗教スレ案件
https://rio2016.5ch.net/test/read.cgi/sci/1713322442/637-647/


デバッグ学と修辞学、それと雑記
https://rio2016.5ch.net/test/read.cgi/sci/1762178460/41-44/


式間を繋ぐと失われるかわかる物、新たな数学式
https://rio2016.5ch.net/test/read.cgi/sci/1766543200/15-27/


神話存在の神話文属性は神話創作芸術と神話利用変数挿
https://rio2016.5ch.net/test/read.cgi/sci/1759711769/7-8/


この物理板は
https://itest.5ch.net/rio2016/test/read.cgi/sci/1766189665/


12月〜1月の期の候
https://rio2016.5ch.net/test/read.cgi/sci/1753267386/131-134/


異世界で実家となる家ができた場合って
https://rio2016.5ch.net/test/read.cgi/sci/1747453316/183/