http://www.kmonos.net/wlog/70.html#_2111070226で紹介されてる例をみて、それって決定公理に物凄く似てるなと思いました。といっても決定公理を正しく理解しているわけではないですが。 そう言えば集合論の竹内外史もP対NP問題の研究をやってたな……。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。