嘘つきのパラドックス 傾向と対策
「ウソ」を計算機で解釈するために、嘘つきのパラドックスを処理する方法として、四つの方法を紹介する。 (1) 古典論理を保持 1. 階層的理論 2. ギャップ主義 (2) 古典論理を捨てる 1. グラット主義 2. 多値論理
The Hilbert Hotel
By Steven Strogatz May 9, 2010 5:00 pm May 9, 2010 5:00 pm In late February I received an e-mail message from a reader named Kim Forbes. Her six-year-old son Ben had asked her a math question she couldn’t answer, and she was hoping I could help: Today is the 100th day of school. He was very excited and told me everything he knows about the number 100, including that 100 was an even number. He the
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
Markov logic network - Wikipedia
A Markov logic network (MLN) is a probabilistic logic which applies the ideas of a Markov network to first-order logic, defining probability distributions on possible worlds on any given domain . In 2002, Ben Taskar, Pieter Abbeel and Daphne Koller introduced relational Markov networks as templates to specify Markov networks abstractly and without reference to a specific domain.[1][2] Work on Mark
訳とか
九月が逆転し、秋分が反転する 冬が秋にすべり込む 九ヶ月かそこら飛ばし飛ばしで見れば 季節は逆転する 跳ね返って春、あぶなげにつんのめって秋 しばらくぶりにきみがこの地に舞い降りたとき、季節はふたたびシャッフルされる 九月が逆転し、秋分が反転する 夏が春になる 季節がふたたびシャッフルされる 一年半のサイクルで 九月が逆転し、秋分が反転する しばらくぶりにきみがこの地に舞い降りたとき、季節はふたたびシャッフルされる 九月が逆転し、秋分が反転する 冬が秋にすべり込む 季節がシャッフルされる なぜってきみを雪だまりで見かけた日からもう二年以上経つから そのとききみが着ていたセーター そう、きみが着ていたセーター 時間をおいて季節がふたたびシャッフルされる あるいは、距離をおいて 時間をおいて季節がふたたびシャッフルされる あるいは、距離をおいて ぼくが落ちているとき、ほんとうに落ちているとき
Structure and Interpretation of Computer Programs
Wizard Book n. Hal Abelson's, Jerry Sussman's and Julie Sussman's Structure and Interpretation of Computer Programs (MIT Press, 1984; ISBN 0-262-01077-1), an excellent computer science text used in introductory courses at MIT. So called because of the wizard on the jacket. One of the bibles of the LISP/Scheme world. Also, less commonly, known as the Purple Book. from The New Hacker's Dictionary, 2
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction David C Keenan, 27-Aug-1996 last updated 10-May-2001 116 Bowman Parade, Bardon QLD 4065, Australia http://users.bigpond.net.au/d.keenan Abstract The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This
Great Moments in Logic — consequently.org
“Great Moments in Logic” published online, 2004. Bernhard Bolzano (1781-1848) Bolzano was a philosopher, mathematician and logician who had important things to contribute in each of these fields. He’s probably best known for what he has done in mathematics: the precise definition of continuity when it comes to real-valued functions. But for my money (and in my discipline) Bolzano was worth much mo
Modellseite: 3 Spalten (links, Mitte, rechts) | Institut für Maschinelle Sprachverarbeitung | Universität Stuttgart
Seitenpfad nach links schieben Seitenpfad nach rechts schieben Johan Anthony Willem Kamp Date of birth 5 September 1940, at Den Burg, Texel, Holland Education 1952–58 High School: Murmellius Gymnasium, Alkmaar, Holland 1958–61 Undergraduate: University of Leiden, Holland; B.A. in Physics and Mathematics 1961–65 Graduate: University of Amsterdam, Holland Drs. in Logic, Foundations of Mathematics an
Set Theory: Constructive and Intuitionistic ZF (Stanford Encyclopedia of Philosophy)
Note that in IZF the schema of separation is unrestricted. In CZF, Collection is strengthened to compensate for restricted separation. Subset collection is a strengthening of Myhill’s exponentiation axiom, thus substituting for ZF’s Powerset. 4. Constructive Choice Principles When discussing the role of classical set theory as a foundation for mathematics, one usually considers the theory ZFC, tha
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
MCMP – Mathematical Philosophy (Archive 2011/12) on Apple Podcasts
Home
European Summer School in Logic, Language and Information 2011
Newslet. 50
Charles Leonard Hamblin - Wikipedia
Google Sites: Sign-in
http://web.sfc.keio.ac.jp/~mukai/mathcgi/index.html
論理と計算のしくみ: 訂正と補足
NYU
LENLS Official Website