5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

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

■■天才たちよ!これが解けるか???

1 :東大理学部生:01/12/04 03:03
直観主義論理で次ぎの定理を証明せよ。

   ├¬¬(¬¬φ⇒φ)

できまいて(w

2 :132人目の素数さん:01/12/04 03:06
アイアイですか?

3 :東北ソル:01/12/04 03:09
>>2
どうやって解くん?

4 :東北ソル:01/12/04 03:18
>>1
キミは解けるん?

5 :132人目の素数さん:01/12/04 03:22
(¬¬) ジト目

6 :芳香さん:01/12/04 07:29
数学ヘタレ板w

7 :132人目の素数さん:01/12/04 08:05
古典論理で証明できる論理式に否定を2つつければ直観主義論理で
証明できる。このことを証明する方が見とおしがよいかもしれない
ね。まあどういう形式体系を使ってるかのもよるだろうけど。

8 :真の数学者:01/12/04 18:53
>>7
はいはいw
チミは解けないのねwww

9 ::01/12/04 19:00
アイタタタ

10 :132人目の素数さん:01/12/04 19:49
とんぼがとんどるどyy

11 :132人目の素数さん:01/12/04 20:11
直観主義って、「¬¬A⇒A」が成り立たない論理体系だっけ?

12 :132人目の素数さん:01/12/04 20:25
>>8
If you were a mathematician, it's VERY enough to say ``mathematician''.
So ``Real mathematician'' means that you are not a mathematician but
a clumsy guy.

13 :132人目の素数さん:01/12/04 22:07
あーんとけないよう。証明可能性とかでズルすんのいやだようおう

14 :東大医学部 ◆EFd5iAoc :01/12/05 19:01
>>1
解けないの?ここの板のシトタチには?漏れは解けたよ。

15 :東大医学部 ◆EFd5iAoc :01/12/05 19:03
これって難しくないと思うんだけど・・・。

16 :132人目の素数さん:01/12/05 19:08
>>12
>If you were a mathematician, it's VERY enough to say

It would

17 ::01/12/05 19:39
直感主義って何?中学生の僕でもわかるような説明くらはイ。つーかくれ。

18 :東大法学系研究家:01/12/05 19:49
>>17
それはね坊や、全てを直感的にかたづける秘策のことなんだよ。分かった?イイこだね・・・。

19 :132人目の素数さん:01/12/05 21:33
>>17
坊やね、国語の時間に「直観」て書いたら間違いなんだけどね、
論理の時間には「直観」って書くのが正しいんだよ!「直感主義」
ってのは、坊やの造語だからね、18の変なおじさんにからかわれた
んだよ。

20 :東大法学系研究家:01/12/05 23:39
マジレスしとく(w
          φ
          --
¬(¬¬φ⇒φ) ¬¬φ⇒φ
--------------------------
     _L
    --------
     ¬φ     ¬¬φ
------------------------------------
       _L
------------------------------------
       φ
------------------------------------
¬¬φ⇒φ      ¬(¬¬φ⇒φ)
------------------------------------
       _L
------------------------------------
   ¬¬(¬¬φ⇒φ)

21 :東大法学系研究家:01/12/05 23:40
結局法学系の漏れがといちまったじゃん!

22 :東大医学部 ◆EFd5iAoc :01/12/06 02:45
>>20
うちの法学部も捨てたもんじゃないと正直思った。

23 :132人目の素数さん:01/12/06 02:50
式?の意味が分からんぞい
誰か教えれ

24 :オツムてんてん:01/12/06 09:38
すみません。お借りします。
他のスレでも聞いたのですが、誰も解けなかったので
こちらの天才の方々の頭脳に期待して割り込ませていただきました。

A君のクラスの中から、4人の委員を選ぶことになりました。
クラスの全員がそれぞれ、自分を含めたクラス全員の中から
4人の名前を選んで1枚の投票用紙に書きました。
A君がすべての投票用紙を集めて調べたところ、
面白いことに気づきました。
2枚の投票用紙をどのように取り出してみても、
どちらの投票用紙にも共通して書かれている名前が
必ず1人だけ見つかるのです。
このクラスの人数は何人ですか?
ただし、1枚の投票用紙に同じ名前を2人以上書いた人はいませんでした。

25 :132人目の素数さん:01/12/06 10:30
排中律。終了

26 :132人目の素数さん:01/12/06 11:57
13

27 :132人目の素数さん:01/12/06 12:11
自作自演のかほりがします。

28 :132人目の素数さん:01/12/06 18:02
13は俺(≠24)が解いたけど?
ちなみに25は俺です(藁

あと、13はただの十分解です。そういう風な13組の選び方が実際に作れたってだけ。
ほかの数字で出来るか出来ないかは謎。帰納法とかで出来るかもしれないけど激しくめんどくさそうなので・・・・
数学的にきちんと解くとしたら結構難しい問題なのかもしれない・・・
あと、ちなみに委員の人数がN人の時に、N*(N−1)+1です。たぶん。
これもちゃんとやろうとするとさらに難しいと思う。・・・
あ、でも、俺は数学科じゃないので、すごいトンチンカンな事言ってるかもしれないです。↑(藁

29 :132人目の素数さん:01/12/06 18:17
>>28
>あと、ちなみに委員の人数がN人の時に、N*(N−1)+1です。たぶん。
であってるよ。証明もそんなに難しくない。説明がうっとしいだけ。

30 :132人目の素数さん:01/12/09 13:48
天才なら次の問題解いてくれ

今まで勃起してもちんこの長さが13cmより大きくはならなかったA君。
そんなA君のちんこの長さが14cm以上になるにはどうしたらいいでしょうか?

31 :132人目の素数さん:01/12/09 17:15
バイの方にも手を出してみる。(正解!

32 :東大医学部 ◆EFd5iAoc :01/12/10 07:41
論理学スレッドを発足すれば?

33 :天才:01/12/10 07:56
>>1
解けません、参りました。

34 :132人目の素数さん:01/12/11 10:34
>>1
直観主義では ¬(P⇒Q) を仮定すると ¬¬P と ¬Q が証明できる。
直観主義では ¬¬¬R と ¬R は同値。
P に ¬¬φ 、Q に φ 、R に ¬φ を代入すれば証明終り。

35 :問題:01/12/11 19:13
☆消えた1j☆

三人の男がホテルに入りました。
ホテルの主人が一晩30jの部屋が空いているといったので、
三人は10jずつ払って一晩泊まりました。
翌朝ホテルの主人は、部屋代が25jだったのに気づいて、
余計に請求してしまった分を返すようにとボーイに5j渡し
ました。ところが、ボーイは2jをふところに収めて三人に
1jずつ返しました。

さて、整理してみましょう。
三人の男は結局、部屋代を9jずつ出したことになり計27j。
それに、ボーイがくすねた2jを足すと29j。
あとの1jはどこに逝ってしまったのでしょう

36 :132人目の素数さん:01/12/11 19:28
>>35
よくあるやつじゃないの?
何回かみたことあるような…

37 :35:01/12/11 19:38
じゃぁ解いてよ

38 :132人目の素数さん:01/12/11 19:43
見つけました。やっちゃっていいならコピペしますよ。(w

39 :132人目の素数さん:01/12/11 19:47
>>35
何でボーイがくすねた2ドルをたすの、引いたらトータル25ドルじゃん。

40 :132人目の素数さん:01/12/11 19:47
>それに、ボーイがくすねた2jを足すと29j

足すのはボーイがくすねた2ドルではなく
5ドルからくすねた分を引いた残り(3ドル)であるべき。

だから1ドルはどこにも逝ってない。

41 :35:01/12/11 19:48
まだだめ!!

42 :35:01/12/11 19:50
遅かったか(^_^;)

43 :40:01/12/11 19:51
というか問題がちゃんと読めてなかったので氏に増す。

44 :132人目の素数さん:01/12/11 19:55
9ドルずつ払ったことになるってとこが間違ってる

45 :132人目の素数さん:01/12/11 20:00
30−3−2=25
(3*9)−2=25
くすねたのを足すからだめなの。

46 :132人目の素数さん:01/12/11 20:21
>>44は馬鹿決定

47 :っていうか:01/12/11 21:15
これテストで出たね。記号論理学の。

48 :132人目の素数さん:01/12/12 03:36
男たち 9*3
店側 25+2

27=27

49 :高校生:01/12/12 04:12
天才のみなさまご教授ください。

m枚のコインの中に1枚だけ偽物が入っている。
ただし、偽物と本物の違いは重さだけである。(重いか軽いかはわからない。)
偽物を特定するためにn回だけ天秤を使うことができる。
n回だけ天秤を使って偽物を特定することができるとき、mの最大値をnを使ってあらわせ。

よろしくお願いします。
ちなみにn=4のとき、m=39らしいです。

50 :132人目の素数さん:01/12/12 04:25
超々激しく既出。

 m枚のコインの中に重いか軽いかわからない贋金が1枚入っている場合は、
(3^(n-1)-1)/2 ≦ m < (3^n-1)/2 ならばn回で贋金を見つけ出すことが出来、
贋金が入っていることが確実で確認しなくても良ければ、
(3^(n-1)-1)/2 < m ≦ (3^n-1)/2 ならばn回で贋金を見つけ出すことが出来ます。
例えば、確認しなくても良ければ3回の測定で13枚でも贋金を指摘することが出来ます。

だってさ。例えば
http://www.hi-ho.ne.jp/yoshik-y/mathematics/m035.html


51 :132人目の素数さん:01/12/13 18:08
問題
↓のスレッドに無い問題で100レス以上つくような問題を出せ

激しく既出
http://cheese.2ch.net/test/read.cgi/math/986389805/

52 :こここ◇stjbmn:02/02/13 17:52
せせせ

53 :132人目の素数さん:02/03/12 14:28
☆消えた1ペソ☆

三人の男がホテルに入りました。
ホテルの主人が一晩30ペソの部屋が空いているといったので、
三人は10ペソずつ払って一晩泊まりました。
翌朝ホテルの主人は、部屋代が25ペソだったのに気づいて、
余計に請求してしまった分を返すようにとボーイに5ペソ渡し
ました。ところが、ボーイは2ペソをふところに収めて三人に
1ペソずつ返しました。

さて、整理してみましょう。
三人の男は結局、部屋代を9ペソずつ出したことになり計27ペソ。
それに、ボーイがくすねた2ペソを足すと29ペソ。
あとの1ペソはどこに逝ってしまったのでしょう


54 :132人目の素数さん:02/03/12 19:37
>>53
何故あなたは既に終っている糞スレに、しかも激しく既出の問題を出すのですか?

55 :132人目の素数さん:02/03/16 20:56
学校の数学の先生に聞いてもわかんないって言われました。

正三角形の土地を持っていた主人が他界する前に、次のような遺言を残した。
長男は全体の2/3、次男と妻はそれぞれ1/6をもらう。ただし、同じ形に分けるもの
とする。

わかりますか?

56 :132人目の素数さん:02/03/16 21:02
>>55
その問題知ってるけど、そんなに簡単に思いつくもんじゃないから
分からなくても不思議じゃないと思う。三角形を小さな三角形に
分割して考えてみればどうだろうか?と、言ってもそれでも難しいけど。

57 :132人目の素数さん:02/03/16 21:03
>>55
富蘭平太の著作中で見かけた問題。
自分で答えを見てください。

58 :132人目の素数さん:02/03/16 21:05
>>57
自分の本には答え載ってなかったっす

59 :132人目の素数さん:02/03/16 21:20
>>55
最近どっかで既出。さくらスレだったかな?

60 :132人目の素数さん:02/03/16 22:10
やっぱりさくらスレ24にあった。
http://cheese.2ch.net/test/read.cgi/math/1014673280/679-685

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

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)