X



トップページ数学
66コメント23KB
集合論に関する哲学について書かれた本って何かオススメのない?
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2019/06/22(土) 10:08:23.76ID:XzBLsNVU
買うか図書館で借りるかしたい
0003132人目の素数さん
垢版 |
2019/06/22(土) 21:29:26.90ID:7KmVbknp
>>2
ラッセルがそこら辺の哲学に触れてるのか
今日も図書館に行ったんだが、数学と哲学の両方を押さえた本なさすぎて悲しくなった…
0004132人目の素数さん
垢版 |
2019/06/22(土) 21:39:10.34ID:7KmVbknp
というか、数学ってどちらかと言うと自然科学なんだな…
人間の思考に現れる数という概念を対象として
論理によって検証する学問であって
数とは何かという対象領域の定義まで議論しようという
哲学的なアプローチはあまり取られないんだな…

まあ俺が無学だからそんな感想を持つだけなのかもしれんが…
0006132人目の素数さん
垢版 |
2019/06/23(日) 05:46:35.63ID:XSEeu6oJ
>>4
> というか、数学ってどちらかと言うと自然科学なんだな…

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

数学は一種の哲学だよ、但し原理的に形式化(記号化)が可能な範囲だけを対象とし
曖昧模糊として漠然としたものは相手にしない類の極めて狭量な形式哲学だ
0007132人目の素数さん
垢版 |
2019/06/23(日) 09:36:09.09ID:CukGSETM
>>6にはファジー論理がおススメ。
>>6の脳みそレベルの4bitマイコンでもお手軽に制御できる炊飯器とかが実現できる。
0008132人目の素数さん
垢版 |
2019/06/23(日) 13:46:01.19ID:XSEeu6oJ
>>7
[0,1]区間に値をとるファジー論理なんてショボいエセ論理は勘弁してくれ
Heyting algebraに値をとる直観主義論理や位相ブール束に値をとる様相論理の類ならまだ我慢できるが
0009132人目の素数さん
垢版 |
2019/06/23(日) 16:09:11.21ID:VICIahra
このスレ落ちたかと思ったのにまだあったんだ
誰か具体的な本挙げてくれないかな?
0011132人目の素数さん
垢版 |
2019/06/23(日) 19:28:26.22ID:VICIahra
>>10
ブルーバックスか…と一瞬思ったがググったら結構期待持てそうな本だった
でも俺の知りたいところまで触れていてくれるだろうか…
0012132人目の素数さん
垢版 |
2019/06/24(月) 01:14:07.53ID:Wjy60UUr
瀬山士郎「なっとくする集合位相」
ただこの本は分かりやすい反面、割愛してる分野もあるので、他の本で補う必要がある
0013132人目の素数さん
垢版 |
2019/06/24(月) 01:37:00.30ID:Kc6+BG9v
>>10
竹内外史さんの『集合とは何か』は良いね、昔、大学に入ったばかりの頃にワクワクしながら夢中になって一気に読んだのを思い出した

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

より哲学っぽい本だと日本の数理哲学者が書いた『連続体の数理哲学』 by 沢口昭聿(東海大学出版会)も面白い
連続体の認識論、つまり連続体をどう認識しているかという立場から公理的集合論の重要な幾つかの公理や仮説
(巨大基数の公理、決定性の公理、マルチンの公理、連続体仮説など)について議論している
ただ、この本は既に品切れなので図書館で探さねばならないが、古本ならば今でも入手可能なようだ
0014132人目の素数さん
垢版 |
2019/06/24(月) 13:04:05.62ID:DK/fDLn2
>>8
実数に値域を取る関数軽視しちゃうんだ。
真偽値なんて1bitしか値返さないんだぞ?。お前なんて知能1bit野郎でキュービットな現実に永遠に辿り着かない妄想だけな人文系ゴミだな。
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況