意味論的社会学的ソキウス・ディレクティオーネ

L ( 転轍 \lor \lnot 転轍 ) \supset M( 良き倫理 )

哲学

離散数学入門

離散数学に関する勉強をしてました。その時のノートをpdfにまとめています。よければご笑覧ください。 応用事例とイラストでわかる離散数学ノート.pdf - Google ドライブ とりあえず取り急ぎ。 最近はなんか、忙しくないのに忙しい感じ。不思議。 [文献] …

数学から論理学へ

はじめに この記事では、「数学の危機」とも証される時代、そしてGödelの不完全性定理に到達するまでの数学史を簡単に概観する。数学的な事前知識を特に必要としない。 はじめに 1. 幾何学 1-1. Πυθαγόρας 1-2. Εὐκλείδης 1-3. 非ユークリッド幾何学 2. 自然…

The Mathematician

「コンピュータが出来た」 1. von Neumannとは誰か 2. 「The Mathematician」 [文献] 1. von Neumannとは誰か 1905年に生まれ、1957年、53歳で没する。死因は、彼自身が推進した原水爆開発の核実験において受けた度重なる放射線の影響による骨髄癌。生涯を…

新・様相論理への招待

2018/02/11 - 初回更新 2018/02/13 - 第1章更新 tayun3mikonurse.hatenablog.com 春休み(2月/3月)を通して、上掲ブログのユーレイくん発案のもと「A New Introduction To Modal Logic(新・様相論理への招待)」の読書会に参加することにしました(毎週金…