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

数学に変わる新しい理論が必要

数学を拡張した場合、カリーハワード対応における、型理論側の対応物はどうなる？

すうがくでかれーのぐをかんがえよう

ぶたにく

たまねぎ

じゃがいも

にんじん

ごはん

はたらけ

くそすれ

ばたふらいえふぇくと

>>1,2
くだらん

>>1
確率論ぇ…

>>2
様相論理かもしれないべきやもしれない

>>1
非決定論的世界を決定せえよ

イッチさんの、数学は決定論だからヤヴァいとの
件大正解、てゆうか

方程式　x=x を解くとxは全ての実数だ。
さて、
│x│= x を代数的に解けるかだ。
直感・霊感的には瞬時に│x│= xの解は、
x≧0なんだけど、・・・・

さて、代数的に解けるのだろうか？
霊感・直感で解くのは地球人的にはヤバいよな

>>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)]

[] を {} に書き換えるだけで集合の出来上がり。

{(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)}

数板実験スレ
https://rio2016.5ch.net/test/read.cgi/math/1746533256/

ｂｂ

ロケットと2.7体問題と現場ネコとロストテクノロジー
https://itest.5ch.net/rio2016/test/read.cgi/sci/1750830799/913-/

数学でも態度未決定で保留はできる。

それが虚数。つまりフィクション数。

>>1
非決定論的である確率を数学で記述できるけど？

数学に変わる新しい理論が必要

数学は技術。

記述自体は出来る。
計算できるかは別。

非決定論

法律｢人畜に害を加える性癖があきらかな｣
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/

難しい問題を解く力って数学に要らなくね
https://rio2016.5ch.io/test/read.cgi/math/1742560081/