>>667
げげっ。
>>658
＞ 証明論が何なのかわかってないのでは？
...
>>659
＞ 「広義直観主義論理」
645へのレス読んで｡
>>651
＞ こんなこと「議論」して、何の「認識」が深まるんだ？
いや知り合いがこのスレに潜伏しているのかと思って｡
>>652
＞ 一般にあまり厳密でなく使われている無限小という言葉に解釈を施した程度のこと。
オイラーのように無限小＝０としたりするのに比べれば大進歩でしょう。
>>663
＞ 24日夜から25日未明にかけては、見栄っぱりの広義直観主義者のことだから、
某スレにおられたお方かな。
>>665
＞ あれれ？機械が自ら考えて「証明をする」とかいう話じゃなかったっけ？
枢要なところをこなせれば、人間の道具とはいえないでしょう。
>>666
＞ 「層」が何をさして言うのか明確にしてください。
うんタミアン？
わたしの表現でわかるとおもいますが、数学的アルゴリズムとヒューリスティックな
メソッドは分けてあります｡ヒューリスティックな方法でもコンピュータ上に実現する
には何らかのアルゴリズムは必要でしょうが､これは証明を直接見出すためのアルゴリズム
ではないです。