新しいものを表示

ジョーク思い付いた><

とある数学者は言った
「自然科学は、証明では無く帰納によって成り立たっているので美しく無い。その点、数学は証明によって成り立っていて美しい。この美しさは多くの数学者の努力によって検証されて証明されている」

例えば「帰納法には穴があり、実験を条件を変えつつ繰り返したとしても何も証明にならず無意味だ」とした場合、
「数学の計算は、計算者や計算器等を変えつつ検算を繰り返したとしても、検算は帰納法的な性質を持っているのでそれ自体を証明する事は出来ず厳密には証明されていないので、検算によって『証明』されたとされるあらゆる数学的知見は、証明されたとは言えないので、数学において証明されたとされる知見はすべて無意味である」
も成り立っちゃうよね?><

togetter.com/li/2205213
つまりこいつは数学にも向いてないんでは?><
あるいは、ものすごく間抜けなんでは?><

目の前の食塩溶かす実験には、再現性を疑っているのに、数学の計算等は必ず再現性があると思い込んでる><
使用する計算機の不良や自身の計算法や人間の認知の影響を疑うこともなく><
なぜ数学の問題は場所を変えたり計算機を変えたり人間の影響を無くすまでの検証をしようとしないのか?><
数学の計算は一切の物理法則の影響を受けずに行えると思っているのか?><

水100gに食塩1gを溶かす実験で小学生が投げかけてきた素朴な疑問に、数学者としての素質を感じた - Togetter togetter.com/li/2205213

つまりこれのやりとりの、『実験』を『計算』や『数学的な証明』に置き換えたとたんに、この発想に乗るならば数学も崩壊するのでは?><

帰納法を全く受け入れられない数学者あるいは数学好きが居たとして、
ある計算や数学的な証明が、単にその一回かあるいは数回のみの偶然ではなく、計算結果は変わらないという事自体は、帰納法に頼らず証明できるのか?><

[B! 実験] 水100gに食塩1gを溶かす実験で小学生が投げかけてきた素朴な疑問に、数学者としての素質を感じた b.hatena.ne.jp/entry/s/togette

これ、そもそも現実の話かとか、居たとしてこの子は研究者に向いてるとは思えないとか色々あれだけど、派生でひとつ疑問が浮かんだかも><

窓にヤモリ来たからドアップで写真撮ろうとして近づいたらものすごい勢いで逃げちゃった><;

orange さんがブースト
orange さんがブースト

overrideの意味・使い方・読み方|英辞郎 on the WEB https://eow.alc.co.jp/search?q=override
英語「override」の意味・使い方・読み方 | Weblio英和辞書 https://ejje.weblio.jp/content/override
エンジニアはなんか軽率に使うけど一般的な英語としての意味はまあまあ大仰なんですよシリーズ?

たぶんだけどoverrideって単語、ネイティブには危険を承知で実行するって語感があるっぽさ感><
ネイティブじゃないどころか英語力微妙だから自信ないけど、航空関連の色々見てるとそんな感じが><

それこそ安全機構(?)をオーバーライドするって意味のオーバーライドかも><

orange さんがブースト

なんでそれoverrideって名前のオプションにしたんだ

バブルの頃の電器屋さん><

ミニコンポの登場|素材|NHKアーカイブス www2.nhk.or.jp/archives/movies

オーストラリアの小麦畑(3)収穫|素材|NHKアーカイブス www2.nhk.or.jp/archives/movies

new holland cr9040?><

??????><;

無音(30分)|素材|NHKアーカイブス www2.nhk.or.jp/archives/movies

ハザードの音、カチカチ音のクルマなら一晩聴いてもまあ耐えられそうだけど、ピッポ ピッポ いうやつは一晩聴いてたら気が狂いそう><;

orange さんがブースト

「ホーンを鳴らしまくる」って「ほーん」って声が流れ続けるのかと思った :SuperFastSpin:

orange さんがブースト

ハザードの音はわざわざ出していると聞いたことがあるが、細かいコントロールをするより直結した方が楽ってことなんだろうな。

古いものを表示
:realtek:

思考の /dev/null