Posts
-
How to Run A Python Script in Slurm-Based Cluster in Five Minutes
April 18, 2017
This actually took me a couple hours to figure outErm, more like a day if we take into account the frustration and the resulting procrastination. On the other hand, I got to listen to this amazing podcast with Kara Swisher, a fearlessly straightforward journalist. Life-changing. , so hopefully I save you some time!
-
Installing Sage in ssh/Cluster from Binary
March 23, 2017
I installed Sage from binary in my Cluster ssh account and documented it step-by-step.
For a sourceTakes more time to build and there may be debugging involved, but the end program will be better performance-wise. installation process, click here.
-
Installing Sage in ssh/Cluster from Source
March 22, 2017
I installed Sage from source in my Cluster ssh account and documented it step-by-step.
For a binarySimpler installation, but the resulting program will be suboptimal performance-wise. installation process which takes less disk space, click here.
-
Introducing Growth of Groups
March 14, 2017
The growth of a group is an aesthetically pleasing large-scale property that is borderline geometric and algorithmic.
I will give an overview on the research on growth by historical and intuitive examples.
-
The Social Role of Mathematical Proofs
October 1, 2016
Although proofs are often thought as a way to show beyond reasonable doubt that a mathematical statement is true, this is not always the case in practice, even for mathematicians at the top of the field. Andrew Wiles’s proof of Fermat’s Last Theorem originally contained a gap, and Fields medalist Vladimir Voevodsky found one of his papers to be very wrong seven years after publication.
Mathematical publications are long, and their machinery convoluted. State-of-the-art proofs are by no means a certain way to establish truth, as these proofs are proof-sketchesThe great Dani Wise once said. “Unless you are in the first week of your first-order logic class, all proofs you are going to see are proof-sketches. Deal with it!” . For a long time, I have wondered what the role of a proof is, and where proofs are going with the advancement of computing power and formal verification.