素数に関するある法則を見つけた。アーカイブ最終更新 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件
【政治】「言ってること怖すぎ」高市首相 「昨日までの平和は、明日からの平和を保証しません」発言にネット騒然…いっぽうで“切り取り”と擁護する声もニュース速報+81110432026/09/05 13:24:53
そうするとレゾリューション(融合原理)はこの式に対して多項式サイズの証明を持つ。
証明は出来てない。