RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
@HolgerHoos Yes, great result. Unfortunately the popular write-up is rather confused (probably not written by an expert on set theory). Fortunately, the original paper is openly available: https://t.co/jkeIOqWk3g
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
@non_archimedean このツイートです。陽には書いてないんですがそう解釈できます https://t.co/WgxMJEkaXf
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @kururu_goedel: ホントに言ってるよ、なんかが連続体仮説と同値だって(なにかがなんなのかはもちろん機械学習とか何も知らない私にはわからないけど)。 https://t.co/x0MIkjqo98
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
@non_archimedean まあ仰る通りなんですが、元ネタではZFCをusual、ZFC+¬CHをstandardと呼んでいるようなので、ここではそれに倣ってます https://t.co/WgxMJEkaXf
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 @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
@RinekeV @RrrichardZach https://t.co/sNz2GAyopw Here is the actual paper. Just checking it out.
RT @ssshanest: Looks like it should be a fun read: "Learnability can be undecidable" https://t.co/sEzPRz7hlC
RT @huitseeker: OK, this is cool: there's a class of learnability problems that's equivalent to the continuum hypothesis, and thus undecida…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @hidetokazawa: https://t.co/GPKrZQmoDg 機械学習の論文に連続体仮説が出てきたよ。明日あたりには誰かが100ページぐらい(そのうち連続体仮説の説明が80ページ)のわかりやすいスライドを作って公開してくれるに違いない。
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @Perfect_Insider: 雑誌はNature系列ですがNature本家ではないようですね。決定不能性の証明では、いくつかの定番問題(停止問題、ポストの対応問題、ヒルベルト第10問題…)に帰着させることが多いですが、そこで連続体仮説を持ち出すというのは新しい気もし…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
Undecidability results are boring but decidability results are surely worse. https://t.co/42zX7kNchi
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 @kururu_goedel: ホントに言ってるよ、なんかが連続体仮説と同値だって(なにかがなんなのかはもちろん機械学習とか何も知らない私にはわからないけど)。 https://t.co/x0MIkjqo98
RT @kururu_goedel: ホントに言ってるよ、なんかが連続体仮説と同値だって(なにかがなんなのかはもちろん機械学習とか何も知らない私にはわからないけど)。 https://t.co/x0MIkjqo98
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 @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
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 @fujitapiroc1964: おおっ、先遣隊からの報告が… ありがとうございます!! https://t.co/L0AP6YrN7Q
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
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
Learnability can be undecidable nature機械学習だ(゚∀゚)キタコレ!! https://t.co/Tk4dSNrMSb
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR
RT @Perfect_Insider: 雑誌はNature系列ですがNature本家ではないようですね。決定不能性の証明では、いくつかの定番問題(停止問題、ポストの対応問題、ヒルベルト第10問題…)に帰着させることが多いですが、そこで連続体仮説を持ち出すというのは新しい気もし…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
Learnability can be undecidable | Nature Machine Intelligence https://t.co/GgTyAbBOCW
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 @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
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 @Hal_Tasaki: 機械学習における決定不可能性についての論文。 「十分に複雑で耳目を集める体系においてはかならず決定不可能性な側面があることを示す論文が(煽り目のアブストラクトをつけて)Nature に出る」という一般則があるのかもしれない(研究は非自明で面白いの…
RT @MarriageTheorem: 件の「機械学習と連続体仮説」の論文 https://t.co/HOKf0Wg5Lh をざっと読んだ限り(動機はともかく)数学的な内容はおおよそ「実数(あるいは実ベクトル空間)上のある性質を持つ関数の存在と「|R| < א_ω」の等価性」…
RT @morikuni_net: 数学基礎論における連続体仮説(自然数と実数の中間の濃度をもつ無限集合は存在しない)は工学上の有用性はないと考えられていたが、機械学習に関する決定可能性問題に重要な関係があることが示された https://t.co/UZ2eV0ZwpR