19/06/04 22:53:17.54 zVQx4opk.net
>>12
数学は厳密に
証明が命ですという神話（＾＾
有限単純群の分類の証明は、計1万5000ページ以上、準薄群（英語版）だけでも1221ページにも及ぶという
のみならず、人の手にはおえず、コンピュータを使って構成され、存在が確認された群が多数
これが21世紀の数学の現状ですよ
数学は厳密に、証明が命ですという神話（＾＾
「それは、そうだが、しかし・・」という人、1万5000ページの証明を
19/06/04 22:53:17.54 zVQx4opk.net
>>12
数学は厳密に
証明が命ですという神話（＾＾
有限単純群の分類の証明は、計1万5000ページ以上、準薄群（英語版）だけでも1221ページにも及ぶという
のみならず、人の手にはおえず、コンピュータを使って構成され、存在が確認された群が多数
これが21世紀の数学の現状ですよ
数学は厳密に、証明が命ですという神話（＾＾
「それは、そうだが、しかし・・」という人、1万5000ページの証明を