トップページ⇒math
16コメント5KB

数学者は計算機をつかって計算してはならない [転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2015/02/12(木) 02:22:37.35ID:N11l7u8+
これは基本中の基本。
計算機を使った時点で、数学者は工学者に堕ちる。

数学は、頭の中で完結せねばならない。そうでなければ、絶対の完全性を示せない。数学者失格。
0002132人目の素数さん2015/02/12(木) 02:42:03.50ID:qPI7CNVb
高校生の時Mathematicaの存在を知って大いに感動したな
0003132人目の素数さん2015/02/12(木) 06:50:02.16ID:g7Hy7+Yp
運営乙
0004132人目の素数さん2015/02/12(木) 10:16:06.55ID:7FuhR56K
         ,r"´⌒`゙`ヽ
       / ,   -‐- !、
      / {,}f  -‐- ,,,__、)
    /   /  .r'~"''‐--、)
  ,r''"´⌒ヽ{   ヽ (・)ハ(・)}、
 /      \  (⊂`-'つ)i-、
          `}. (__,,ノヽ_ノ,ノ  \     
           l   `-" ,ノ    ヽ
           } 、、___,j''      l
0005132人目の素数さん2015/02/12(木) 13:00:55.18ID:59HMAsXk
>>1
このスレ立てた馬鹿と同じ奴だろ

馬鹿「大学の数学は哲学みたいなもの」 [転載禁止](c)2ch.net
http://wc2014.2ch.net/test/read.cgi/math/1423428746/
0006132人目の素数さん2015/02/12(木) 13:36:52.68ID:N11l7u8+
頭の中で論理をカッチリはめるのが数学者だ。
計算機は、その正しさを示せないので使ってはならない。

かりに計算機の仕組みを完全に理解したとしても、やはり数学者は計算機を使ってはならない。
計算機を使えば、数学者ではなく科学者であり、工学者である。
0007KingMathematician ◆LoZDre77j4i1 2015/02/12(木) 14:09:26.12ID:mw/5ZVT6
Re:>>1 それでは今複雑系の研究をしているのは何者か.
0008132人目の素数さん2015/02/12(木) 15:33:14.20ID:sxH9Ouc8
四色問題が初めて証明されたときにもコンピュータによるものだし、
広田微分で有名な広田良吾氏のように早くから数式処理を使っている人も多い。
グレブナー基底を使った計算にはコンピューターは必須だし、
最近では定理証明支援系の利用が広がっている。
数式処理だけでなく数値計算による計算機実験も盛んで、
古くは佐藤幹夫が佐藤・テイト予想を計算機実験で見つけたのは有名な話。
精度付き数値計算は解の存在証明に使われたりもしている。
0009132人目の素数さん2015/02/12(木) 20:15:22.52ID:sFIbo9bw
>>1
おまえ論文書くのに計算機(パソコン)使わんのか?
文章も数式も手書きで書いて郵送でもしとるんか?
0010132人目の素数さん2015/02/13(金) 02:35:22.91ID:OG3qn+hA
>>1
計算機使わないと3流論理学者もどきになっちゃうよ
0011片山博文MZ ◆T6xkBnTXz7B0 2015/02/13(金) 02:40:13.96ID:4T+ZQiA6
プログラムの実行過程(計算過程)を記録し、後から検証できるような
プログラム言語を作ればいいのではないか?
0012132人目の素数さん2015/02/13(金) 02:48:01.37ID:rk3f9C/m
>>9
文を書くのに使うのはよろしい。
計算機で問題を解くのがいけない。なぜならば計算機は数学ほどに厳密で正確ではないからだ。
0013132人目の素数さん2015/02/14(土) 18:15:23.13ID:Gcd3ku1U
>>11
そんなことを言われるとスレが終わる。
よってあなたの意見は正しくない。証明終了。
0014132人目の素数さん2015/02/17(火) 01:18:47.07ID:H2UVVjWg
現代の数学者から計算機を奪うのは、
白鳥の水掻を切断して池に返すようなもの。
0015132人目の素数さん2015/02/21(土) 18:52:24.71ID:GspjkYab
確かにな
どれだけ簡単にスムーズで効率の良い解き方ができるかが数学だもんな
0016132人目の素数さん2015/02/21(土) 21:35:19.51ID:kN7n13PG
水掻きの有無は、白鳥の優雅さとは関係ないけどな。
■ このスレッドは過去ログ倉庫に格納されています