気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
16 usersがブックマーク
3
3
Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて) - ryota-ka's blog
16 users
ryota-ka.hatenablog.com
ryota-ka.hatenablog.com
記事へのコメント3件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて) - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me お盆に数日の休みがあったので，Ludwig Witt... この記事は以下のページに移転しました． blog.ryota-ka.me お盆に数日の休みがあったので，Ludwig Wittgenstein の『論理哲学論考 (Tractatus Logico-Philosophicus)』を読み始めた．Wittgenstein の著作を読んでいると，彼が理論を継承し，また批判する対象となった Gottlob Frege や Bertrand Russell の思想にも同時に触れることになる． 『論考』の命題 3.3 以下に，Russell のパラドクスに対する解決策を提示し，Russell の主張を反駁する場面が見られるが，この記事ではむしろ，Russell 自身の回答である階型理論 (theory of types) による解決策に目を向けたい．我々が普段プログラムを記述する際に触れる型の概念が如何にして生まれ，発展してきたのかを見ていくこととしよ
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
ryota-ka.hatenablog.com
ryota-ka.hatenablog.com
ryota-ka.hatenablog.com
ryota-ka.hatenablog.com
qiita.com/SFITB
www.tokyo-np.co.jp
fushihara.hatenadiary.jp
anond.hatelabo.jp
gigazine.net
zenn.dev/neka_nat
qiita.com/m_saito_ari
syu-m-5151.hatenablog.com
blog.shibayan.jp
zenn.dev/lighttiger2505
anond.hatelabo.jp
alfalfalfa.com
yarukimedesu.blog.fc2.com
nerimplo.hatenablog.com
2018/10/17 リンク