TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

There’s more to mathematics than rigour and proofs (2007)

145 点作者 _ttg大约 3 年前

12 条评论

devnulll大约 3 年前
One day I&#x27;ll retire and go back to school. The idea of learning Math - really learning &amp; understanding Math - as a fun pastime is so appealing.<p>What&#x27;s stopping me now? That sweet overpaid SDE salary and the endless obligations that come from being an adult. I suspect I am not alone...
评论 #31088831 未加载
评论 #31087618 未加载
评论 #31088369 未加载
评论 #31089434 未加载
评论 #31092540 未加载
评论 #31087647 未加载
评论 #31088456 未加载
评论 #31093997 未加载
评论 #31091383 未加载
评论 #31087715 未加载
评论 #31088070 未加载
评论 #31091235 未加载
评论 #31089491 未加载
评论 #31091122 未加载
评论 #31090576 未加载
peterhalburt33大约 3 年前
I love Terry Tao’s writing on math. One thing that strikes me about him is that, despite being an absolute technical powerhouse, he writes in a very down to earth style that connects disparate areas of math - e.g. his article on “what is a gauge” <a href="https:&#x2F;&#x2F;terrytao.wordpress.com&#x2F;2008&#x2F;09&#x2F;27&#x2F;what-is-a-gauge&#x2F;amp&#x2F;" rel="nofollow">https:&#x2F;&#x2F;terrytao.wordpress.com&#x2F;2008&#x2F;09&#x2F;27&#x2F;what-is-a-gauge&#x2F;am...</a> where he explains how dimensional analysis might be viewed as a change of coordinates. Too often exposition in math is myopic and fails to impart a unique perspective on the subject, but Tao imbues his writing with a wisdom that I consider the sign of a true genius.
dang大约 3 年前
Related:<p><i>There’s more to mathematics than rigour and proofs</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9517619" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=9517619</a> - May 2015 (32 comments)<p><i>There’s more to mathematics than rigour and proofs</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=4769216" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=4769216</a> - Nov 2012 (36 comments)
mbrodersen大约 3 年前
I understood math much better after following the Software Foundations tutorials:<p><a href="https:&#x2F;&#x2F;softwarefoundations.cis.upenn.edu&#x2F;" rel="nofollow">https:&#x2F;&#x2F;softwarefoundations.cis.upenn.edu&#x2F;</a><p>Another good starting point (for mathematicians) would be the Lean community group and the Math lib project:<p><a href="https:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1910.09336.pdf" rel="nofollow">https:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;1910.09336.pdf</a><p><a href="https:&#x2F;&#x2F;github.com&#x2F;leanprover-community&#x2F;mathlib" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;leanprover-community&#x2F;mathlib</a>
vlovich123大约 3 年前
I feel like this is how all domain expertise works, no? Start with intuition which helps you solidify some of the foundation. Flush out the foundation and start building complicated structures. Now that you&#x27;ve built up the experience, go back and use your intuition to figure out new types of buildings to build.
cpp_frog大约 3 年前
This is remarkably accurate and resonates with me a lot. I did mathematical olympiads in high-school, where intuition to crack problems plays a major role. Then went on to college to study an undergraduate degree in maths (concentration in analysis). Analysis requires, at least in its rigorous foundations, to be careful and have a skilled knowledge of logic&#x2F;quantifiers (more than elementary abstract algebra in my humble and biased opinion), often very scrupulously. Then in my graduate studies intuition along with the maturity of rigor work to produce new theorems. I&#x27;m impressed that several times I look at a paper or series of results and can read them &quot;diagonally&quot; to get the motivation without scanning all the text (of course, if the aim is to cite&#x2F;build on top of&#x2F;generalize&#x2F;apply it then close attention to reasoning should be paid).
auggierose大约 3 年前
You can infer from this how Artificial Intelligence and Logic should be combined: AI enables a &quot;post-rigorous&quot; mode, and Logic is how you know you are still doing something sensible, and how you expand your sure footing.
paulpauper大约 3 年前
#2, #3 means being at the stage where you can look at something and be like &quot;no this cannot work&quot; or &quot;maybe this can work&quot; without having to do all the steps.
ffhhj大约 3 年前
Which are the newest developments in math? Someone told me Geometric Algebra has been around for a long time but wasn&#x27;t really useful until some recent theorems.
评论 #31089186 未加载
adamnemecek大约 3 年前
I can&#x27;t wait for theorem provers to be commonplace.
评论 #31089727 未加载
kazinator大约 3 年前
Mathematics needs imagination to come up with conjectures that need proving; without that there is nothing to apply rigor to.
formerkrogemp大约 3 年前
All you need to get by in life is a solid understanding of a little applied math and statistics. Leave the rest for professors and hobbyists.