悪魔の証明
-
361
これで最後。連レス失礼
2015/02/04(水) 06:10:41 ID: DWfZzdFD4l
-
👍0高評価👎0低評価
-
362
ななしのよっしん
2015/02/04(水) 06:17:42 ID: DWfZzdFD4l
-
👍0高評価👎0低評価
-
363
ななしのよっしん
2015/02/07(土) 18:10:45 ID: pBTF9WkhpB
-
👍0高評価👎0低評価
-
364
ななしのよっしん
2015/02/14(土) 01:38:26 ID: SNUJZ0Kex9
-
👍0高評価👎0低評価
-
365
ななしのよっしん
2015/02/25(水) 15:49:00 ID: fX0vhcrQtP
-
👍0高評価👎0低評価
-
366
ななしのよっしん
2015/03/07(土) 18:39:19 ID: ZVFyyRoTFv
-
👍0高評価👎0低評価
-
367
ななしのよっしん
2015/03/27(金) 05:13:12 ID: tPX8VmCNNT
-
👍0高評価👎0低評価
-
368
ななしのよっしん
2015/04/03(金) 11:45:05 ID: 1lGZsXKtdC
-
👍0高評価👎0低評価
-
369
ななしのよっしん
2015/04/04(土) 23:37:21 ID: DWfZzdFD4l
-
👍0高評価👎0低評価
-
370
ななしのよっしん
2015/04/05(日) 00:05:18 ID: DWfZzdFD4l
-
>>367
>言葉を論理学用語として捉え過ぎ(以下略)
論理学用語じゃないし法律用語としても意味違うと知ってて使う人が多いならおk。だが実際は科学者ですら…
>大量破壊兵器が見つかったといえば(以下略)
不存在証明は激ムズって先入観ある人(ねらーとか)はそう思う人多いだろうけど、そうじゃない人はどう?
あと多数決は論理や科学の判定基準にならないでしょ。言葉の意味や政治的合意なら多数決でいいけどさ
まして「多くの人はこう思ったようだ」って根拠で不存在証明は難しいとかの法則性は主張できないよ
>アリバイ証明だって(以下略)
8725+82376と53987+9437+9430の難しさはあまり変わんないでしょ。おんなじだよ。将棋みたく分岐もないし
そのワンステップに物理的手間とかあるなら別だけど双子の共犯とかは超レアだしほぼコストゼロだと思う
同一人物かの判定とかは、すべて存在証明の難しさだし -
👍0高評価👎0低評価
-
371
ななしのよっしん
2015/04/05(日) 00:22:59 ID: DWfZzdFD4l
-
>>367(続き)
>証明法が無限だから、証明法の形式に乗るから難しくないってのは暴論
正確に言うと「一般的に存在証明より難しい…なんてことは成り立たない」。これなら暴論じゃない筈
数回に1回は例外があるようなものは法則とか基準にはならないと思う
論理的真理ってのは常にどんな世界でも成り立つものを言う。そんなだいそれたもの…と思うかもしれないけど、
誰もが日常で知らず知らず使ってる三段論法や背理法はまさしく論理的真理で、前提が正しければ100%正しい
歴史的由来だって本当はどうでもいいんだけど、人によって意味が違うのが最悪
俗に使われてる意味はみんな誤用だから、どれが正しい用法だっていう訂正も嘘になるから意味が収束しない
定義をあやふやにしたまま議論で「それは悪魔の証明だから…」とか持ち出す人って、どう?論理的?
じゃあ毎回説明してコンセンサス取る?そんなことしなくても普通に議論すればこんな妙なワード不要なのに -
👍0高評価👎0低評価
-
372
ななしのよっしん
2015/04/05(日) 01:21:51 ID: DWfZzdFD4l
-
不存在証明は難しい…って理論は既存の常識には無い概念ぽいのに正しそうなので、知的好奇心を煽られる
でも適当でもいいから式なり、言い換えなり、概念図なりで表されるの見たこと無いんだよね
自分も興味持って検討した。結論を言うと、正しさの論理的構造は分かったが非常に限定的な法則になってしまう
意味するのは探索領域の大小だろうと考えた。問題は存在証明の定義
物の存在レベルを概念的存在、物理学的存在、有限個数の存在、固有名詞的存在…あたりに分類して、
存在証明の種類を論理的な成立可能性、共通性質での判断、現物探索による証拠取得、現物直接提示に分類。
存在VS不存在証明の対のうち、有限かつ個数不定の存在の現物探索or直接提示証明のみ使える場合に限り、
有限領域に有限不定個数の存在があるかないかの証明ではアリバイ証明も使えないので、
ランダムな探索の労力の期待値は不存在証明の方が大。[探索物の大きさ/領域の広さ]が小さいほど差は広がる
こんな感じで、条件が厳しくて使用場面は限られる。でも正当性を感じる部分は明らかに出来たと思う -
👍0高評価👎0低評価
-
373
ななしのよっしん
2015/04/05(日) 01:43:42 ID: DWfZzdFD4l
-
追記:上の表現じゃわかりにくすぎるので簡単に言い換えた
1.この現実世界あるいは仮想空間において、特定の位置を取って一定の大きさを持つもので、
2.二つ以上ある(今気づいたけど無限個でも可かも)と思われるものが、
3.ものの大きさに比べて広い、ある場所のどこかにあるかもしれなくて探すことになった場合、
4.探す場所を狭く限定させるような情報が探索領域内外問わず入手不可能で(これが実際的には厳しい条件)、
5.探索領域以外での個数を簡単に数えられないか数えられても探索領域内の個数は分からなくて、
6.現物を見つけて証拠を得るか直接目の前で見せる事以外が証明として認められないとき(これも厳しい)。
こういうケースにおいては、不存在証明は存在証明より難しい。 -
👍0高評価👎0低評価
-
374
ななしのよっしん
2015/04/05(日) 01:51:02 ID: DWfZzdFD4l
-
👍0高評価👎0低評価
-
375
73
2015/04/19(日) 16:29:41 ID: Mo0uCwwlL7
-
👍0高評価👎0低評価
-
376
ななしのよっしん
2015/05/17(日) 08:11:34 ID: PjZyyXNmjS
-
👍0高評価👎0低評価
-
377
ななしのよっしん
2015/08/15(土) 21:22:25 ID: NuZWpn34zR
-
👍0高評価👎0低評価
-
378
ななしのよっしん
2015/08/23(日) 14:37:16 ID: Hvs7KZdFSK
-
👍0高評価👎0低評価
-
379
ななしのよっしん
2015/08/23(日) 14:58:09 ID: CadsC8URSs
-
👍0高評価👎0低評価
-
380
ななしのよっしん
2015/09/12(土) 03:01:29 ID: ZVFyyRoTFv
-
👍0高評価👎0低評価
-
381
ななしのよっしん
2015/10/08(木) 23:33:07 ID: NkP9zoP/J+
-
というかこれが問題になるのはどうしても答えを出さなきゃいけない法廷くらいなんだから
俺らは信じたいものを信じればいいんじゃないの -
👍0高評価👎0低評価
-
382
ななしのよっしん
2015/10/24(土) 13:59:18 ID: SNjBVbe3+W
-
👍0高評価👎0低評価
-
383
名無しのよっしん
2015/12/01(火) 16:43:52 ID: kqrp44A8nO
-
👍0高評価👎0低評価
-
384
ななしのよっしん
2015/12/14(月) 18:46:28 ID: Yb09+ZCyQR
-
👍0高評価👎0低評価
-
385
ななしのよっしん
2015/12/23(水) 11:47:46 ID: SNjBVbe3+W
-
👍0高評価👎0低評価
-
386
ななしのよっしん
2016/01/13(水) 23:21:32 ID: FCpJuWHN8J
-
👍0高評価👎0低評価
-
387
ななしのよっしん
2016/02/01(月) 14:02:17 ID: ae62FnbYYk
-
👍0高評価👎0低評価
-
388
ななしのよっしん
2016/02/04(木) 11:52:32 ID: dnyeG/6TOC
-
👍0高評価👎0低評価
-
389
ななしのよっしん
2016/03/09(水) 00:16:10 ID: 7fCehF8gx7
-
👍0高評価👎0低評価
-
390
ななしのよっしん
2016/05/04(水) 04:38:42 ID: DWfZzdFD4l
-
👍0高評価👎0低評価