(Forcing) 数学の集合論における強制法。ポール・コーエンによって開発された、無矛盾性や独立性を証明するための手法である。強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。
1日 (水) 午前に強制法入門セミナーをした。後輩の発表を聞いたが、しっかりと発表していた。 午後、F先生による集合論セミナーをきいた。 研究室の様子。 2日 (木) 松山に旅行に行く。懐かしい。 愛媛大学理学部に寄ったら、おしゃれな自習スペースができていて驚いた。 とあるけみすと、三河くん、ほとんどいたるところ微分可能ななにかさんと飲み会をした。3次会まで行って楽しかった。 3日 (金) するがビバップと昼食を食べ、同じカフェでするがビバップと藤田先生といろいろ喋る。 その後、するがビバップの働いているスペイン料理屋に行った。 4日 (土) 松山駅近くのカフェでKamo-Osugaの論文を読…
15日 (月) 某申請書の締め切りだった。最近これのために数学がなかなかできず、神経がすり減っていた。 明日から数学再開していく。がんばるぞ~ 16日 (火) 午前中久しぶりの数学をした。不等式ゴリゴリの補題の証明を追った。楽しかった。 昼前に健康診断を受けた。東京に移動した友人とzoomミーティングした。 帰りの電車で志学数学とInfinite-Dimensional Topologyを少し読んでモチベが上がった! 17日 (水) 昨日に引き続きとある論文を読み進める。かなり重たい感じの補題を一つ読んだ。 神戸集合論セミナーを聴く。densityに関する基数不変量の話で面白い内容だった。 1…
賀川豊彦の協同組合論とマルクスの疎外・協働・自由論ー未来への主体的学びー 賀川豊彦の生涯の社会活動と著作活動の概要 本論では、賀川豊彦の友愛による協同組合の精神と、マルクスの労働疎外論から未来社会を模索していくものである。この未来社会の実現には、利潤第一主義、弱肉強食の競争主義、格差と無縁社会など、資本主義的利己による自由主義の矛盾からの解放を展望しているものである。 労働疎外からの克服、友愛、協働・協同、利他主義的による人間的自由、それぞれの個性を尊重して、個々が仲間の絆を伴っての人格の発達がされていく社会を探究していくものである。ここでは、人びとの絶えざる学び・生涯学習が不可欠になるのであ…
フロリダ州では3月25日(月)、州知事ロン・デサンティス(Ron DeSantis)氏はSB 3法案に署名した。この法案は大まかにいうと、ソーシャル・メディア・プラットフォームに対し、14歳未満の個人のアカウント作成を停止する一方で、14歳または15歳のアカウント作成については親や保護者の同意を求めることを義務付けている。州法務局は、違反 1 件につき最高 50,000 ドル(約755万円)の民事罰金、妥当な弁護士費用および訴訟費用、および (特定の条件下で) 懲罰的損害賠償を徴収する場合があり、また未成年のアカウント所有者に対し、最大 10,000 ドル(約51万円)の損害賠償を請求すること…
今回のテーマは 身体を回旋にする 私のBlogを見て頂いている方はご存知かと思いますが 身体の癖等から対処法を様々解説しております。 以前に クライミング研究所14段で解説致しました 武術バージョンとなります。 ご興味がおありでしたら過去のBlogもご覧下さい。 今回は身体の捻りについて 私は空手の立ち方の癖で身体を強く左に 回旋させる癖があります。 それはサウスポーで構えた時に正中線を 右側先端で合わせているからです。 厳密な形ではありませんが右手を頂点とした 三角形を作っている感じです。 その時に右手を中心に身体を左に回旋して 締める状態を作りその構えから技を出したり 受けたりしていました…
この pdf(公理的集合論入門) で, atom からなる集合を持つ BGE が atom からなる集合を持つ ZFC の保存拡大であることの有限の立場での証明を与えています. ただし, この pdf の中では, atom を個体と呼んでいます. ここ 1ヶ月くらい, この保存拡大の超数学的定理の執筆を行なっていました. 僕がこの証明を与えたのは, もう 15年くらい前ですが, 当時は大学院での僕の専門とは外れる分野で, 趣味としてやっていた勉強でした. 従って, LaTeX での清書を行っていなかったのです. しかし, 最近, この保存拡大の超数学的定理に関する文献が通常の方法ではなかなか手…
023年09月13日 高山清洲・世界平和 高山清洲・世界平和 人類みんな兄弟さんのサイトより転載https://blog.goo.ne.jp/mokushiroku666/e/c2473e92e56164dee672bb6427ca497e ムーンショット計画知ってますか?2030年人口の95%を削減する目標!! 日本は600万人が生存予定。 その生存者がムーンショット。 脳と脊髄だけ残して他の機能は使えなくする。それがムーンショット。 大掃除で。おそらく計画倒れだと思いますけどね。念のため情報は拡散した方が1992年にリオ・デ・ジャネイロで開催された地球サミットで採択されたアジェンダ21「2…
数ヶ月前に上梓した『船旅』を古賀先輩に献本したところ,先日『数学の世界地図』をご恵投いただきました.誠にありがとうございました. www.kadokawa.co.jp 私自身は数学を専攻したわけではありませんが,僭越ながらいくつかの感想を記させていただきましょう. 古賀さんの本の紹介文、"「代数学」「幾何学」「解析学」「数学基礎論」「応用数学」"って基礎論を無視しない分野の並べ方してくれててうれしい数学の世界地図 https://t.co/uux0rh1ahU #Amazon @Amazonより— でぃぐにゃん (@fujidig) May 3, 2023 まず何よりも,これが言えると思います…
以前は、資本は、自分にとって必要と思われた場合には(『資本論 第1巻』ディーツ版599頁) 以前は、資本は、自分にとって必要と思われた場合には、自由な労働者にたいする自分の所有権を強制法によって発動させた。たとえば、機械労働者の移住はイギリスでは1815年に至るまで重刑をもって禁止されていた。(『資本論 第1巻』ディーツ版599頁、岡崎次郎訳。下線強調はブログ主による。) 移住が、英国内なのか英国外なのかが気になります。移住は原文ではEmigrationです。Emigrationの語義は手元の独和辞典では「国外移住、(外国への)亡命」とあります(『デイリーコンサイス独和・和英辞典 第2版』)。…
マイナンバーカードと保険証の強制一体化は、違憲の可能性がある。 違憲訴訟が起きるかも? 事実上の義務にするだけの、憲法による裏付けが、マイナンバーカードと保険証の一体化強制法に、あるとは思えない。 抜け道としては、紙の代替保険証を発行しますよ、だが、それならば条件はマイナ保険証と同じにしなければ、平等ではない。 でも法案を読んでいないので、かも?の話だが笑