コラッツ予想がとけたらいいな　その2

コラッツ予想がとけた ..

437:M.B.
18/07/09 08:55:47.87 7iwDxU/z.net
>>413
> 数学教育とプログラミングって、どういう形で折り合うのが
> 正解なんですかね？
というのは、明治三十八年に発行された算数の国定教科書、
いわゆる「黒表紙教科書」のベースになった「数え主義」と
のちに遠山啓・銀林浩さんらが「水道方式」「量の理論」の
基礎となった「直観主義」（論理学でいう直観主義とは別）との
対立、みたいなものを意識しています。
明治三十八年っていったら一九〇五年なんですよね。
「ヒルベルトの23の問題」が発表されてから五年だから、
現代数学はカッコよかったんだろうなぁ。ゲーデルの
不完全性定理の証明あたりで風景変わっちゃったけど。

次ページ

続きを表示

1を表示