素数に関するある法則を見つけた。アーカイブ最終更新 2020/05/15 23:271.132人目の素数さんItlIYaAm2nビットの数xに対してab=xとなるような1でない自然数a,bが存在するか?という命題をCNF(連言標準形)に直す。そうするとレゾリューション(融合原理)はこの式に対して多項式サイズの証明を持つ。証明は出来てない。出典 https://rio2016.5ch.net/test/read.cgi/math/15895528432020/05/15 23:27:231すべて|最新の50件
そうするとレゾリューション(融合原理)はこの式に対して多項式サイズの証明を持つ。
証明は出来てない。