24/09/11 18:45:14.86 c9lYOsIt.net
証明は、仮定の論理式を結論に変形する手順を示してるだけ
意味を理解してれば証明は不要
2:１３２人目の素数さん
24/09/11 18:47:06.38 c9lYOsIt.net
たとえば鳩の巣原理を理解して使えることは必要だが、
ZFC公理系だけを仮定して鳩の巣原理を導くのはただのパズル
これはすべての証明について言える
3:１３２人目の素数さん
24/09/11 20:04:24.30 qgoBgW7n.net
しょうめい
4:１３２人目の素数さん
24/09/11 20:04:48.80 qgoBgW7n.net
ぱずる
5:１３２人目の素数さん
24/09/11 20:05:04.98 qgoBgW7n.net
すうがく
6:１３２人目の素数さん
24/09/11 20:05:21.69 qgoBgW7n.net
はたｒけ
7:１３２人目の素数さん
24/09/11 20:05:38.41 qgoBgW7n.net
きたく
8:１３２人目の素数さん
24/09/11 20:05:54.88 qgoBgW7n.net
がくそつ
9:１３２人目の素数さん
24/09/11 20:06:20.77 qgoBgW7n.net
ふり
10:１３２人目の素数さん
24/09/11 20:06:54.93 qgoBgW7n.net
そつがく
11:１３２人目の素数さん
24/09/11 21:59:46.00 7bay+fdH.net
>>1
それを証明して
12:１３２人目の素数さん
24/09/13 12:56:30.87 BgUVXDI9.net
てすてす
13:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています