Hacker News
- For Potential PhD Students http://math.stanford.edu/~vakil/potentialstudents.html 2 comments
- The “three things” exercise for getting things out of talks (2011) https://math.stanford.edu/~vakil/threethings.html 60 comments
- does anyone have an updated copy of yasha eliashberg's calculus on manifolds notes used at stanford? https://math.stanford.edu/~eliash/Public/math177/177-diff-forms.pdf 13 comments math
- Elliptic integrals and Riemann surfaces http://math.stanford.edu/~conrad/papers/elemint.pdf 6 comments math
- "Why isn't the Continuum Problem on the Millenium ($1,000,000) Prize list?", by Solomon Feferman [PDF of slides] http://math.stanford.edu/~feferman/papers/ch-millennium.pdf 34 comments math
- What mathematical concept must one understand in order to digest Andrew Wiles’s proof of Fermat’s Last Theorem? http://math.stanford.edu/~lekheng/flt/wiles-small.pdf 29 comments math
- A Proof that e^(x^2) cannot be integrated in elementary terms http://math.stanford.edu/~conrad/papers/elemint.pdf 28 comments math
- Solomon Feferman, "Axiomatizing truth: why and how?" https://math.stanford.edu/~feferman/papers/axtruthschwifest.pdf 3 comments philosophy
- Introduction to Fermat's Last Theorem [12 page PDF] http://math.stanford.edu/~lekheng/flt/cox.pdf 20 comments math
- Is Roger Penrose abusing Godel's Incompleteness theorem? https://math.stanford.edu/~feferman/papers/penrose.pdf 61 comments math
- Godel vs. Godel http://math.stanford.edu/~feferman/papers/godelnagel.pdf 59 comments programming
Lambda the Ultimate
- Gödel, Nagel, minds and machines http://math.stanford.edu/~feferman/papers/godelnagel.pdf 62 comments General , History , Lambda Calculus