拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人(具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである)はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう? この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能(広告ブロック機能を持つ拡張機能等)を無効にしてページを再読み込みしてください。 ✕
旧知の仲である数学者 齋藤 耕太 氏(筑波大学、学振PD)が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました: arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理(これは論文のタイトルにもなっています)が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり(ここでは自然数は正の整数を意味するものとします)、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ
IPv6円周率 @IPv6_ensyuritu これと似たような問題かわからないけど 文字が抜ける→脱字 文字を間違える→誤字 文字が増える→??? ってのもあるね (衍字(えんじ)と言うらしい) x.com/k_love_math/st… 2024-04-22 22:57:14 セキネン @Road_to_26M この類の言い方は小4の四捨五入で登場します、四捨五入の説明には極めて便利です 「以下」は「以上」とわかりやすく対になる言葉ということで出ていると思われます 「超過」が出ていない理由としては、四捨五入の説明に不要であることや、「超」や「過」が小4時点で見登場であることが挙げられそうです x.com/k_love_math/st… 2024-04-22 21:02:49
結論が計算に埋もれていて要点を掴みにくい しかしながら内容を丁寧に追いかけるには,途中計算や説明が省かれすぎている と感じることがあるかもしれない. 「帯に短し襷に長し」である. そこでこのページでは「要点の抽出」と「途中計算・説明の補足」を基本方針とした物理のノートを公開している (例外もある). 教科書として読めるノートも多くある. 教科書別 【PDF】ランダウ=リフシッツ『力学』 力学の教科書 エリ・デ・ランダウ,イェ・エム・リフシッツ,2013,ランダウ=リフシッツ理論物理学教程 力学 (増訂 第 3 版)(広重徹,水戸巌訳),東京図書株式会社,東京 を,要約と途中計算の分離した見通しの良い自己完結的テキストへと再構成し,さらに補足・考察を加えたノートである. 【PDF】ランダウ=リフシッツ『場の古典論』前半 場の古典論の教科書 エリ・デ・ランダウ,イェ・エム・リフシッツ,2015
by Institute for Advanced Study 計算機科学分野で優れた業績を残した人物に与えられるチューリング賞の2023年度受賞者に、イスラエル出身でプリンストン高等研究所の計算機科学者であるアヴィ・ヴィグダーソン氏が選ばれました。ヴィグダーソン氏は、「計算におけるランダム性の理解の再構築」および「理論コンピューターサイエンスにおける数十年にわたる知的リーダーシップ」が認められたとのことです。 2023 Turing Award https://awards.acm.org/about/2023-turing Grad alum Avi Wigderson wins Turing Award for 'groundbreaking insights' in computer science https://www.princeton.edu/news/2024/04/10
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く