俺「ブルバキでも読むか」 ブルバキ「論理記号は◻︎，τ，∨，¬である」 (14ﾚｽ)
俺「ブルバキでも読むか」 ブルバキ「論理記号は◻︎，τ，∨，¬である」 http://rio2016.5ch.net/test/read.cgi/math/1757220431/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: １３２人目の素数さん [] 2025/09/07(日) 13:47:11.86 ID:cL1kwaR1 ブルバキ「この意味は次第に明らかになる」 諦めた http://rio2016.5ch.net/test/read.cgi/math/1757220431/1
2: １３２人目の素数さん [sage] 2025/09/07(日) 13:47:42.43 ID:uHmjA6ig 働け爺 http://rio2016.5ch.net/test/read.cgi/math/1757220431/2
3: １３２人目の素数さん [] 2025/09/07(日) 14:12:16.07 ID:CTxYlvA3 性質Rが任意に与えられた場合、性質Rを持つxが恒に存在するとは限らない もしそのようなxが一つであったならば、その一つをτxRという記号で表す 性質Rを持つxが一つも存在しない場合は、τxRは任意の一つの対象を表すことにする ∃xRとは、R(τxR)のことである http://rio2016.5ch.net/test/read.cgi/math/1757220431/3
4: １３２人目の素数さん [] 2025/09/07(日) 14:27:51.32 ID:CTxYlvA3 τxは、命題Rに対象τxRを対応させる作用素である のみならず、τxがRに含まれる変数ｘに関係した作用素である この場合、Rに含まれる変数xは、表現τxRにおいては、 Rの中で現れる場所を支持するに過ぎず、文字xで示されようと、 他のどんな文字で示されようと問題ではない そこで、xとかyとかいう文字の代わりに □という場所を示す一つの記号を用いる 例えば τx(x∈y)を ┌┐ τ（□∈ｙ） と表し、 τy(τx(x∈y)∈y)とを ┌────┬─┐ │┌┐ │ │ τ（τ（□∈□)∈□） と表すことにする ここで、□とτとを結ぶ線（鎖(lien)と呼ぶ）は、 二つ以上のτが用いられている場合、 どのτがどの□に対応しているか 明示するためのものである http://rio2016.5ch.net/test/read.cgi/math/1757220431/4
5: １３２人目の素数さん [] 2025/09/07(日) 14:33:41.39 ID:CTxYlvA3 ¬はnot、∨はor を表す and(A⋀B)は¬(¬A⋁¬B) ∀xRは¬∃x¬R つまり¬R(τx¬R)とする http://rio2016.5ch.net/test/read.cgi/math/1757220431/5
6: １３２人目の素数さん [] 2025/09/07(日) 14:46:28.04 ID:CTxYlvA3 １はもう読んでないから知らないだろうが 集合論の第一章 形式的な数学の記述 §２ までは、 実は∈とか＝とかを中置記法ではなく前置記法で用いる つまり x∈y a=b ではなく ∈xy =ab と書く さすがに読みにくいせいか知らないが §３以降はより自然な記法を用いている （ただし英語でなくフランス語だが） http://rio2016.5ch.net/test/read.cgi/math/1757220431/6
7: １３２人目の素数さん [] 2025/09/07(日) 20:56:52.43 ID:yy3tyOmP 誰しもブルバキみたいな本は途中の巻から読みたくないですよね。 第1巻から省略せずに読みたい。 ですが、ブルバキの集合論は評判がよくありません。 そして、読んでみると難しい。しかも標準的ではないらしいです。 そうなると非常にコスパが悪く見えてきます。 結局、ブルバキは読まれないということになります。 英訳を第1巻から積分の巻までを買いましたが本棚に眠っています。 http://rio2016.5ch.net/test/read.cgi/math/1757220431/7
8: １３２人目の素数さん [] 2025/09/09(火) 06:28:42.26 ID:rAfE1efC >>7 ＞誰しもブルバキみたいな本は途中の巻から読みたくないですよね。 ＞第1巻から省略せずに読みたい。 それ素人の勝手な思い込み 仮に集合論１の第一章から読んだとしても 「ああ、この本ではそういう書き方してるのね」 と受け流すのが利口 まあ、集合論１の第一章で違う方向に目覚めてしまって 数理論理とか情報科学に進んでしまっても それはそれでいいんじゃないか？ 知らんけど http://rio2016.5ch.net/test/read.cgi/math/1757220431/8
9: １３２人目の素数さん [] 2025/09/09(火) 06:33:00.47 ID:8Ojy0HbW 今ならブルバキの本みたいなのはネットに Web公開すればいいのにと思う。 あるいはYuoTubeで講義シリーズか。 結局ブルバキズムは数学に対して どのような影響を及ぼしたと総括 されるのだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1757220431/9
10: １３２人目の素数さん [] 2025/09/09(火) 07:34:42.16 ID:fCKVa47H >>9 今は国立国会図書館のデジタルコレクションに登録すると ブルバキ数学原論の日本語訳が無料で読める 集合論１ 第一章はあくまで論理式の言語及び証明の書式の定義 述語論理の完全性定理なんて書いてないのは御愛嬌 それやりだしたら本題の数学に進めない http://rio2016.5ch.net/test/read.cgi/math/1757220431/10
11: １３２人目の素数さん [] 2025/09/10(水) 15:54:41.46 ID:98W7shKx ブルバキ集合論１ 第一章を読みにくくしてるのは 中置記法の∈、＝、⋁を、前置記法にしたから 大したことではないのだが、慣れてないから気持ち悪い τと□は>>3-4の通りで、意味が分かれば大したことではない 中置記法で記せば、それほど読みにくさはない http://rio2016.5ch.net/test/read.cgi/math/1757220431/11
12: １３２人目の素数さん [] 2025/09/10(水) 15:59:59.93 ID:98W7shKx 前置記法にも良さはある １＋２×３は、＋と×のどっちが先か分かりにくい 前置記法で書けば × ＋ １ ２ ３ は （１＋２）×３ ＋ １ × ２ ３ は １＋（２×３） まあ、後置記法でも構わんけど http://rio2016.5ch.net/test/read.cgi/math/1757220431/12
13: １３２人目の素数さん [] 2025/09/12(金) 08:04:57.58 ID:bR6LUned 数学の文章や記号式は原理的に一次元 的に書き並べていける。仮に横方向 だけでなくて縦方向、ページの方向 も考えれば、2次元的、3次元的になるが、 結局可付番の並び方だから添字1つに 対応して1列に並べて書けてしまうから、 横にも縦にもいくらでもただし記述の 量は有限にとどまるといった書き方は 意味が無いのだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1757220431/13
14: １３２人目の素数さん [] 2025/09/13(土) 06:33:30.84 ID:kEVkV264 ブルバキのτは、ヒルベルトのε計算らしい □のほうはブルバキのオリジナルだけど http://rio2016.5ch.net/test/read.cgi/math/1757220431/14
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.219s*