5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

数学的思考の本質とは何か

169 :Pawn ◆pMONpHJxkARi :2011/10/15(土) 10:17:32.87
>>160-165 猫さん
ありがとうございます。アッカーマン関数を持ち出しての説得よりも
もっと直接的に関数の定義が違うことで相手にたずねてみる
という戦略がよさそうだとまとまってきました。
自由な定義を採用してもよいけれどそれぞれが違う定義の関数で
証明が非常に容易なものから難しいものまであって
掛け算のケースは証明が容易なために同一視にあまりギャップを感じ無い可能性があって
では、証明が非常に難しいものについての「関数の区別」
はどう考えるのかを尋ねるということです。

ヒントをありがとうございました。

219 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)