トップページ
>
数学
>
2017年10月14日
>
QshKtkmn
書き込み順位&時間帯一覧
8 位
/82 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
2
0
0
0
0
9
使用した名前一覧
書き込んだスレッド一覧
132人目の素数さん
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
書き込みレス一覧
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
938 :
132人目の素数さん
[sage]:2017/10/14(土) 18:13:49.74 ID:QshKtkmn
>>928
伺いたいのですが,「証明可能」の定義は何ですか?
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
940 :
132人目の素数さん
[sage]:2017/10/14(土) 18:18:41.36 ID:QshKtkmn
>>939
シークエントと証明図の定義は何ですか?
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
942 :
132人目の素数さん
[sage]:2017/10/14(土) 18:27:35.28 ID:QshKtkmn
>>941
論理式,推論規則,推論の定義は何ですか?
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
948 :
132人目の素数さん
[sage]:2017/10/14(土) 18:36:09.06 ID:QshKtkmn
>>944-945
集まり,言語,記号,定数〜論理記号の定義は何ですか?
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
953 :
132人目の素数さん
[sage]:2017/10/14(土) 18:41:24.69 ID:QshKtkmn
>>950
それでは,「集まり」においてラッセルのパラドックスが回避できませんが,それでよいのですか?
また,「メタ」とが何でしょうか?
∀,∃,¬,∧,∨,→の定義は何ですか?
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
964 :
132人目の素数さん
[sage]:2017/10/14(土) 18:49:47.54 ID:QshKtkmn
>>957
いえ,結局あなたは解答せずにいなくなりましたよね?
「記号は自然数」とありますが,そこに∀,∃,¬,∧,∨,→の定義があるのですか?
分からないので教えてください。
また,無矛盾(矛盾),モデルの定義もわかりません。
背理法による証明が正しいことの証明も教えてほしいです。
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
971 :
132人目の素数さん
[sage]:2017/10/14(土) 18:54:48.20 ID:QshKtkmn
>>968
ん?すいません,よくわかりません。
素朴な「集まり」がどうやってラッセルのパラドックスを回避するのか具体的に教えてください。
公理系,|,-の定義は何ですか?
「メタレベルで証明の正当性を保証することができないこと」の証明をお願いします。
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
989 :
132人目の素数さん
[sage]:2017/10/14(土) 19:04:45.64 ID:QshKtkmn
>>978
記号や論理式の集まりが,ラッセルのパラドックスを起こさないことを示してください。
メタレベルで解決してよいことと,解決してはいけないことの基準は何でしょうか?
>>986
貴方のやっていることが高等すぎるので,皆さん説明を求めているのです。
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
999 :
132人目の素数さん
[sage]:2017/10/14(土) 19:10:01.84 ID:QshKtkmn
>>993
考えれば起きるということですか?
集合論におけるラッセルのパラドックスも,変なことを考えなければ起きませんが,解決を必要としました。
「集まり」におけるパラドックスも同様に解決されるべきですよね?
※このページは、
『2ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の2ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。