Show newer

に Mastodon v3.5.0 までをマージしました。

ふぅ……

- モデレータの決定に対してappealができるようになった。
- explorerタブ(ページ)ができた。

一番大変だったのはPostgerSQLが14にアップグレードされたことでした。でも先人の知恵の便利コンテナを使うことでなんとかできました。

おかしいところがあったらお教え下さい。> all

やった! DockerコンテナのPostgreSQLのデータを9.6から14にアップグレードすることに成功した! tianon/postgres-upgrade という便利コンテナを使いました。

github.com/tianon/docker-postg

I posted a fun hash tag in Japanese, which means "a theorem whose proof I've never followed".

Use if you're an English speaker.


ゲーデルの不完全性定理まわり

(命題論理とかの完全性定理はちゃんと追ったつもり)

セカンドの定理ぐらいまでなら追ったんだけどなー(嘘)

証明を追ったことない定理を激白する企画とか面白いかも
タグを作ろう。

Louveauの分離定理、証明追ったことないな……

$\mathbb{C}$ は、実数係数の $x$ の多項式全体を $x^2+1$ が $0$ になるように割って作るのが簡単ですしそもそもの動機通りですし筋が良いんじゃないかな〜と思います。

「著者が著者なので」

おおJean-Pierre Serreさんじゃ

Twitterで回ってきたプレプリント arxiv.org/abs/2203.09979 が先行研究をガン無視してる感じだったので、その辺をやんわり指摘するノートを(年の瀬だっちゅうのに)超特急で書いてarXivに投げるなどした(いやまぁ、半年以上前のプレプリントなので何でもっと早く気付かなかったのかという話ですが)。
半年以上放置してしまったので手遅れかもですが、著者が著者なので、一応誰かがツッコミを入れておかないと「この結果は先行研究がない」という誤解が定着しかねないので。

いろんな言語でいろんな言語でおけと書いてみた。

이 Mastodon 서버 에는 사이트에 많은 일본 사용자가 있지만 물론 모든 언어 사용자를 환영합니다. 수학 주제, 수학 관련 개그, 잡담 모두 환영합니다.

這個 Mastodon 服務器 網站上有很多日語用戶,但我們當然歡迎任何講語言的人。 歡迎討論數學主題、與數學相關的笑話和閒聊。

Show thread

这个Mastodon服务器 上有很多日本用户,当然我们也欢迎任何语言使用者。数学话题、与数学有关的插科打诨和闲聊都是我们欢迎的。

Questo server Mastodon ha molti utenti giapponesi sul sito, ma ovviamente diamo il benvenuto a qualsiasi parlante di lingue. Argomenti di matematica, gag relative alla matematica e chiacchiere sono tutti benvenuti.

Show thread

Este servidor Mastodon tiene muchos usuarios japoneses en el sitio, pero por supuesto damos la bienvenida a los hablantes de cualquier idioma. Los temas matemáticos, los chistes relacionados con las matemáticas y las charlas son bienvenidos.

Dieser Mastodon-Server hat viele japanische Benutzer auf der Seite, aber natürlich begrüßen wir alle Sprecher dieser Sprache. Mathe-Themen, Mathe-bezogene Gags und Plaudereien sind alle willkommen.

Show thread

This Mastodon server has many Japanese users on site, but of course we welcome any language speakers. Math topics, math-related gags, and chit-chat are all welcome.

Ce serveur Mastodon compte de nombreux utilisateurs japonais, mais nous accueillons bien sûr tous les locuteurs de langues. Les sujets mathématiques, les gags liés aux mathématiques et le bavardage sont tous les bienvenus.

NaNの扱いはmaybeモナドで数学的に扱えているような気もする。たぶん(maybeとかけてトゥート)。

Show thread

NaNの扱いはmaybeモナドで数学的に扱えているような気もする。

Show older
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.