気づいたんだけど、物理や工学では公理的な数学やってなくね？

ZFCとかなんとか言ってんの数学科だけじゃね？

公理は実は必要ないんじゃないか？

カキ氷食いてー

そりゃ使ったりするだけなら、基礎論的な意味で何が公理かなんて意識する必要は無いよ

でもいちばん工学的な実用上最重要の計算機科学がいちばん基礎論色が強い。

>>5
情報科学も論理色が強いのは
プログラム言語の意味論とか
計算量の解析とかしてる人達
だけだよ

物理も工学も数学ユーザでしかないので
別に実数の定義とかルベーグ積分とか知らなくても
計算方法さえ覚えりゃ生きては行けるｗ

まあ、某トンデモスレの1ことセタみたいなヤツとかｗ

>>6
いや
普通に基礎論の人間は情報学科に所属しているが
数学的なモデル理論や証明論、再帰理論なんかはチューリングマシンのような話題では主要だが
まぁ君は知らないんだろうけどね

>>8
＞普通に基礎論の人間は情報学科に所属しているが

でもやってるのは数学

＞数学的なモデル理論や証明論、再帰理論なんかは
＞チューリングマシンのような話題では主要だが

そもそもチューリングマシンのような話題は
計算量とかやってる連中しか食いつかない

圏論のような話題に食いつくのも
プログラム言語の意味論とかやってる連中

君こそは知らないんだろうけどね

今のITとかやってる人はそういう理屈はあまり知らない
知っても意味ないからね

工学屋が数論とかトポロジーとか知らないのと同じ

今のITとかで一番論理よりっていったら
やっぱりSAT solverとかやってる連中だろうな

SATって言っても
特殊急襲部隊(Special Assault Team)でも
大学能力評価試験(Scholastic Assessment Test)でもないぜ
充足可能性(satisfiability)のことな

命題論理の充足性判定がNP完全とか
述語論理の充足性判定が決定不能とかいうのは常識な

>>9
触りくらいなら圏論やってるIT屋結構おるでよ
一時期関数型やら流行ったからな

>>11
でも、それでマシなプログラムが書けるってわけでもないけど
外国語を覚えたからって、マシな小説が書けるわけじゃないじゃん

>>12
うーん、どうだろう…
よく機能分離された設計できそうな気もする…しあんま関係無い気もする…

工学の計算機と理論計算機は別物だろ
工学屋にはzfcもεδも不要

数学も関数プログラミングも分かる俺からすると
圏論やってるIT屋は知った気になりたいだけの馬鹿が大多数だよ
ネットでプログラミングと圏論について書いてある記事は、専門家から見れば間違いだらけだから一切読まなくていい

IT屋じゃないが圏論はマックレーンと竹内外史で勉強したわ
竹内はちょっと違うかもだが

IT屋は、分かりもしない「高尚そうな知識」を有り難がる傾向があるが、実際身に付けている奴は少数
プログラミング初心者に「アセンブラからやれ」とか「パタヘネは必読」とか言ってるのもこの層

Amazonレビューには翻訳がひどいと書いてあるｗ
原著で読まないとな

そもそもアセンブラじゃなくてマシン語でやれと
電々は大学の時に実習でZ80ボードマイコンをいじってるのでどうということはない

>>15,17
もちろんIT屋にとって圏論は大抵高尚なことやってる自分に酔うための物だし、数学的な素養のあるIT屋なんてごく僅かだから頓珍漢なこと言ってることが殆どだと思う…が、その動機は正直だと思う
要は「綺麗に機能分離できたらなあ。数学とか使ったら上手く解決できんかなあ」であって、その想いに嘘は無い
多くの奴は加速度的にぐちゃぐちゃになってくシステムの経験を積んで辟易してる
そしてそのターゲットとして「仮に数学から選ぶなら」圏論はそう間違ってはいないと思う…

ただ問題は、設計だけ綺麗にしようと思っても大抵は言語の壁にぶつかるし、じゃあ関数型だとかなんとか言い出しても今度は環境の壁にぶつかるわで
結局は言い訳的にちょろっとそれっぽいことして整理した気分だけ手に入れて、それこそ自分に酔う役にしか立たない
そもそも大抵は大した物作ってるわけじゃないのに力の割き所が間違ってる
言語設計者にでもなるんでない限りそんなことにかまけてる暇があったらIT特有の方法論に詳しくなった方がよっぽど有意義なわけで…
まあでもそういうの関心ある奴は綺麗に書こうとする傾向にはあると思う
「アセンブラからやれ」みたいな100%マウント目当てな体育会系とはまたちょっと違うと思う

実用面だとクロック数頭打ちの現状のメニィコア化で実行速度が向上できるように完全並列化できると嬉しいのでそれが保証された純関数型言語で副作用をお外に出せる圏論的手法のモナドが流行ってる事情がある。

大抵の場合、プログラミングとか考える前に
EXCELに習熟しとけとかいうレベル

スプレッドシートって一般人目線で見たら実に大した発明だよ
もちろん情報科学的には全然大した話じゃないけどな

でも型は欲しいの

>>17
個人的にはデヴィッド・グリースの「プログラミングの科学」がお勧め
最弱事前条件とループ不変条件くらいは、プログラマーとして知っといてほしいわ
あとは停止を証明するための整礎性か

https://www.joysound.com/web/search/title?keyword=%E3%83%98%E3%83%AB%E3%82%B9%E5%AC%A2%E3%83%BB%E5%A3%B2%E6%98%A5%E5%A9%A6%E3%81%AE%E9%87%91%E5%9F%8E%E8%8B%B1%E9%87%8C%E3%81%95%E3%82%93%EF%BC%881984%EF%BC%8F3%EF%BC%8F21%E7%94%9F%EF%BC%89%E3%81%AE%E8%87%AA%E6%92%AE%E3%82%8A%E3%83%8C%E3%83%BC%E3%83%89%E5%85%AC%E9%96%8B%E4%B8%ADavgle
https://www.ksdenki.com/shop/goods/search.aspx?search=x&;keyword=%E3%83%98%E3%83%AB%E3%82%B9%E5%AC%A2%E3%83%BB%E5%A3%B2%E6%98%A5%E5%A9%A6%E3%81%AE%E9%87%91%E5%9F%8E%E8%8B%B1%E9%87%8C%E3%81%95%E3%82%93%EF%BC%881984%EF%BC%8F3%EF%BC%8F21%E7%94%9F%EF%BC%89%E3%81%AE%E8%87%AA%E6%92%AE%E3%82%8A%E3%83%8C%E3%83%BC%E3%83%89%E5%85%AC%E9%96%8B%E4%B8%ADavgle
https://www.kubara.jp/recipe/search/%E3%83%98%E3%83%AB%E3%82%B9%E5%AC%A2%E3%83%BB%E5%A3%B2%E6%98%A5%E5%A9%A6%E3%81%AE%E9%87%91%E5%9F%8E%E8%8B%B1%E9%87%8C%E3%81%95%E3%82%93%EF%BC%881984%EF%BC%8F3%EF%BC%8F21%E7%94%9F%EF%BC%89%E3%81%AE%E8%87%AA%E6%92%AE%E3%82%8A%E3%83%8C%E3%83%BC%E3%83%89%E5%85%AC%E9%96%8B%E4%B8%ADavgle
https://www.melonbooks.co.jp/fromagee/fromagee/search/search.php?name=%E3%83%98%E3%83%AB%E3%82%B9%E5%AC%A2%E3%83%BB%E5%A3%B2%E6%98%A5%E5%A9%A6%E3%81%AE%E9%87%91%E5%9F%8E%E8%8B%B1%E9%87%8C%E3%81%95%E3%82%93%EF%BC%881984%EF%BC%8F3%EF%BC%8F21%E7%94%9F%EF%BC%89%E3%81%AE%E8%87%AA%E6%92%AE%E3%82%8A%E3%83%8C%E3%83%BC%E3%83%89%E5%85%AC%E9%96%8B%E4%B8%ADavgle
https://www.mitsubishielectric.co.jp/fa/download/search.do?q=%E3%83%98%E3%83%AB%E3%82%B9%E5%AC%A2%E3%83%BB%E5%A3%B2%E6%98%A5%E5%A9%A6%E3%81%AE%E9%87%91%E5%9F%8E%E8%8B%B1%E9%87%8C%E3%81%95%E3%82%93%EF%BC%881984%EF%BC%8F3%EF%BC%8F21%E7%94%9F%EF%BC%89%E3%81%AE%E8%87%AA%E6%92%AE%E3%82%8A%E3%83%8C%E3%83%BC%E3%83%89%E5%85%AC%E9%96%8B%E4%B8%ADavgle&;mode=catalog&kisyu=%2Flvc-breakers&kisyuid=&sort=&lang=&listView=&category1=&category2=&category3=&preview=&changeKeywordFlag=

>>24

それお前の個人的な意見だろ

やはりK&Rであろうｗ

>>26
俺の学んできたこと、全否定・・・ＯＴＬ

確かにオレは一介のＣプログラマどころか一介のEXCEL使いに成り下がったが…

>>20
＞「アセンブラからやれ」みたいな100%マウント目当てな体育会系
クワイン（自己印刷プログラム）書いてみ？とかいうのは何系ですかね？
ちなみにクワインは数理論理学のある重要なテクニックの応用であるが、それは何か？
（イヤミなやっちゃなあｗ）

スレのタイトルからは内容が離れてきてるな

>>30
評論せずに自分で戻してごらん　できるものならｗｗｗ

「公理的な」の意味がZFCなら、数学科の中でも、知ってる人は9割以上だろうが、常に意識している人は5割もいないんじゃなかろうか

ZFCというかZFの公理一つ一つを知ってる学生は9割もいないだろう

別に公理＝ZFCじゃないけど
どういう公理を持ってくるかで数学の内容が変わってくるし
公理から議論を開始するのが数学だとしたら
そういう意味では間違いなく物理や工学は公理的ではないよ

微積分を厳密にやろうとすると、実数の定義が必要になる。
実数の定義は、大まかにいって、
（1）構成的定義
（2）公理的定義
の二通りある。
構成的定義は、例えば有理数が存在すると仮定して、デデキントの切断やカントールの基本列により、実数を構成するという方法だ。

公理的定義は？

公理的に書かれた物理学の教科書って、日本語ではないよね？

>>35
実数の定義が必要なら実数をまずどう構築するかだな
ε-δ使うならその前提の集合論や位相
超実数使うならモデル理論かな？
あとの方法は知らない

>>37
そもそもそんなもの存在しないだろ

>>37
読んだことないけどヤンマー『質量の概念』に公理論的ニュートン力学の話があるらしい

本はともかく論文はあるはずだよ。

>>40
物理で言う公理と数学で言う公理はそもそもズレてると思う
物理の場合の公理は逆数学に近いのかな？
だとしても数学的な公理とは全く違うと思う

>>42
twitterで見かけたんだけどこんな感じ
まあこれが全うな論理式なのかはこれだけでは判断しようがないのだけど
https://pbs.twimg.com/media/EtCbrCGVgAAnCY6?format=jpg

>>43
論理式であれば公理的というわけではないよ
そもそも物理のスタンス的に数学的な公理的に構築することはます不可能だと思うよ

>>44
まず、というより完全に不可能

現象を説明するための理論を考えるのが物理
現象が先で理論が後

理論が先で定理が後、の数学とは逆
数学は自然科学ではない

小平邦彦によれば
複素構造の変形理論は実験科学だった

>>45
物理的な現象に近似できる数学的対象を見出だすのが物理学では？
だからその物理的な現象に近似できる数学的対象を数学的な方法で公理的に記述することはできると思うんだけど

>>47
自分で書いてておかしいこと気づかない？w

ヒルベルトが２３の問題で、物理学の公理化について語っているね。

>>48
気づかないからどこがおかしいか教えて

数理物理「あの……」

>>50
助詞の使い方

>>52
「に」じゃなくて「を」だね
それ以外におかしな点はある？

数学者側より物理屋側からは受け入れがたい意見ではないか。
しかし言論の自由の範囲ではある。

>>45
何もない真っ白な中で理論なんて作れないよ
謎があってそれを解決する道筋としてだったり、障害があってそれを取り除くために理論を作ったりするものじゃない

何の根拠や動機もなしに定義を行なって新しい数学研究範囲を構築するなんて、人類にはできないと思う

>>50
→物理的な現象に近似できる数学的対象を見出だすのが物理学では？

自分は物理学の専門家ではないからわからないが、物理学のスタンスはそういったものなのか疑問だね

>>49
変分法のことか？

>>57
これだろ
https://en.m.wikipedia.org/wiki/Hilbert%27s_sixth_problem

物理屋に「微分できない関数なんてあるの？」と皮肉を言われたことがある。

技術者なら「どんな関数でも何回でも微分できる」というかもしれないね。

いや底辺エンジニアな儂でさえ言わんわ

自著を買わせたい騙し買わせたいエンジニアなら、そういう飾り表紙にするかも知れんが

物理屋とか工学屋ってそもそも関数という対象の存在を認識してない可能性がある

関数が本当に何かなんて物理屋も数学屋もまだわかってない

>>63
関数はSを集合としたときS×Rの部分集合fであって
∀x∈S∃!y∈R (x, y)∈f
を満たすものだとはっきり分かっている
というかはっきり定義されている

>>64
なら超関数を超関数と呼んだりしない罠

>>65
日本語でおk

もしかして>>65ってデルタ関数がRを定義域とした関数だと思っちゃってるの？

逆でしょ
デルタ関数はRを定義域とした写像ではないよねって話では

>>68
どういうこと？
デルタ関数がRを定義域とした関数だと思っているけどRを定義域とした写像ではないと思ってるってこと？

>>69
デルタ関数は、関数でも写像でもないよ。
超関数の日本語訳が誤解を産んだのかもしれん。
超関数はdistribution（分布）の訳だが、分布とした方が良かったのかもね。

この話における言葉づかいの面倒な点は、デルタ関数が関数(=Rを値にとる写像)であることに間違いはない点

ディラック
ヘビィサイド

ギッブスの飛躍

工学ではデルタ関数じゃなくてインパルス