- 58 名前：１３２人目の素数さん mailto:sage [2024/11/17(日) 05:17:10.01 ID:39eZTpyw.net]
- >>53
> 明日のことは人には分らない。神のみぞ知るが
> 明日のことを考えない人は、人生の落伍者になる
それ（2行目）ってあなたの感想ですよね
> 明日のことは、一階述語論理だけでは扱えないから、
> 人の思考形態は、一階述語論理に縛られない
人の思考では明日のことは分からないんだろ？
二階論理は言葉としては考えられるが
推論としては不完全にならざるを得ないよ
> そこを勘違いしている人がいる
> ”厳密数学”＝一階述語論理 だと
一階述語論理は”厳密”なんじゃなくて”完全”
つまり、一階述語論理上の任意のモデルで真な命題が
必ず証明できる推論システムが存在する、ということ
ゲーデルの”一階述語論理の完全性定理”ね
東大の数学科は知らんけど
某私大の数学科では３年で習う
> それをやっていると数学が出来ない人に落ちぶれるだろう
ゲーデルの”一階述語論理の完全性定理”も
ろくに知らん数学者なんてザラにいるよ
残念だけどね 東大では教えないみたいだからｗ
|
 |
