First Page | Document Content | |
---|---|---|
![]() Date: 2007-10-22 09:13:11Kepler conjecture Foundations of mathematics Mathematical practice Imre Lakatos Mathematical object Theorem Mathematician Proofs and Refutations Computer-assisted proof Mathematics Philosophy of mathematics Mathematical proof |
|