RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @bigdata: Learnability can be undecidable: "Gödel and Cohen showed ... that not everything is provable. #MachineLearning shares this fat…
Its a very interesting result but not obvious to me why it matters practically speaking. What's wrong with PAC? Still reading full article https://t.co/5np8bTGjXl
Learnability can be undecidable: "Gödel and Cohen showed ... that not everything is provable. #MachineLearning shares this fate. We describe simple scenarios where learnability cannot be proved nor refuted using the standard axioms of mathematics." https:/
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
Having a look at the paper about that undecidability result in machine learning. I assume I don't really get it, but it's surprisingly readable https://t.co/2Z4xBGUI8g
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
.@KolachinaP The paper about undecidability of machine learning https://t.co/Hb3scDM8aJ
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @robinhouston: It’s interesting to read a mathematical paper written in Nature style. There can’t be many set theory papers that contain…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @Perfect_Insider: 雑誌はNature系列ですがNature本家ではないようですね。決定不能性の証明では、いくつかの定番問題(停止問題、ポストの対応問題、ヒルベルト第10問題…)に帰着させることが多いですが、そこで連続体仮説を持ち出すというのは新しい気もし…
連続体仮説が機械学習と関連してるとかいう面妖な話題を見かけたけど、これか。 https://t.co/uO6GZJvVuY
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @Perfect_Insider: 雑誌はNature系列ですがNature本家ではないようですね。決定不能性の証明では、いくつかの定番問題(停止問題、ポストの対応問題、ヒルベルト第10問題…)に帰着させることが多いですが、そこで連続体仮説を持ち出すというのは新しい気もし…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @Perfect_Insider: 雑誌はNature系列ですがNature本家ではないようですね。決定不能性の証明では、いくつかの定番問題(停止問題、ポストの対応問題、ヒルベルト第10問題…)に帰着させることが多いですが、そこで連続体仮説を持ち出すというのは新しい気もし…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @kururu_goedel: ホントに言ってるよ、なんかが連続体仮説と同値だって(なにかがなんなのかはもちろん機械学習とか何も知らない私にはわからないけど)。 https://t.co/x0MIkjqo98
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @hir_kurashige: Nature Machine Intelligenceが思った以上に面白そう.なんていうか,「機械学習を数理的に哲学する」ジャーナルといった感じ? https://t.co/KNTCrWiTPb とか https://t.co/ntrMlR…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
Nature Machine Intelligenceが思った以上に面白そう.なんていうか,「機械学習を数理的に哲学する」ジャーナルといった感じ? https://t.co/KNTCrWiTPb とか https://t.co/ntrMlRcM6w とかは,いわゆる計算論や数学基礎論に絡む.2番目のやつはyoutubeでの説明も. https://t.co/tJbNauOOpZ
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @hidetokazawa: https://t.co/GPKrZQmoDg 機械学習の論文に連続体仮説が出てきたよ。明日あたりには誰かが100ページぐらい(そのうち連続体仮説の説明が80ページ)のわかりやすいスライドを作って公開してくれるに違いない。
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
It’s interesting to read a mathematical paper written in Nature style. There can’t be many set theory papers that contain the sentence “We start with a brief overview of cardinal numbers.” https://t.co/R6EHHe5EOv
面白ネタだーーーー。 https://t.co/6WIaSAO4Rm が比較的読みやすそうなので読もう。 https://t.co/UhRG5H2Jay
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
> We show that, in some cases, a solution to the ‘estimating the maximum’ problem is equivalent to the continuum hypothesis. まじか... https://t.co/F7CNoHPCxI
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
Cohen の連続体仮説か。。。
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
Learnability can be undecidable. Simple scenarios where learnability cannot be proved nor refuted using the standard axioms of mathematics. Our proof is based on the fact the continuum hypothesis cannot be proved nor refuted (Gödel and Cohen). https://t.c
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @Perfect_Insider: 雑誌はNature系列ですがNature本家ではないようですね。決定不能性の証明では、いくつかの定番問題(停止問題、ポストの対応問題、ヒルベルト第10問題…)に帰着させることが多いですが、そこで連続体仮説を持ち出すというのは新しい気もし…
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR