World2TheBackrooms (@Mania2Sdr)

投稿一覧(最新100件)

以下の文献を読むと、構成的数学では重要ないくつかの定理が証明できない。しかしBrouwerかBishopか、どちらの数学を使うかで違ってくるし、最新の研究ではもっと洗練された成果が出ているかも。 https://t.co/Barz18mG1N
こちらにもはっきり書いてあった。 https://t.co/cDewCK4Zja
あー、Cauchy-Peanoの定理とWKLは同値か… https://t.co/JZLyTM4qKe これからWKLなしだと固有値分解不可が言える。これでWKL上での主張の根拠はできたが、数学的価値は無くなった…まあ哲学的な価値が残っている、としておくか…
キーワードは(量子計算における)可逆計算、時間反転演算子など。以下は参考になるリンク。 https://t.co/gDJHxgDpCQ
こんなのを見つけた。非常に勉強になる。 https://t.co/Barz184wNF
国立国会図書館デジタルコレクションだと完全版が読める。 https://t.co/wbBnNcAjsc こっちに変更しよう。

お気に入り一覧(最新100件)

フォロー(194ユーザ)の投稿一覧(直近7日間)

フォロワー(111ユーザ)の投稿一覧(直近7日間)