3,804 followers
この論理式について島内剛一は『証明のプログラミング』(https://t.co/08tIzUHT2w)no p.53 に「筆者の知る限りでは、5分以内にこの formula が正しい(証明可能)とか、誤りであるとかの結論を示した数学者はいない」と書いている。
この論理式について島内剛一は『証明のプログラミング』(https://t.co/08tIzUHT2w)no p.53 に「筆者の知る限りでは、5分以内にこの formula が正しい(証明可能)とか、誤りであるとかの結論を示した数学者はいない」と書いている。