[論理学] (43件)

• 2020年11月
• ブックマーク Amazon.co.jp: 改訂版 可能世界の哲学 「存在」と「自己」を考える (二見文庫): 三浦俊彦: Books 2020年11月05日 23:23:33
• 2020年9月
• ブックマーク 2値論理方程式で天使と悪魔問題を解く - Wand's Box 2020年09月03日 14:56:59
• 2020年6月
• ブックマーク ETC 2020年06月22日 08:40:01
• ブックマーク Amazon.co.jp: 記号論理読本 (1976年): 前原昭二: Books 2020年06月22日 08:40:23
• ブックマーク Amazon.co.jp: 詭弁論理学 改版 (中公新書 448): 野崎昭弘著: Books 2020年06月22日 08:40:45
• 2017年2月
• ブックマーク Amazon.co.jp: 多宇宙と輪廻転生―人間原理のパラドクス: 三浦 俊彦: Book 2017年02月11日 19:33:02
• 2014年4月
• ブックマーク なぜ何もないのではなく、何かがあるのか - Wikipedia 2014年04月03日 07:26:54
• 2011年6月
• ブックマーク π-calculus - Wikipedia, the free encyclopedia 2011年06月20日 03:06:28
• 2011年1月
• ブックマーク sumiiの日記 - callccによる排中律の証明 2011年01月21日 17:00:01
• 雑記 時間泥棒の夕べ − 排中律と call/cc 2011年01月20日 19:41:29
• ブックマーク 檜山正幸のキマイラ飼育記 - 「物理系実務者のための圏論入門」への補遺＋檜山の戯言 2011年01月20日 20:18:05
• ブックマーク A formulae-as-type notion of control 2011年01月20日 20:18:33
• ブックマーク Curry-Howard Isomorphism@d.y.d. 2011年01月20日 20:19:06
• ブックマーク [haskell][quiz] (forall x. ((x->r)->r)->x) -> Either a (a->r) - ヒビルテ (2006-04-29) 2011年01月20日 20:19:50
• ブックマーク Call-with-current-continuation - Wikipedia, the free encyclopedia 2011年01月20日 20:25:59
• ブックマーク 集合論雑記 2011年01月09日 19:17:02
• 2010年11月
• 雑記 IT 革命と私――神学の忌避の向こう 2010年11月16日 20:13:39
• 2010年3月
• ブックマーク 忘却からの帰還: メモ「メタプラセボ仮説」 2010年03月02日 20:03:44
• 2008年2月
• ブックマーク 不完全性定理についてのゲーデルの証明 2008年02月21日 21:26:10
• 2007年9月
• 雑記 真理の前には自由者も束縛される 2007年09月24日 18:20:06
• 2007年8月
• ブックマーク 忘却からの帰還: 反"進化論"というより反"進化論論"なインテリジェントデザイン 2007年08月18日 20:05:31
• 2007年6月
• ブックマーク 数学屋のメガネ - 運動の弁証法性 2007年06月16日 21:28:21
• 2007年2月
• ブックマーク くるるの数学ノート - 構成主義とか 2007年02月11日 20:34:57
• 2007年1月
• ブックマーク 数学屋のメガネ - 発想法と科学 2007年01月06日 15:54:55
• 2006年12月
• ブックマーク くるるの数学ノート - 日常の論理 2006年12月07日 21:11:08
• ブックマーク くるるの数学ノート - ゲーデルの不完全性定理について少し補足 2006年12月03日 20:38:38
• 2006年10月
• ブックマーク Amazon.co.jp： ゼロからの論証: 本: 三浦 俊彦 2006年10月25日 00:08:20
• ブックマーク ゼロ知識証明 - Wikipedia 2006年10月25日 00:12:53
• 2006年9月
• 雑記 コンピュータ定理証明における弁証法 − 私が作りたいシステム 2006年09月07日 17:29:34
• ブックマーク 数学屋のメガネ:弁証法論理の理解 2006年09月07日 17:32:42
• ブックマーク 弁証法 - Wikipedia 2006年09月07日 17:35:01
• ブックマーク Amazon.com: Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures (Handbook of Logic in Computer Science): Books: S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum 2006年09月07日 17:37:39
• 2006年8月
• 雑記 絶対性 2006年08月24日 14:32:45
• ブックマーク Amazon.co.jp： 情報科学における論理: 本: 小野 寛晰 2006年08月24日 14:36:19
• 2006年6月
• ブックマーク ゲーデルと２０世紀の論理学【全4巻】：シリーズ・講座：東京大学出版会 2006年06月28日 21:33:08
• 雑記 参考文献：確率論 2006年06月05日 23:01:51
• 2006年4月
• 雑記 セキュアジャパン 2006 の Winny 対策としての VM は釣り？ 2006年04月30日 00:21:56
• ブックマーク Amazon.com: Introduction to Mathematical Logic and Type Theory: Books: Peter B. Andrews 2006年04月25日 02:05:33
• ブックマーク Amazon.co.jp： 本: 「神」の証明―なぜ宗教は成り立つか 2006年04月03日 19:55:33
• 2006年3月
• ブックマーク JRF の私見：雑記 2006年03月31日 19:52:08
• 2006年2月
• 雑記 不完全性定理: 「真」「偽」「わからない」 2006年02月13日 23:07:59
• 2006年1月
• 雑記 メタ論理: 演驛と帰納 2006年01月31日 15:46:30
• 雑記 なぜ記号論理学から社会科学を目指すようになったのか 2006年01月29日 20:18:37