vocalodon.net is part of the decentralized social network powered by Mastodon.
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **

Administered by:

Server stats:

243
active users

Learn more

長谷川由紀路

【数学】順序数解析界隈に激震

グラハム数分の一ミリも何のことかわからんけど、二階算術の理論Σ^1_{N+2}-CA+BIの証明論的順序数が決定したとかどうとか...

Hexirp氏(@hexirp_prixeh)曰く、

Π^1_3-CA の順序数解析なんて、解決できるかもという程度の情報でさえ全く見聞きしたことがない、というぐらいなんですよね。それなのに突然 Π^1_∞-CA の順序数解析が解決したという。

解説は@Alwe_Logic氏
twitter.com/Alwe_Logic/status/

�PNG  IHDR PX�IDATxc8� ����F㣩Hi�: X\?ZIEND�B`�