A.しおまねき @a_shiomaneki@vocalodon.net

ばんは～

おやす～

あいぽんだけど，音楽アプリとiTunesがだんだんダメダメになってる感じでそこはイヤ．

あいぽんの世界にようこそ～

あいぽん民だけど，ひょっとして丼では少数派？

せやかて工藤

何気ない師範のトゥートがぐへへPを傷つけた

なに，ぱるふ君のテザー！すごい

あ，思い出した，モケケさんでした

あ，すみません，別の方だったかも，ごめんなさい

そして，ダムなのになぞのおしゃれ感．デザイン力か！

むっちゃつよいサークルカットｗ

あーー，切身魚さんが言われていた，女性は比較的作品より作家を愛好する傾向ってのを当てはめると，バンドマンの方を愛好するって事かな？
あれ，でも，その傾向なら作曲しているボカロPの方がモテるはずか🤔

選択公理って量子論とむっちゃ絡んできそうですね．よう知らないでの雑な感想ですが

この解説によると，選択公理いれた公理体系だといろんな矛盾を含んじゃうから使うもんだないよね！ってことらしいです．

なんで，選択公理を入れるとリーマン予想は解けるけど，入れない場合は多分，決定不能問題になるってことは，この世界の物理を表す公理系としてどちらが相応しいかが分かれば（恐らく選択公理を入れない），リーマン予想の結果が使い物になるかどうかも分かるのかなぁって感じかな？

で，選択公理とはなんぞとググって見ると，こちらの解説がわかりやすかったです．
http://samidare.halfmoon.jp/mathematics/AxiomOfChoice/index.html

で，リーマン予想がZF公理系で決定不能って証明できれば，リーマン予想が証明されるよね，ってことなのかなぁと

https://twitter.com/sugar_underkey/status/1044175841331015681
こちらの方の言われている話ですと，論文では以下の主張が言われているようです．

・選択公理の元でリーマン予想は証明できるけど，これって一般的なZF公理系ではだめだよね
・思うんだけど，本気のリーマン予想はゲーデルの言うところの決定不能問題になっちゃうんだろうなぁって．
→つまり，ガチなリーマン予想の証明になっていないけどね，って言っているのかと．

さわやかテロ