关于数学归纳法证明的逻辑问题

2025-02-14 06:53:29
推荐回答(1个)
回答1:

新年好!Happy Chinese New Year !
1、归纳法是不完全的证明方法,它没有预言性;演绎法才有预言性;
2、归纳法是演绎法的补充,有很多结果可能是猜测而得到,但归纳
后虽然证实它的正确性,但不能表明它的合理来源。
3、或者开玩笑地说,归纳法有点像耍赖皮的方法在证明:
1成立了,我就架设k成立,若推广到k+1,就算彻底成功;
为什么架设k?k就是1啊,k+1就是2啊!
如果2成立了,我的k就是2啊,k+1就是3啊!
我k改成3啦,又改成4、改成5、、、、以此类推到全部case。
4、楼主的第一、跟第二,没有实质性差别,只是说话的词语变了,
类型,不就是pattern吗?没有相同的内涵content,能说相同
的类型吗?