1 0 0 0 OA 証明のプログラミング
- 著者
- 島内 剛一
- 出版者
- 一般社団法人 日本数学会
- 雑誌
- 数学 (ISSN:0039470X)
- 巻号頁・発行日
- vol.15, no.1, pp.48-55, 1963-08-15 (Released:2008-12-25)
- 被引用文献数
- 1
言及状況
外部データベース (DOI)
Twitter (1 users, 1 posts, 1 favorites)
この論理式について島内剛一は『証明のプログラミング』（https://t.co/08tIzUHT2w）no
p.53 に「筆者の知る限りでは、5分以内にこの formula が正しい（証明可能）とか、誤りであるとかの結論を示した数学者はいない」と書いている。