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

1 ：１３２人目の素数さん：2019/06/22(土) 10:08:23.76 ID:XzBLsNVU.net

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

2 ：１３２人目の素数さん：2019/06/22(土) 13:52:49.70 ID:0TYbC+aw.net

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

3 ：１３２人目の素数さん：2019/06/22(土) 21:29:26.90 ID:7KmVbknp.net

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

4 ：１３２人目の素数さん：2019/06/22(土) 21:39:10.34 ID:7KmVbknp.net

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

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

5 ：１３２人目の素数さん：2019/06/23(日) 00:39:09.06 ID:uvWUBjrw.net

vipで見た

6 ：１３２人目の素数さん：2019/06/23(日) 05:46:35.63 ID:XSEeu6oJ.net

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

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

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

7 ：１３２人目の素数さん：2019/06/23(日) 09:36:09.09 ID:CukGSETM.net

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

8 ：１３２人目の素数さん：2019/06/23(日) 13:46:01.19 ID:XSEeu6oJ.net

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

9 ：１３２人目の素数さん：2019/06/23(日) 16:09:11.21 ID:VICIahra.net

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

10 ：１３２人目の素数さん：2019/06/23(日) 18:15:08.47 ID:vXet6vWC.net

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

11 ：１３２人目の素数さん：2019/06/23(日) 19:28:26.22 ID:VICIahra.net

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

12 ：１３２人目の素数さん：2019/06/24(月) 01:14:07.53 ID:Wjy60UUr.net

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

13 ：１３２人目の素数さん：2019/06/24(月) 01:37:00.30 ID:Kc6+BG9v.net

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

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

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

14 ：１３２人目の素数さん：2019/06/24(月) 13:04:05.62 ID:DK/fDLn2.net

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

15 ：１３２人目の素数さん：2019/06/24(月) 16:36:48.05 ID:Vxvd9J3T.net

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

16 ：１３２人目の素数さん：2019/06/24(月) 17:11:54.42 ID:7ka+O9Fy.net

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

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

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

18 ：１３２人目の素数さん：2019/06/24(月) 19:08:05.62 ID:7ka+O9Fy.net

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

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

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

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

計算でしょ

21 ：１３２人目の素数さん：2019/06/24(月) 22:23:22.56 ID:DK/fDLn2.net

芥の川流れ賞

22 ：１３２人目の素数さん：2019/06/25(火) 05:17:58.43 ID:gltaSnBN.net

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

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

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

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

23 ：１３２人目の素数さん：2019/06/25(火) 08:29:23.16 ID:I1jxxI48.net

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

24 ：１３２人目の素数さん：2019/06/25(火) 12:52:31.59 ID:/Q7RP6gE.net

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

25 ：１３２人目の素数さん：2019/06/25(火) 13:48:56.43 ID:m9uUEEzD.net

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

26 ：１３２人目の素数さん：2019/06/25(火) 22:27:50.62 ID:LXj9BR6p.net

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

27 ：１３２人目の素数さん：2019/06/25(火) 22:43:44.15 ID:ubxm+q0N.net

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

28 ：１３２人目の素数さん：2019/06/26(水) 02:27:59.14 ID:46HyX8L5.net

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

29 ：１３２人目の素数さん：2019/06/26(水) 02:33:59.73 ID:EvJ5zChq.net

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

30 ：１３２人目の素数さん：2019/06/26(水) 04:20:45.88 ID:fFm9RuMm.net

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

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

31 ：１３２人目の素数さん：2019/06/26(水) 05:54:50.29 ID:46HyX8L5.net

>>30
FreiとRibetだよ

32 ：１３２人目の素数さん：2019/06/26(水) 21:59:10.87 ID:5VSgRyyL.net

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

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

33 ：１３２人目の素数さん：2019/06/27(木) 00:46:08.22 ID:YTvTG2rr.net

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

34 ：１３２人目の素数さん：2019/06/27(木) 02:19:36.62 ID:TAVcdZpR.net

基礎論に関してなら「ゲーデルは何を証明したか」
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/

35 ：１３２人目の素数さん：2019/06/29(土) 16:27:17.92 ID:DHiuKlHq.net

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

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

https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)

36 ：１３２人目の素数さん：2019/07/04(木) 00:36:11.90 ID:WjmhsYjy.net

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

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

https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)

37 ：１３２人目の素数さん：2019/07/06(土) 07:58:07.51 ID:jMWG6QPK.net

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

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

38 ：おぽかたぱるこ：2019/07/06(土) 09:18:33.67 ID:13qqswpD.net

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

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

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

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

39 ：１３２人目の素数さん：2019/07/06(土) 11:35:23.89 ID:MpxtJ5vO.net

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

40 ：１３２人目の素数さん：2019/07/06(土) 14:31:52.02 ID:DAFECtT6.net

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

41 ：おぽかたぱるこ：2019/07/06(土) 15:19:43.56 ID:13qqswpD.net

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

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

42 ：１３２人目の素数さん：2019/07/06(土) 18:41:38.84 ID:drRJpLZX.net

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

43 ：１３２人目の素数さん：2019/07/06(土) 19:08:59.19 ID:XAiC7Msy.net

いやパカです

44 ：１３２人目の素数さん：2019/07/07(日) 17:39:39.26 ID:1zjmegQi.net

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

45 ：１３２人目の素数さん：2019/07/08(月) 03:10:02.91 ID:SENkpNqm.net

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

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

46 ：１３２人目の素数さん：2019/07/08(月) 08:55:10.87 ID:dyzmbIYP.net

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

47 ：１３２人目の素数さん：2019/07/08(月) 13:07:04.40 ID:oppiTITa.net

そんなに自覚してんのか

48 ：１３２人目の素数さん：2019/07/08(月) 19:49:11.08 ID:R1TRJqMr.net

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

49 ：１３２人目の素数さん：2019/07/20(土) 11:08:20.85 ID:bSAoQnjE.net

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

ｈｔｔｐｓ://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
ｈｔｔｐｓ://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)

50 ：１３２人目の素数さん：2019/07/27(土) 20:39:38.09 ID:Hc/Vzktt.net

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

51 ：１３２人目の素数さん：2019/08/22(木) 22:58:07.75 ID:Cu9btwSj.net

藤林丈司

52 ：１３２人目の素数さん：2019/09/14(土) 17:56:47.85 ID:VYIPOabR.net

＞集合論に関する哲学

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

53 ：１３２人目の素数さん：2019/09/15(日) 12:49:34.81 ID:rfF0Xgr6.net

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

54 ：１３２人目の素数さん：2019/09/15(日) 16:36:19.27 ID:WnmmIwHE.net

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

55 ：１３２人目の素数さん：2019/09/15(日) 16:43:13.65 ID:g2F0dADR.net

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

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

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

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

56 ：１３２人目の素数さん：2019/09/15(日) 17:34:50.56 ID:WnmmIwHE.net

神様の万物創世ですよ

57 ：１３２人目の素数さん：2019/09/15(日) 17:37:08.40 ID:p066SErf.net

竹内外史　現代集合論入門

58 ：１３２人目の素数さん：2019/09/15(日) 21:01:36.74 ID:nAITaw6m.net

竹内外史か…

59 ：１３２人目の素数さん：2019/09/16(月) 08:30:52.07 ID:4OYL0rf4.net

あげ

60 ：１３２人目の素数さん：2019/09/17(火) 12:53:53.18 ID:UMEc5f0A.net

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

61 ：１３２人目の素数さん：2019/09/17(火) 13:19:40.86 ID:IvJmFH/9.net

圏論的集合論

62 ：１３２人目の素数さん：2019/09/20(金) 13:25:55.48 ID:KyAOfC1j.net

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

63 ：１３２人目の素数さん：2019/09/22(日) 00:43:20.43 ID:K26rhxzm.net

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

64 ：１３２人目の素数さん：2019/09/22(日) 07:33:47.72 ID:BOfsBiVf.net

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

65 ：１３２人目の素数さん：2019/09/26(木) 03:09:46.58 ID:exvNnjtl.net

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

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

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

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




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