分からない問題はここに書いてね434

874 ：１３２人目の素数さん：2017/10/14(土) 15:04:45.83 ID:o183pcNN.net

言っても分からんか
普通に教科書読めで仕舞いだ

875 ：１３２人目の素数さん：2017/10/14(土) 15:05:09.23 ID:bhk6txZ8.net

>>853
お願いします

876 ：１３２人目の素数さん：2017/10/14(土) 15:06:18.55 ID:4clY7sjY.net

教科書レベルなのはわかってますが、それすらわからないのがここの人たちですよね？

877 ：１３２人目の素数さん：2017/10/14(土) 15:09:44.80 ID:o183pcNN.net

ここまで言ってもまだ分からん辺り、数学の教科書を読んだことがないんだろうな
「教科書レベルすら」
いやいや、「教科書レベルだから」君の要求は間抜けなんだよ
こう書くとまた誤解するんだろうけどｗ

878 ：１３２人目の素数さん：2017/10/14(土) 15:11:05.75 ID:4clY7sjY.net

でも、あなたは実際解けって言われても解けませんよね？

879 ：１３２人目の素数さん：2017/10/14(土) 15:13:56.41 ID:o183pcNN.net

思った通りの誤解っぷりだね

880 ：１３２人目の素数さん：2017/10/14(土) 15:15:04.19 ID:4clY7sjY.net

わからないんですね(笑)

わかってるなら数行で終わることを書かないということは、そういうことです

881 ：１３２人目の素数さん：2017/10/14(土) 15:16:05.85 ID:o183pcNN.net

とうとう決定的なミスを犯したね
「わかってるなら数行で終わること」
そういうことだよ、君の誤解は

882 ：１３２人目の素数さん：2017/10/14(土) 15:16:51.78 ID:4clY7sjY.net

そうやって反論してるうちに回答かけますよね？

もし本当にわかってるなら(笑)

883 ：１３２人目の素数さん：2017/10/14(土) 15:19:17.09 ID:o183pcNN.net

反論？君は議論でもしてるつもりだったのかｗ
俺は間抜けをからかうことで、他の人にも分かりやすく君の間抜けっぷりを晒しただけだぞ

884 ：１３２人目の素数さん：2017/10/14(土) 15:20:12.87 ID:4clY7sjY.net

あなたの今までしてきたレス数使えば答えは完成しますね

答えではなく煽りを書き込むということは、わからないということです…(笑)

885 ：１３２人目の素数さん：2017/10/14(土) 15:20:51.02 ID:o183pcNN.net

なんにせよ、
「わかってるなら数行で終わること」
この認識を改めない限り他の人との会話にはついていけない
高校スレに帰れって何度も言われたことあるだろ？

886 ：１３２人目の素数さん：2017/10/14(土) 15:23:13.27 ID:4clY7sjY.net

任意の整合的な理論に対してそれを充足させるような少なくとも一つの解釈が存在する、ということを既知とします

これでも数行で答え書けないんですか？

887 ：１３２人目の素数さん：2017/10/14(土) 15:28:03.88 ID:o183pcNN.net

いよいよ切羽詰ってるようだね
今の君は何が何でも「わかってるなら数行で終わること」という失言を取り繕おうとしてるだけだ
それを既知とする、ほんの「教科書レベル」が、一体どこにある？

888 ：１３２人目の素数さん：2017/10/14(土) 15:28:56.43 ID:4clY7sjY.net

ここにあります

こんな簡単な問題なんですから、もちろんわかりますよね？
次のレスで回答以外のレスが返ってきた場合、あなたはわからないのだと判断します(笑)

889 ：１３２人目の素数さん：2017/10/14(土) 15:32:01.54 ID:o183pcNN.net

ないよ、そんなものは
せめて本当に存在する教科書でも持ってこい
自明に同値な条件を書いて「証明せよ」とは、これまた間抜けだと気付いてない

890 ：１３２人目の素数さん：2017/10/14(土) 15:41:06.88 ID:ikRP/D0j.net

>>889
わからないんですね(笑)
わからないレベルの低い人の相手をする暇はないですね

891 ：１３２人目の素数さん：2017/10/14(土) 16:26:43.80 ID:NeZ/jqZV.net

>>886
数行で終わるって何で？
相当掛かると思うけど

892 ：１３２人目の素数さん：2017/10/14(土) 16:27:06.34 ID:4clY7sjY.net

>>891
わからないんですね(笑)

893 ：１３２人目の素数さん：2017/10/14(土) 16:30:58.81 ID:NeZ/jqZV.net

>>892
教えてください

894 ：１３２人目の素数さん：2017/10/14(土) 16:31:45.19 ID:4clY7sjY.net

>>874さんによると、教科書を読め、だそうです(笑)

895 ：１３２人目の素数さん：2017/10/14(土) 16:33:56.19 ID:NeZ/jqZV.net

>>894
それは知らないしどうでもいい
数行で書けるんなら書いてみてよ

896 ：１３２人目の素数さん：2017/10/14(土) 16:37:08.36 ID:Zd83HJfE.net

じゃ、まずあなたの回答から見たいですね
あなたの場合は、問題文理解してるかすら怪しいですから

897 ：１３２人目の素数さん：2017/10/14(土) 16:39:45.98 ID:o183pcNN.net

>>896
>>877

おそらく既に全ての応答パターンが出尽くしてるんじゃないかな
君の反応は余りにも型通りだから

898 ：１３２人目の素数さん：2017/10/14(土) 16:39:48.74 ID:dtRv0inc.net

∫(0→π) (2/πi)(cosθ + isinθ）=4/π
となりますが、この答えは、

πを求める連分数計算における
1+1/(3+(1+3)/(5+(1+3+5)/(7+(1+3+5+7)/9+...=4/π
と等しいです

等しくなることの意味は何なのでしょうか？

899 ：１３２人目の素数さん：2017/10/14(土) 16:42:01.27 ID:Zd83HJfE.net

>>897
レベルの低い人には聞いてません

900 ：１３２人目の素数さん：2017/10/14(土) 16:43:42.83 ID:o183pcNN.net

>>899
都合が悪くなると主張を翻して俺をダシに使ったのは君だぞ
早く当初の主張通りに数行で証明してやれ

901 ：１３２人目の素数さん：2017/10/14(土) 16:44:15.04 ID:Zd83HJfE.net

>>900
あなたがすればいいんじゃないですか？
できるものなら(笑)

902 ：１３２人目の素数さん：2017/10/14(土) 16:46:11.42 ID:o183pcNN.net

>>901
「わかってるなら数行で終わること」と誤解していたのは君だ
俺はそれを否定し続けてきた
もう少し論理的に話そうよ

903 ：１３２人目の素数さん：2017/10/14(土) 16:47:36.40 ID:B872vbOC.net

法華経と六法全書はどっちの方が凄いですか？

904 ：１３２人目の素数さん：2017/10/14(土) 16:47:43.61 ID:Zd83HJfE.net

>>902
>>891は>>886を用いてもわからないらしいですよ？

わかるそぶりを見せてたはずですが、もしかしてあなたもわからなかったんですか？
ま、そうでしょうね(笑)

905 ：１３２人目の素数さん：2017/10/14(土) 16:48:49.25 ID:o183pcNN.net

>>904
>>889

906 ：１３２人目の素数さん：2017/10/14(土) 16:49:43.47 ID:Zd83HJfE.net

>>905
自明でも少しは説明できるはずですよね？
で、その説明は数行以内で終わります

わからないんですか？

907 ：１３２人目の素数さん：2017/10/14(土) 16:51:10.31 ID:o183pcNN.net

>>906
>>900

908 ：１３２人目の素数さん：2017/10/14(土) 16:51:50.68 ID:Zd83HJfE.net

>>907
ループしましたね(笑)

ま、わからないんでしょうね

私はわかりますけど

909 ：１３２人目の素数さん：2017/10/14(土) 16:52:48.50 ID:JUUr/Kyi.net

そろそろ次スレ必要かなと思うｗ

910 ：１３２人目の素数さん：2017/10/14(土) 17:03:29.10 ID:B872vbOC.net

空海とマキシム・コンツェビッチはどっちの方が天才ですか？

911 ：１３２人目の素数さん：2017/10/14(土) 17:08:02.85 ID:9pQwxPIT.net

公理系がどうとか、難しいことを知っている方に何度か

２つの基点付き空間A、Bに対して、ホモトピー同値写像
S(A×B)→S(A∧B)∨S(A)∨S(B)
が存在することを示せ

という問題を教えてもらおうとしているのですが、解答が頂けません
何故でしょうか？

912 ：１３２人目の素数さん：2017/10/14(土) 17:10:21.65 ID:dtRv0inc.net

>>898
早急に答えが欲しいです
おねがいします

913 ：１３２人目の素数さん：2017/10/14(土) 17:14:34.54 ID:2R5WAXw4.net

日本人は全員ゴミ

914 ：１３２人目の素数さん：2017/10/14(土) 17:20:50.07 ID:NeZ/jqZV.net

>>901
数行で書けるって言っていたID:4clY7sjYと同じ人なのかな？

915 ：１３２人目の素数さん：2017/10/14(土) 17:21:52.23 ID:Zd83HJfE.net

>>914
そうですね

916 ：１３２人目の素数さん：2017/10/14(土) 17:27:22.56 ID:CDOAZ8iY.net

数学基礎論は完成しているのでしょうか？

完成していないとするといつ完成するのでしょうか？

917 ：１３２人目の素数さん：2017/10/14(土) 17:28:10.34 ID:CDOAZ8iY.net

役にも立たない未完成品を勉強したいと思う人は少ないのではないでしょうか？

918 ：１３２人目の素数さん：2017/10/14(土) 17:29:40.31 ID:9pQwxPIT.net

>>915
>>911に答えていただけませんか？

919 ：１３２人目の素数さん：2017/10/14(土) 17:30:38.89 ID:NeZ/jqZV.net

>>915
数行で書けるのなら書いてよ

920 ：１３２人目の素数さん：2017/10/14(土) 17:34:01.36 ID:Zd83HJfE.net

>>919
わからないんですね(笑)

921 ：１３２人目の素数さん：2017/10/14(土) 17:35:30.40 ID:9pQwxPIT.net

>>920
>>911に答えていただけませんか？
無視しないでください

922 ：１３２人目の素数さん：2017/10/14(土) 17:36:05.06 ID:NeZ/jqZV.net

>>917
完成って？
たしかに勉強したい人は少ないかも知れないけど未完成だから少ないというのはどうかしらね

923 ：１３２人目の素数さん：2017/10/14(土) 17:36:20.47 ID:NeZ/jqZV.net

>>920
分かりません

924 ：１３２人目の素数さん：2017/10/14(土) 17:37:25.61 ID:CDOAZ8iY.net

浅野孝夫著『アルゴリズムの基礎とデータ構造』を読んでいます。

「上の挿入ソートの例のように、基本演算回数（比較回数）は入力サイズ n にのみ
依存するとは言えない。そこで、入力サイズ n の入力のうちでアルゴリズムが最も
多くの基本演算を必要とする入力を考えて、それに対する基本演算回数を、本書ではん、
サイズ n の入力に対するアルゴリズムの計算量（time complexity of an algorithm）と
呼ぶ。すなわち、最悪の場合を想定してアルゴリズムの計算量を定めていることになる。
このようにして定められたアルゴリズムの計算量 T はもちろん n にのみ依存する関数で
あるので T(n) と書ける。上の挿入ソートの例では T(n) = n*(n-1)/2 である。」

と書いてあります。

その後、マージソートのところには、

「マージソートの計算量は T(n) = O(n*log(n)) である」

と書いてあります。

T(n) は最悪の場合の計算量ですから、

T(n) = Θ(n*log(n)) が正しいのではないでしょうか？

ちなみに、浅野さんは、この本の最初のほうで O, Ω, Θ を定義しています。

もちろん、 f(n) ∈ Θ(n*log(n)) ⇒ f(n) ∈ O(n*log(n)) ですが。

浅野さんは、挿入ソートの計算量を

O(n^2)

と書いています。

これも

Θ(n^2)

と書くべきですよね。

「上の挿入ソートの例では T(n) = n*(n-1)/2」

ですから。

925 ：１３２人目の素数さん：2017/10/14(土) 17:40:26.70 ID:Zd83HJfE.net

>>923
そうですか

残念ですね(笑)

926 ：１３２人目の素数さん：2017/10/14(土) 17:42:07.72 ID:NeZ/jqZV.net

>>925
あなたは不誠実な人だと思います

927 ：１３２人目の素数さん：2017/10/14(土) 17:42:15.87 ID:9pQwxPIT.net

>>925
>>911に何故答えてくれないのですか？

928 ：１３２人目の素数さん：2017/10/14(土) 17:47:06.69 ID:Zd83HJfE.net

τ|-φではないとします
{τ,¬φ}は無矛盾となります
もし矛盾しているならば、τ,¬φ|-すなわちτ|-φが証明可能となるので仮定に反します
>>886より{τ,¬φ}はモデルを持ちます
このモデルにおいては、τと¬φが真となりますが、これは仮定に反します

929 ：１３２人目の素数さん：2017/10/14(土) 17:49:18.66 ID:iFT4waZT.net

揃いも揃ってID真っ赤っかで草

930 ：１３２人目の素数さん：2017/10/14(土) 17:49:33.69 ID:9pQwxPIT.net

>>928
やはり賢いのですね
>>911をお願いします！

931 ：１３２人目の素数さん：2017/10/14(土) 17:51:50.52 ID:CDOAZ8iY.net

上野健爾さんが、

a_n → α （n → ∞）

であるとき、

(a_1 + a_2 + … + a_n) / n → α （n → ∞）

が成り立つことは直観的な収束の定義からは導くことはできないと書いています。

でも、成り立つことは、直観的に明らかですよね。

932 ：１３２人目の素数さん：2017/10/14(土) 17:53:59.76 ID:CDOAZ8iY.net

イプシロンデルタ論法を知らない高校生が

この結果を導いたとしても誰も驚きませんし、褒めることさえしないですよね。

933 ：１３２人目の素数さん：2017/10/14(土) 18:02:13.28 ID:69ErbfRL.net

n^2 - m(m+1)/2 = 2 を満たす正の整数(m,n)が存在しないことの証明を重ねて御願い致します

934 ：１３２人目の素数さん：2017/10/14(土) 18:04:50.73 ID:Ihl9MReE.net

結論

ID:4clY7sjY はただ煽るだけ

935 ：１３２人目の素数さん：2017/10/14(土) 18:05:32.59 ID:Ihl9MReE.net

ID:Zd83HJfE

も同一人物

936 ：１３２人目の素数さん：2017/10/14(土) 18:07:33.75 ID:Zd83HJfE.net

>>928
答え書きましたよね？

937 ：１３２人目の素数さん：2017/10/14(土) 18:12:24.65 ID:9pQwxPIT.net

>>936
もしかして>>911は分からないんですか？

938 ：１３２人目の素数さん：2017/10/14(土) 18:13:49.74 ID:QshKtkmn.net

>>928
伺いたいのですが，「証明可能」の定義は何ですか？

939 ：１３２人目の素数さん：2017/10/14(土) 18:16:36.65 ID:Zd83HJfE.net

>>938
あるシークエントAから別のシークエントBへの証明図が存在することです

940 ：１３２人目の素数さん：2017/10/14(土) 18:18:41.36 ID:QshKtkmn.net

>>939
シークエントと証明図の定義は何ですか？

941 ：１３２人目の素数さん：2017/10/14(土) 18:23:06.55 ID:Zd83HJfE.net

論理式a1,a2,...,anおよびb1,b2,...,bmがあるとき
a1,a2,...,an|-b1,b2,...,bmをシークエントといいます

A,Bをシークエントとするとき、推論規則を用いて
A
---
B
というようにAからBを導く操作を推論といい、↑の図を推論図といいます
AからBへの証明図とは一番上のシークエントがAで、一番下のシークエントがBであるような推論図のことです

942 ：１３２人目の素数さん：2017/10/14(土) 18:27:35.28 ID:QshKtkmn.net

>>941
論理式，推論規則，推論の定義は何ですか？

943 ：１３２人目の素数さん：2017/10/14(土) 18:28:46.91 ID:Ihl9MReE.net

ID:QshKtkmn

こいつはこいつで...

944 ：１３２人目の素数さん：2017/10/14(土) 18:29:07.48 ID:Zd83HJfE.net

>>942
いくつかの記号の集まりをL-言語(C,F,P)として以下で定義します
C:定数記号

F:関数記号

P:命題記号
述語記号

変数記号
論理記号

C,F,Pはある言語特有のものですが、変数記号と論理記号はいかなる言語でも共通のものが使われます
関数記号と述語記号にはアリティと呼ばれる自然数が対応付けられています

L-言語の項を以下で定義します
•定数記号は項である
•変数記号は項である
•アリティnの関数記号Fに対して、t1〜tnを項とすれば、F t1 t2 ... tnは項である
•以上で定められたものだけが項である

L-言語の論理式を以下で定義します
以下、t1〜tnは項、A,Bを論理式とします
•命題記号は論理式である
•アリティnの述語記号Pに対して、P t1 t2 ... tnは論理式である
•上で定めたP t1 t2 ... tnが変数記号xを含む時、∀x P t1 t2 ... tn、∃x P t1 t2 ... tnは論理式である
•¬Aは論理式である
•A∧Bは論理式である
•A∨Bは論理式である
•A→Bは論理式である
•以上で定められたものだけが論理式である

945 ：１３２人目の素数さん：2017/10/14(土) 18:30:17.80 ID:Zd83HJfE.net

あるシークエントから別のシークエントへと書き換える操作を推論といい、推論を行う際の規則群を推論規則といいます

946 ：１３２人目の素数さん：2017/10/14(土) 18:34:49.95 ID:Ihl9MReE.net

http://www.nue.riec.tohoku.ac.jp/user/aoto/lecture/15Logic/lecture6.pdf
http://www.sakabe.i.is.nagoya-u.ac.jp/~nishida/DB/pdf/nagashima04ss2004-33.pdf

947 ：１３２人目の素数さん：2017/10/14(土) 18:35:18.57 ID:NeZ/jqZV.net

>>929
変な人を相手にしちゃったって感じでスマン

948 ：１３２人目の素数さん：2017/10/14(土) 18:36:09.06 ID:QshKtkmn.net

>>944-945
集まり，言語，記号，定数〜論理記号の定義は何ですか？

949 ：１３２人目の素数さん：2017/10/14(土) 18:38:11.83 ID:NeZ/jqZV.net

>>934
たぶんだけど
数学を考えることが不自由な人じゃないかなって気がする
ペダンティックな雰囲気を好むだけで
実質的にナニカしようとはしない人じゃないかなあ

950 ：１３２人目の素数さん：2017/10/14(土) 18:39:08.10 ID:Zd83HJfE.net

>>948
集まり、言語、はメタのレベルでの素朴な意味だとします

記号はメタの意味での自然数のことです

定数〜論理記号は、記号に特定の意味を付加したもので、その意味は上に書いてあります

でも、論理記号がぬけていましたね
論理記号とは∀∃¬∧∨→のことです

>>949
私は答えを書きましたよ？
なんとか言ったらどうなんですか？

951 ：１３２人目の素数さん：2017/10/14(土) 18:39:53.94 ID:Mp3l531I.net

>>949
劣等感ウンコ婆という荒らしをしらないのか？

952 ：１３２人目の素数さん：2017/10/14(土) 18:40:42.71 ID:NeZ/jqZV.net

>>943
うむ

953 ：１３２人目の素数さん：2017/10/14(土) 18:41:24.69 ID:QshKtkmn.net

>>950
それでは，「集まり」においてラッセルのパラドックスが回避できませんが，それでよいのですか？
また，「メタ」とが何でしょうか？
∀，∃，¬，∧，∨，→の定義は何ですか？

954 ：１３２人目の素数さん：2017/10/14(土) 18:41:32.52 ID:NeZ/jqZV.net

>>950
まだ書いてないのでは？
数行でしょうに

955 ：１３２人目の素数さん：2017/10/14(土) 18:43:33.43 ID:Zd83HJfE.net

>>954
928 名前:１３２人目の素数さん [sage] :2017/10/14(土) 17:47:06.69 ID:Zd83HJfE
τ|-φではないとします
{τ,¬φ}は無矛盾となります
もし矛盾しているならば、τ,¬φ|-すなわちτ|-φが証明可能となるので仮定に反します
>>886より{τ,¬φ}はモデルを持ちます
このモデルにおいては、τと¬φが真となりますが、これは仮定に反します

956 ：１３２人目の素数さん：2017/10/14(土) 18:44:51.16 ID:Zd83HJfE.net

>>953
物理板でいいましたよね？
記号の集まりにラッセルのパラドックスは発生し得ません

メタとは、われわれの直観的な理解をそのまま議論に取り入れることです

記号の定義をみてください

957 ：１３２人目の素数さん：2017/10/14(土) 18:45:55.44 ID:NeZ/jqZV.net

>>955
そこには説明するべき事柄が相当あるでしょ？
それにモデルが存在するというのはなぜ？
>>888
は大道具過ぎるし

958 ：１３２人目の素数さん：2017/10/14(土) 18:46:39.84 ID:Zd83HJfE.net

>>957
>>886を認めることを前提としてます
あなたはそこにレスつけて突っ込んだんですよ
忘れたんですか？

959 ：１３２人目の素数さん：2017/10/14(土) 18:46:46.57 ID:Mp3l531I.net

埋めるの手伝うね

960 ：１３２人目の素数さん：2017/10/14(土) 18:47:33.94 ID:Mp3l531I.net

埋め

961 ：１３２人目の素数さん：2017/10/14(土) 18:48:19.45 ID:Mp3l531I.net

埋め

962 ：１３２人目の素数さん：2017/10/14(土) 18:48:54.39 ID:Mp3l531I.net

埋め

963 ：１３２人目の素数さん：2017/10/14(土) 18:49:37.20 ID:Mp3l531I.net

埋め

964 ：１３２人目の素数さん：2017/10/14(土) 18:49:47.54 ID:QshKtkmn.net

>>957
いえ，結局あなたは解答せずにいなくなりましたよね？

「記号は自然数」とありますが，そこに∀，∃，¬，∧，∨，→の定義があるのですか？
分からないので教えてください。

また，無矛盾（矛盾），モデルの定義もわかりません。
背理法による証明が正しいことの証明も教えてほしいです。

965 ：１３２人目の素数さん：2017/10/14(土) 18:50:48.77 ID:Mp3l531I.net

埋め

966 ：１３２人目の素数さん：2017/10/14(土) 18:50:50.28 ID:NeZ/jqZV.net

>>958
確かにそうか
でも説明するべき事柄はまだ相当あるよ

967 ：１３２人目の素数さん：2017/10/14(土) 18:51:26.24 ID:Mp3l531I.net

埋め

968 ：１３２人目の素数さん：2017/10/14(土) 18:51:40.54 ID:Zd83HJfE.net

>>964
なんらかのメタの意味での自然数を表すと考えれば良いですね

ある公理系τが矛盾するとは、τ|-が証明可能であることを言います

メタレベルでの証明の正当性を保証することはできません

969 ：１３２人目の素数さん：2017/10/14(土) 18:52:11.72 ID:Zd83HJfE.net

>>966
ないですよねw

970 ：１３２人目の素数さん：2017/10/14(土) 18:53:53.36 ID:NeZ/jqZV.net

>>949
これは撤回
数学を考えることはできるのかも知れないが
答えを考える新しく生み出すという数学の営みはしない人かもね

971 ：１３２人目の素数さん：2017/10/14(土) 18:54:48.20 ID:QshKtkmn.net

>>968
ん？すいません，よくわかりません。
素朴な「集まり」がどうやってラッセルのパラドックスを回避するのか具体的に教えてください。

公理系，|，-の定義は何ですか？

「メタレベルで証明の正当性を保証することができないこと」の証明をお願いします。

972 ：１３２人目の素数さん：2017/10/14(土) 18:55:28.04 ID:B872vbOC.net

東京大学大学院数理科学研究科数理科学専攻博士課程修了という肩書きを手に入れたい。

973 ：１３２人目の素数さん：2017/10/14(土) 18:58:22.36 ID:NeZ/jqZV.net

>>928
>τ|-φではないとします
これはシーケント計算による証明図が存在することであるとかの説明が必要だし
>{τ,¬φ}は無矛盾となります
無矛盾の定義とか
>もし矛盾しているならば、τ,¬φ|-すなわちτ|-φが証明可能となる
これを示して
全部で数行

974 ：１３２人目の素数さん：2017/10/14(土) 18:59:04.09 ID:PXMDLbLi.net

劣等感ウンコ婆

975 ：１３２人目の素数さん：2017/10/14(土) 18:59:15.87 ID:cr7AB90f.net

すみませんが、荒らしの人は遠慮して頂けないでしょうか？
ここは小学生・中学年・高校生・大学生・私の様なレベルの低い者が質問する場所です。

>>841はいかがでしょうか？
一週間考えても、分かりませんでした。
馬鹿な私でも分かるように、宜しくお願いします。

976 ：１３２人目の素数さん：2017/10/14(土) 18:59:43.26 ID:PXMDLbLi.net

劣等感ウンコ婆

977 ：１３２人目の素数さん：2017/10/14(土) 19:00:00.84 ID:qyKoN/eR.net

>>933
（ｍｏｄ．９）。

978 ：１３２人目の素数さん：2017/10/14(土) 19:00:26.27 ID:Zd83HJfE.net

>>971
できません
集まり、は上で述べた定義内において用います
記号の集まりや論理式の集まりがラッセルのパラドックスを起こすことはあり得ません

公理系とは論理式の集まりのことです

|や---は証明論におけるメタレベルにおいての記号です

メタレベルのわれわれの思考の道筋を論理式に書き起こしたとしても、その書き起こすこと自体が正しいのかどうか、などということはメタレベルでの話になってしまうので、現実問題を形式論理で解決することはできないのです
その際にはメタレベルでの考察が必要になります

979 ：１３２人目の素数さん：2017/10/14(土) 19:00:32.58 ID:PXMDLbLi.net

劣等感ウンコ婆

980 ：１３２人目の素数さん：2017/10/14(土) 19:00:39.80 ID:NeZ/jqZV.net

誰かが言ったっていう「教科書を読め」ってのは
あなたが前提としていることを説明するのに結構かかるってことを意図してるんじゃないかな
私もかなり掛かると思ってる

981 ：１３２人目の素数さん：2017/10/14(土) 19:01:04.79 ID:PXMDLbLi.net

劣等感ウンコ婆

982 ：１３２人目の素数さん：2017/10/14(土) 19:01:39.44 ID:Zd83HJfE.net

>>973
一から用語を説明しろってことですか？？
なんにもわからないってことじゃないですか(笑)

983 ：１３２人目の素数さん：2017/10/14(土) 19:01:58.84 ID:PXMDLbLi.net

劣等感ウンコ婆

984 ：１３２人目の素数さん：2017/10/14(土) 19:02:38.10 ID:PXMDLbLi.net

劣等感ウンコ婆

985 ：１３２人目の素数さん：2017/10/14(土) 19:03:12.34 ID:PXMDLbLi.net

劣等感ウンコ婆

986 ：１３２人目の素数さん：2017/10/14(土) 19:03:23.58 ID:Zd83HJfE.net

>>980
あなたはこの掲示板で質問に答える際、いちいち最初から定義をつらつら並べるんですか？
上の方でガンマ関数云々言ってますけど、ガンマ関数の定義、関数の定義、実数の定義、集合の定義、とか説明してないのはなぜですか？

987 ：１３２人目の素数さん：2017/10/14(土) 19:03:52.98 ID:PXMDLbLi.net

劣等感ウンコ婆

988 ：１３２人目の素数さん：2017/10/14(土) 19:04:05.85 ID:NeZ/jqZV.net

>>986
教科書を読め
じゃないかな
説明を求められたらするけど？

989 ：１３２人目の素数さん：2017/10/14(土) 19:04:45.64 ID:QshKtkmn.net

>>978
記号や論理式の集まりが，ラッセルのパラドックスを起こさないことを示してください。

メタレベルで解決してよいことと，解決してはいけないことの基準は何でしょうか？

>>986
貴方のやっていることが高等すぎるので，皆さん説明を求めているのです。

990 ：１３２人目の素数さん：2017/10/14(土) 19:04:46.76 ID:PXMDLbLi.net

劣等感ウンコ婆

991 ：１３２人目の素数さん：2017/10/14(土) 19:05:04.74 ID:Zd83HJfE.net

>>988
あなたはそんなこと言ってないですよね

なぜですか？
説明不十分ですよね

992 ：１３２人目の素数さん：2017/10/14(土) 19:05:31.65 ID:PXMDLbLi.net

劣等感ウンコ婆

993 ：１３２人目の素数さん：2017/10/14(土) 19:07:12.94 ID:Zd83HJfE.net

>>989
ラッセルのパラドックスは、自分自身を含む集まり、を考えますね
記号や論理式の集まりを考える際には、そんなことは考えませんから、起こらないのです

われわれが行う思考は全てメタレベルでの話です

994 ：１３２人目の素数さん：2017/10/14(土) 19:07:52.28 ID:NeZ/jqZV.net

何かを前提に説明することは多いよね
でもその説明を求められたらある程度はするでしょ
そして
長くなるんだったら「教科書を読め」になる
数行でできると書いたのを提示しないってのは
不誠実な人格だと思われて仕方ないと思うよ

995 ：１３２人目の素数さん：2017/10/14(土) 19:08:48.16 ID:Zd83HJfE.net

>>994
だから数行で証明しましたよね？
何が不満なんですか？

996 ：１３２人目の素数さん：2017/10/14(土) 19:09:09.12 ID:NeZ/jqZV.net

君は
何かに答えるということがどういうことで「あるべきか」を
もう一度考え直してみてはどうかな

997 ：１３２人目の素数さん：2017/10/14(土) 19:09:36.52 ID:NeZ/jqZV.net

>>995
それにはまだ相当説明が必要だから

998 ：１３２人目の素数さん：2017/10/14(土) 19:09:49.19 ID:Zd83HJfE.net

>>996
あなたがバカだから証明わかりませーん、ってことですよね？？

999 ：１３２人目の素数さん：2017/10/14(土) 19:10:01.84 ID:QshKtkmn.net

>>993
考えれば起きるということですか？
集合論におけるラッセルのパラドックスも，変なことを考えなければ起きませんが，解決を必要としました。
「集まり」におけるパラドックスも同様に解決されるべきですよね？

1000 ：１３２人目の素数さん：2017/10/14(土) 19:10:04.20 ID:PXMDLbLi.net

劣等感ウンコ婆

1001 ：2ch.net投稿限界：Over 1000 Thread

2ch.netからのレス数が1000に到達しました。