42コメント10KB

排中律が成り立つと信じてるおまいらって...

■ このスレッドは過去ログ倉庫に格納されています

0001１３２人目の素数さん

2008/09/04(木) 01:30:51

おめでたいかもしれない。

0002１３２人目の素数さん

2008/09/04(木) 01:35:27

>>1

ブラウワー乙

0003１３２人目の素数さん

2008/09/04(木) 01:38:23

スレタイの漢字が読めねぇ・・・orz

0004１３２人目の素数さん

2008/09/04(木) 03:18:25

　　　　　　　　　　　　　　　ヽ　　　　　　　　＿,,.-──- ､
　　　　　　　　　　　　　　　　　　　 ',　　　　　　／::::::::::::::::::::::::::::::｀ヽ、
　ﾍｪｰﾗﾛﾛｫｰﾙﾉｫｰﾉﾅｰｧｵｵｫｰ　　i.　　　　／￣｀¨ー─､＿:::::::::::::::ヽ
　　　　　　　　　　　　　　　　　　 l 　　 /　　　　　　　　　ヽ、::::::::::ﾊ
　　ｱﾉﾉｱｲﾉﾉｫｵｵｵォｰﾔ　　　　 l　　 ,ナニミ　　　＿＿　　　i::::::::::::::',
　　　　　　　　　　　　　　　　 l　 / i r‐｡､〉=r'"¨¨ｰ､｀ヽ　j:::::::::::::::}
　　　ﾗﾛﾗﾛﾗﾛﾘｨﾗﾛﾛｰ　　　　　 j　 l ﾉ　ー /　 i　〔°ヽヾ=く::::彡:::::::j
.　　　　　　　　　　　　　　　　　　 /　〉-─''ノ　ヽ　￣　./　 }::::::彡:::ﾉ
　　　ﾗﾛﾗﾛﾗﾛﾘｨﾗﾛ　　　　　 / 　 l　　〈　　　　｀ー''"　 /r'"¨ヽ:::::）
　　　　　　　　　　　　　　　 ∠　　 l　　　＿＿　　　　　　ﾚ /　 /:::く
　　　ﾋｨｰｨｼﾞﾔﾛﾗﾙﾘｰﾛﾛﾛｰ　＿＞　 ',　　ヽ＿ノ　ヽ　　　ﾌ　/:::::::::〉
＼　　　　　　　　　、　　　　　 /　　　　　＼　　　　　　　　　ゝー'"::::::::::::ソ
　　ヽ、　　　　　　　　＿／　　　　　　　　｀ヽ､＿　 -‐'"　　|:::::::::::::::::::::::）
　　　　￣¨ー───　¨　　　　　　　　　　　　　 l　　　　　 -‐'"ヽ:::::::::::::::く

0005１３２人目の素数さん

2008/09/04(木) 10:54:40

現代数学は排中律が成り立つとしてるだろ

0006１３２人目の素数さん

2008/09/04(木) 11:12:03

森永排中

0007１３２人目の素数さん

2008/09/04(木) 11:43:07

＞５
してねーよ

0008１３２人目の素数さん

2008/09/04(木) 11:57:57

>>6
それは俺も思った

0009１３２人目の素数さん

2008/09/04(木) 12:38:56

中間値の定理がない解析をやりたいとは思わないな。

0010１３２人目の素数さん

2008/09/04(木) 13:22:55

天空のパイにこれに関するブラウワーのエピソードが書いてあっておもしろい

0011１３２人目の素数さん

2008/09/04(木) 18:39:08

逆に中間値の定理が成り立つような狭い条件の下で
解析やってもつまんなくね？

0012１３２人目の素数さん

2008/09/04(木) 19:02:31

面白けりゃ>>1ごときに言われんでも誰かがやってるよ

0013１３２人目の素数さん

2008/09/04(木) 21:45:01

いや、排中律を認めても、ドメイン上で連続な関数でなければ
中間値の定理って成り立たなくね？

0014１３２人目の素数さん

2008/09/04(木) 22:44:06

>>12
だから、哲学系の人が騒いでいるのでは？

0015１３２人目の素数さん

2008/09/05(金) 22:51:56

>>7
じゃあ背理法による証明は全部うそっぱちなのか？

0016１３２人目の素数さん

2008/09/06(土) 00:59:04

哲学系の人は、無限集合を使う際の排中律を批判してたんじゃなかったっけ？

0017１３２人目の素数さん

2008/09/06(土) 08:05:53

　　　　　　　　　　　　＿
　　　　　　　　　　,:"´__　｀゛:､
　　　　　　　　　／　ｌ● ） __ ｀、
　　　　　　　　／⌒::｀ｰ；● ）ｌ
　　　　　　　/　　　｀ｌ　｀ｰ´　ｌ
　　　　　　 /　　　/ ｌ　Ｏ _,,ノ|
　　　　　 / 　　　,/ / ￣￣　　ｌ
　　　　ｌ　　　,/ / 　　　　ｌ
　　　　　ｌ,　　,/ /　　　　　　ﾉ
　　　　　ｌ　/／ｌ　　　　　　,/
　　　　　｀´　　.ｌ　　　　,／
　　　　　　　　　ヽ,＿,,-"
　　　　　　　　　/　　ヽ
　　　　　　　彡ヽ　　ゝミ

0018１３２人目の素数さん

2008/09/06(土) 12:26:25

>>15
排中律が成り立たなきゃ証明できるわけねーだろ。ばか？

0019１３２人目の素数さん

2008/09/06(土) 14:32:33

>>18
具体的に何を？

0020１３２人目の素数さん

2008/09/06(土) 16:36:17

>>18
かばん

0021１３２人目の素数さん

2008/09/06(土) 17:47:12

昔は義務教育で排中律を使う最初の例は√２が無理数だってヤツだな。

これって、排中律とか背理法とかなしに証明できるの？

0022１３２人目の素数さん

2008/09/06(土) 18:00:53

素因数分解の一意性で証明できる

0023１３２人目の素数さん

2008/09/06(土) 18:04:36

数学の啓蒙書で排中律を覚えてうれしくてたまらない>1がいるのはこのスレですか？

0024１３２人目の素数さん

2008/09/06(土) 23:31:38

なんと痛々しいスレだ

0025 ◆27Tn7FHaVY

2008/09/06(土) 23:34:06

YES, SIR!

0026１３２人目の素数さん

2008/09/07(日) 00:39:08

Kingの見解は？

0027１３２人目の素数さん

2008/09/07(日) 00:41:55

>>12や>>18は釣りなのだろうか…

0028KingMind ◆KWqQaULLTg

2008/09/07(日) 03:33:18

Reply:>>26 逆に、排中律が成り立たない論理体系はどう考えるのか。

0029１３２人目の素数さん

2008/09/07(日) 06:07:44

3値論理とか4値論理とかファジイ論理とかだろ不通に

0030１３２人目の素数さん

2008/09/07(日) 06:49:24

青りんご味

0031１３２人目の素数さん

2008/09/07(日) 07:09:11

>>1
信教の自由だよ

0032１３２人目の素数さん

2008/09/07(日) 09:56:00

排中律覚えたてってどこの厨房だよwww

0033１３２人目の素数さん

2008/09/07(日) 12:11:04

おまえだよ

0034１３２人目の素数さん

2008/09/07(日) 12:46:44

中間値の定理って排中律がなくても証明できるの？

0035粋蕎 ◆C2UdlLHDRI

2008/09/07(日) 21:35:18

確かに排中律が必ずしも成り立つとは限らぬな｡
と言うか排中律は万事成り立つ訳では無いな｡

一度御仁からお答え頂し質問を改めてしよう
直観主義とは何か？

更に
三値論理・多値論理とは何か？

閾値とは何か？
ファジー論理とは何か？
ニューロン論理とは何か？

0036粋蕎 ◆C2UdlLHDRI

2008/09/07(日) 21:38:27

さて、こっからは散らかしレス

カオスとは何か？
バタフライ効果とは何か？
フラクタルとは何か？
複雑系とは何か？
ハウスドルフ空間とは何か？

0037１３２人目の素数さん

2008/09/07(日) 21:40:43

ようやく啓蒙書のレベルに到達したようです

0038GiantLeaves ◆AtWRd2AMHg

2008/09/07(日) 23:43:00

Talk:>>28 人の脳を読む能力を悪用する奴を潰せ

0039 ◆27Tn7FHaVY

2008/09/07(日) 23:46:01

啓猛暑は俺世界節を謳いあげるのが真骨頂

0040１３２人目の素数さん

2008/09/08(月) 23:18:22

物事を綺麗に２分割できるなんて想像上でしかありえ
http://science6.2ch.net/test/read.cgi/math/1216254188/
似たようなスレがあった

0041１３２人目の素数さん

2008/09/16(火) 12:30:32

洗濯小売が信じられません

0042１３２人目の素数さん

2008/09/17(水) 03:11:06

今は昔，アリは夏の間，汗水たらして一生懸命働きました。いっぽう，キリギリスは
毎日遊んで楽しく暮らしていました。キリギリスは，毎日働いてばかりのアリを
バカにしました。

「おまえら働いてばかりで何が楽しいんだ？バカじゃないの？」

夏は暑いから猫は日陰でずっと寝ています。
さて，秋が訪れてもアリは冬に備えて一生懸命働いていました。キリギリスは冬の
ことを考えると少し不安になりましたが，そのときが来ればなんとかなると思い，
相変わらず遊んでばかりいました。猫は何も考えずに走り回っていました。
ついに冬になって、アリは蓄えていた食料で一族団欒を楽しんでいました。
そんなアリの巣にキリギリスがやってきました。

「どうか腹ペコの私に食料をめぐんでくださいな」

アリはこう答えました。

「お前さんは私達が暑い中，働いていることを馬鹿にして，遊んでばかりだったじゃないか。
　虫のいいことを言うな」

追い返されて外に出たキリギリスは衰弱死しました。アリは仲間に向かって言いました。

「働かない怠け者はあんなふうに，ろくな死に方をしない」

冬も元気に走りまわっていた猫は，ふと，アリの巣の上で小便をしました。
アリの一家は残らず溺死しました。

■ このスレッドは過去ログ倉庫に格納されています