https://twitter.com/sugar_underkey/status/1044175841331015681こちらの方の言われている話ですと,論文では以下の主張が言われているようです.
・選択公理の元でリーマン予想は証明できるけど,これって一般的なZF公理系ではだめだよね・思うんだけど,本気のリーマン予想はゲーデルの言うところの決定不能問題になっちゃうんだろうなぁって.→つまり,ガチなリーマン予想の証明になっていないけどね,って言っているのかと.
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **