集合論に関する哲学について書かれた本って何かオススメのない？

[0001 １３２人目の素数さん 2019/06/22(土) 10:08:23.76 ID:XzBLsNVU]

買うか図書館で借りるかしたい

[0002 １３２人目の素数さん 2019/06/22(土) 13:52:49.70 ID:0TYbC+aw]

ラッセルとかすっきーーーーーー

[0003 １３２人目の素数さん 2019/06/22(土) 21:29:26.90 ID:7KmVbknp]

>>2
ラッセルがそこら辺の哲学に触れてるのか
今日も図書館に行ったんだが、数学と哲学の両方を押さえた本なさすぎて悲しくなった…

[0004 １３２人目の素数さん 2019/06/22(土) 21:39:10.34 ID:7KmVbknp]

というか、数学ってどちらかと言うと自然科学なんだな…
人間の思考に現れる数という概念を対象として
論理によって検証する学問であって
数とは何かという対象領域の定義まで議論しようという
哲学的なアプローチはあまり取られないんだな…

まあ俺が無学だからそんな感想を持つだけなのかもしれんが…

[0005 １３２人目の素数さん 2019/06/23(日) 00:39:09.06 ID:uvWUBjrw]

vipで見た

[0006 １３２人目の素数さん 2019/06/23(日) 05:46:35.63 ID:XSEeu6oJ]

>>4
> というか、数学ってどちらかと言うと自然科学なんだな…

数学は自然科学じゃないでしょ
自然科学の理論はいずれも経験的で帰納的だ
だが数学では最終的には演繹的な部分だけが確かなものとして残る

数学は一種の哲学だよ、但し原理的に形式化（記号化）が可能な範囲だけを対象とし
曖昧模糊として漠然としたものは相手にしない類の極めて狭量な形式哲学だ

[0007 １３２人目の素数さん 2019/06/23(日) 09:36:09.09 ID:CukGSETM]

>>6にはファジー論理がおススメ。
>>6の脳みそレベルの4bitマイコンでもお手軽に制御できる炊飯器とかが実現できる。

[0008 １３２人目の素数さん 2019/06/23(日) 13:46:01.19 ID:XSEeu6oJ]

>>7
[0,1]区間に値をとるファジー論理なんてショボいエセ論理は勘弁してくれ
Heyting algebraに値をとる直観主義論理や位相ブール束に値をとる様相論理の類ならまだ我慢できるが

[0009 １３２人目の素数さん 2019/06/23(日) 16:09:11.21 ID:VICIahra]

このスレ落ちたかと思ったのにまだあったんだ
誰か具体的な本挙げてくれないかな？

[0010 １３２人目の素数さん 2019/06/23(日) 18:15:08.47 ID:vXet6vWC]

ブルーバックス「集合とは何か」は必読

[0011 １３２人目の素数さん 2019/06/23(日) 19:28:26.22 ID:VICIahra]

>>10
ブルーバックスか…と一瞬思ったがググったら結構期待持てそうな本だった
でも俺の知りたいところまで触れていてくれるだろうか…

[0012 １３２人目の素数さん 2019/06/24(月) 01:14:07.53 ID:Wjy60UUr]

瀬山士郎「なっとくする集合位相」
ただこの本は分かりやすい反面、割愛してる分野もあるので、他の本で補う必要がある

[0013 １３２人目の素数さん 2019/06/24(月) 01:37:00.30 ID:Kc6+BG9v]

>>10
竹内外史さんの『集合とは何か』は良いね、昔、大学に入ったばかりの頃にワクワクしながら夢中になって一気に読んだのを思い出した

集合論の哲学に関する本を所望するのならば、そのものズバリの書名の『集合論の哲学』 by Mary Tiles（産業図書）でも読めば良いんじゃない？

より哲学っぽい本だと日本の数理哲学者が書いた『連続体の数理哲学』 by 沢口昭聿（東海大学出版会）も面白い
連続体の認識論、つまり連続体をどう認識しているかという立場から公理的集合論の重要な幾つかの公理や仮説
（巨大基数の公理、決定性の公理、マルチンの公理、連続体仮説など）について議論している
ただ、この本は既に品切れなので図書館で探さねばならないが、古本ならば今でも入手可能なようだ

[0014 １３２人目の素数さん 2019/06/24(月) 13:04:05.62 ID:DK/fDLn2]

>>8
実数に値域を取る関数軽視しちゃうんだ。
真偽値なんて1bitしか値返さないんだぞ？。お前なんて知能1bit野郎でキュービットな現実に永遠に辿り着かない妄想だけな人文系ゴミだな。

[0015 １３２人目の素数さん 2019/06/24(月) 16:36:48.05 ID:Vxvd9J3T]

>>6
現実の数学研究を知らんだけ
実験結果から法則を推定したりは当たり前

[0016 １３２人目の素数さん 2019/06/24(月) 17:11:54.42 ID:7ka+O9Fy]

数学で実験するのか？　サイコロを投げるとか？

[0017 １３２人目の素数さん 2019/06/24(月) 17:51:39.93 ID:4DCiGkOo]

リーマン予想だって数値計算で裏付けを取ってから発表している

[0018 １３２人目の素数さん 2019/06/24(月) 19:08:05.62 ID:7ka+O9Fy]

実験じゃないよ、計算だよ。

[0019 １３２人目の素数さん 2019/06/24(月) 19:52:26.01 ID:4DCiGkOo]

それ流体力学研究者の前で言える？

[0020 １３２人目の素数さん 2019/06/24(月) 20:53:49.88 ID:7ka+O9Fy]

計算でしょ

[0021 １３２人目の素数さん 2019/06/24(月) 22:23:22.56 ID:DK/fDLn2]

芥の川流れ賞

[0022 １３２人目の素数さん 2019/06/25(火) 05:17:58.43 ID:gltaSnBN]

>>15
> 現実の数学研究を知らんだけ
> 実験結果から法則を推定したりは当たり前

実験結果から法則を推定しても演繹的に証明されない限り
数学という壮大な建築物を構成する定理にはなり得ない、そういうのは単なる未解決問題あるいは予想と呼ぶ

優れた未解決問題の存在が数学を発展させるモチベーションを生み出すのは事実だが
予想である限り数学という巨大な建築物の一部でなく、その建築物の壁にプロジェクションマッピングしてるだけのようなもの
（つまり数学という建築物の周りにいる人間＝数学者に夢を与えはするが本物の建物ではない）

そこが経験科学である物理学など自然科学における法則との違い

[0023 １３２人目の素数さん 2019/06/25(火) 08:29:23.16 ID:I1jxxI48]

>>22
数学を知らない人だね。
視点が大事で、それを得るためにいろんな例を調べて予想として定式化するわけだよ。
志村予想なくしてワイルズのフェルマー予想の証明なし、幾何化予想なくしてペレルマンのポアンカレ予想の解決なし。

[0024 １３２人目の素数さん 2019/06/25(火) 12:52:31.59 ID:/Q7RP6gE]

物理学も独自の論理構造を創作してるのにね

[0025 １３２人目の素数さん 2019/06/25(火) 13:48:56.43 ID:m9uUEEzD]

物理はいつも足場が仮設なんだよね、ぐらぐら

[0026 １３２人目の素数さん 2019/06/25(火) 22:27:50.62 ID:LXj9BR6p]

それでもこの世界という分かりやすい目標があるのは羨ましい

[0027 １３２人目の素数さん 2019/06/25(火) 22:43:44.15 ID:ubxm+q0N]

フェルマーの最終定理とか分かりやすい目標だよ

[0028 １３２人目の素数さん 2019/06/26(水) 02:27:59.14 ID:46HyX8L5]

>>27
指標としてはわかりやすいが、目標としてはわかりやすくはない。

[0029 １３２人目の素数さん 2019/06/26(水) 02:33:59.73 ID:EvJ5zChq]

やっぱ、旬はリーマン予想ですか？

[0030 １３２人目の素数さん 2019/06/26(水) 04:20:45.88 ID:fFm9RuMm]

>>23
> 志村予想なくしてワイルズのフェルマー予想の証明なし、幾何化予想なくしてペレルマンのポアンカレ予想の解決なし。

もちろん谷山−志村予想がWilesのFLT証明に貢献したのは事実だが、
その貢献を可能にしたのはFaltingsが谷山−志村予想からFLTが導かれることを示したからだ
そのことはWiles自身がはっきりと明言している、Faltingsの証明によってFLTを取り巻く景色が変わりFLTが数学の問題になった、とね

[0031 １３２人目の素数さん 2019/06/26(水) 05:54:50.29 ID:46HyX8L5]

>>30
FreiとRibetだよ

[0032 １３２人目の素数さん 2019/06/26(水) 21:59:10.87 ID:5VSgRyyL]

>>1だけど、とりあえず手近なものってことで
図書館で一階述語論理と集合論の本と、
素朴集合論におけるパラドックスや不完全性定理周辺の哲学(史？)の本借りてきた
スマリヤンの本も借りたんだけど、問題ベースで書いてるから素人の自分には難しそうだ…

ついでに、図書館でフォン・ノイマンの講演「数学者」の内容書いてる本も読んだけど
曰く、数学には自然科学からの経験則としての側面と、
現実的な応用から離れた抽象的な純粋数学としての側面との二面性があるって書いてたぞ

[0033 １３２人目の素数さん 2019/06/27(木) 00:46:08.22 ID:YTvTG2rr]

専門書はやっぱり大学図書館だね

[0034 １３２人目の素数さん 2019/06/27(木) 02:19:36.62 ID:TAVcdZpR]

基礎論に関してなら「ゲーデルは何を証明したか」
http://hakuyosha.sakura.ne.jp/mathematics/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AF%E4%BD%95%E3%82%92%E8%A8%BC%E6%98%8E%E3%81%97%E3%81%9F%E3%81%8B/

[0035 １３２人目の素数さん 2019/06/29(土) 16:27:17.92 ID:DHiuKlHq]

集合論に関する哲学について書かれた本って何かオススメのない？
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！

https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg

https://twitter.com/Fu_L12345654321/status/1144528199654633477
https://twitter.com/5chan_nel (5ch newer account)

[0036 １３２人目の素数さん 2019/07/04(木) 00:36:11.90 ID:WjmhsYjy]

3615
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！

https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg

https://twitter.com/Fu_L12345654321/status/1144528199654633477
https://twitter.com/5chan_nel (5ch newer account)

[0037 １３２人目の素数さん 2019/07/06(土) 07:58:07.51 ID:jMWG6QPK]

始原的に直感と洞察なんだよ

自称理系のカタワたちはそのことが分からない

[0038 おぽかたぱるこ 2019/07/06(土) 09:18:33.67 ID:13qqswpD]

満州先生のご本がお奨めです。

「相対性理論はペテンである／無限小数は数ではない」

この本の中に、
無限集合というようなものは存在しない、
と書かれております。

その他、興味深い論考満載です。

[0039 １３２人目の素数さん 2019/07/06(土) 11:35:23.89 ID:MpxtJ5vO]

>>38
何思ってそんなトンデモ本わざわざ書き込もうと思ったの？

[0040 １３２人目の素数さん 2019/07/06(土) 14:31:52.02 ID:DAFECtT6]

劣等感は否定したいんだよ

[0041 おぽかたぱるこ 2019/07/06(土) 15:19:43.56 ID:13qqswpD]

「おぽかた君、2chの連中はみんなパカだから
相手にしない方がいいよ」

と満州先生が仰っておりました。

[0042 １３２人目の素数さん 2019/07/06(土) 18:41:38.84 ID:drRJpLZX]

>>41
相手にしてるお前はバカの一員ってこと？

[0043 １３２人目の素数さん 2019/07/06(土) 19:08:59.19 ID:XAiC7Msy]

いやパカです

[0044 １３２人目の素数さん 2019/07/07(日) 17:39:39.26 ID:1zjmegQi]

レッテルしか貼れない奴は馬鹿

[0045 １３２人目の素数さん 2019/07/08(月) 03:10:02.91 ID:SENkpNqm]

>>44
そう言えば、昔、伊勢幹夫先生が講義中に黒板の前を左右に歩きながら
　　「『あいつは××だから危険だ』とか非難して他人にレッテルを貼る輩が
　　　世の中にはいますが、一番危険なのはそういう他人にレッテルを貼る輩なのです」
と仰ってたなあ

その後、私もそれなりの長さの人生をおくる中で、この伊勢先生のお言葉の正しさを痛感しました
レッテルしか貼れない人間は馬鹿なんてレベルじゃなくて卑怯で愚劣で伊勢先生が仰った通り極めて危険なんですよ

[0046 １３２人目の素数さん 2019/07/08(月) 08:55:10.87 ID:dyzmbIYP]

>>44>>45
自己言及ネタはお腹いっぱい

[0047 １３２人目の素数さん 2019/07/08(月) 13:07:04.40 ID:oppiTITa]

そんなに自覚してんのか

[0048 １３２人目の素数さん 2019/07/08(月) 19:49:11.08 ID:R1TRJqMr]

下らんこと言ってないで、せめて数学の本に関する話してください

[0049 １３２人目の素数さん 2019/07/20(土) 11:08:20.85 ID:bSAoQnjE]

0830
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！

ｈｔｔｐｓ://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
ｈｔｔｐｓ://twitter.com/Fu_L12345654321/status/1144528199654633477
https://twitter.com/5chan_nel (5ch newer account)

[0050 １３２人目の素数さん 2019/07/27(土) 20:39:38.09 ID:Hc/Vzktt]

今の大学生に勧めるとなると、今の大学教壇に立ってるより上の世代の本は、実際いきなりは読まないだろう。
まずは教壇に立ってる世代の本を読んでから、興味があれば上の世代に進むようにすべきだ。

[0051 １３２人目の素数さん 2019/08/22(木) 22:58:07.75 ID:Cu9btwSj]

藤林丈司

[0052 １３２人目の素数さん 2019/09/14(土) 17:56:47.85 ID:VYIPOabR]

＞集合論に関する哲学

「哲学」っていうけど具体的にどんなこといってんだ？

[0053 １３２人目の素数さん 2019/09/15(日) 12:49:34.81 ID:rfF0Xgr6]

レッテルはドイツ語
英語ではラベル
レッテルを貼る　はなんかスゴイずっこいイメージだけど
ラベルを貼る　は理知的なイメージって無い？

[0054 １３２人目の素数さん 2019/09/15(日) 16:36:19.27 ID:WnmmIwHE]

工場で黙々と働くおばさんのイメージ

[0055 １３２人目の素数さん 2019/09/15(日) 16:43:13.65 ID:g2F0dADR]

集合論の初歩について書かれた本で、何かオススメのないですか？ｗ

現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
https://rio2016.5ch.net/test/read.cgi/math/1568026331/

ここの>>1が
「｛｝∈｛｛｝｝　｛｛｝｝∈｛｛｛｝｝｝　だから　｛｝∈｛｛｛｝｝｝だ」　とか
「｛｛｝｝∈｛｛｛｝｝｝　で　｛｛｝｝は集合　だから　｛｛｝｝⊂｛｛｛｝｝｝だ」　とか
トンチンカンなことばっかりいうんですよｗ

>>1に読ませるいい本ないですか？
絵本でもいいですよｗ

[0056 １３２人目の素数さん 2019/09/15(日) 17:34:50.56 ID:WnmmIwHE]

神様の万物創世ですよ

[0057 １３２人目の素数さん 2019/09/15(日) 17:37:08.40 ID:p066SErf]

竹内外史　現代集合論入門

[0058 １３２人目の素数さん 2019/09/15(日) 21:01:36.74 ID:nAITaw6m]

竹内外史か…

[0059 １３２人目の素数さん 2019/09/16(月) 08:30:52.07 ID:4OYL0rf4]

あげ

[0060 １３２人目の素数さん 2019/09/17(火) 12:53:53.18 ID:UMEc5f0A]

>>58
>竹内外史
名前しか知らない

[0061 １３２人目の素数さん 2019/09/17(火) 13:19:40.86 ID:IvJmFH/9]

圏論的集合論

[0062 １３２人目の素数さん 2019/09/20(金) 13:25:55.48 ID:KyAOfC1j]

2600
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました！
マジで嬉しいです！
来月からも理系に負けず頑張りたいと思います！
https://twitter.com/dy_dt_dt_dx
https://twitter.com/5chan_nel (5ch newer account)

[0063 １３２人目の素数さん 2019/09/22(日) 00:43:20.43 ID:K26rhxzm]

>>61
『圏論的集合論』なんて本あったっけ？

[0064 １３２人目の素数さん 2019/09/22(日) 07:33:47.72 ID:BOfsBiVf]

https://en.wikipedia.org/wiki/Categorical_set_theory

[0065 １３２人目の素数さん 2019/09/26(木) 03:09:46.58 ID:exvNnjtl]

Sierpinskiの“Cardinal and Ordinal Numbers”について質問です。
第１版と第２版とで内容はどの様に違っているのでしょうか？
（ページ数に関しては487pp.と491pp.なので４ページしか増えていないようなのですが）

御存知でしたら教えて頂けると助かります。宜しくお願い致します。

[0066 盗聴盗撮犯罪者色川高志（青戸６−２３−２１ハイツニュー青戸１０３ 2021/02/05(金) 09:05:37.24 ID:WSArCHeX]

491色川高志「井口千明の金属バット集団殴打撲殺を熱望します」2018/10/18(木) 18:33:15.90ID:78662J73
龍神連合五代目総長・井口千明（葛飾区青戸6−２３−１９）の挑発
井口千明「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合四代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!!　糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)

492盗聴盗撮犯罪者色川高志（青戸６−２３−２１ハイツニュー青戸１０３2021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父＆長木よしあき（盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会＆被害者の会会長）住所＝東京都葛飾区青戸6−23−20
●盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所＝東京都葛飾区青戸6−26−６
【通報先】亀有警察署＝東京都葛飾区新宿4ー22ー19　�рO３ー３６０７ー０１１０

盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者／愛人変態メス豚家畜清水婆婆（青戸6−23−19）の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg




アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
そして、大量浣腸。 勢い良く噴出！腸内洗浄状態です。
http://101.dtiblog.com/b/bodytk9690/file/kan01.jpg




浣腸器と異なりどくどくと直腸内に注入され清水婆婆は激しくあえぎます