Entries from 2016-06-14 to 1 day

<証明No.4・ぼつ>コラッツ予想の証明を修正しました

コラッツ予想 Coq

コラッツ予想の証明にギャップがあったので修正しました。まだpre版で、日本語と英語が混ざってて気持ち悪いですが、良かったら見てみてください。 Coqも使っています。collatz_CA_2pre_jp.pdf - Google ドライブ