科研项目的资料打印好了，整整一大箱，同学已经拿走了他的那份还剩下这么多；之前汇报看书进度被说太慢，看来老师或许是真的想让我们一学期看完这么多的😯 #感想
（不过用经费免费打印很爽）

http://aareyanmanzoor.github.io/Texromancers.html
一个把经典古老的教材LaTex化、现代化的组织，包括插入超链接、重置图表/符号等，目前已经有同伦论、微分几何、交换代数等的经典教材了 #资源

他们的确是在做一件惠及所有人都事，目前还在招人，我能力够了或许也会想要加入吧

梗图，虽然完全不懂同伦论
#娱乐 #同伦论

黎曼猜想相关猜想得证？

黎曼猜想是七大千禧年难题之一，之前提到的庞加莱猜想也在其中（也是目前唯一被解决的一个），其难度与重要性都是顶尖的，黎曼猜想有个主要推广叫广义黎曼猜想，而这个猜想则是广义黎曼猜想的必要条件：这个猜想如果被证否，那么广义黎曼猜想便是错的，但如果被证实，虽然推不出广义黎曼猜想成立，但也靠近了一大步了；不过应该是被证实的，被证否的话可能相当多数学家的直觉与信念将要受到打击了…不过那也体现了数学的神奇吧

这会像atiyah那样成为乌龙，还是像曾经的张益唐再次一鸣惊人呢？
11月会贴出论文，到时候就可以见分晓了

更新：已经发了，见此处 #资讯

关于计算机、数学与逻辑学

最近ai绘画的事很火呢，很多人担心因此失业，不过所幸数学家们大概没有这样的困扰——不存在统一的计算机程序解决一个范围内所有的数学问题，在数学上叫希尔伯特问题的不可解性。

当然，这件事可能对很多人来说很直观，不过奇妙的地方在于：图上这样寻求“死循环”的统一判别法这样也很直观的想法却也因为类似的原因而不可实现，这叫停机问题的不可解性。

视角更远些，这两件事的证明都用到的对角线法，以及更本质的，“自指”的想法，在数学与逻辑学中相当多奇妙的结论都与其相关：实数的不可数性以及“不可计算数”（其经典例子蔡廷常数便与上文的停机问题有关）与“不可定义数的存在性”、罗素悖论与哥德尔不完备定理等等；其不仅在数学和逻辑学中相当深刻，也借助计算机与人的生活产生关联，或者说，计算机之所以是伟大的发明，就在于其是数学中相当根本与基础的想法的实现吧，就像是…物理学中的永动机

下面几本书是我最初接触到这些知识的来源，前两本作为科普书也是相当不错的
#感想 #科普 #数学文化

声援 Library Genesis 和 Sci-Hub

这是7年前的文章，七年后的今天，zlib也遭受危机…这是一个关于版权被资本利用，反而损害原作者利益的故事

这些网站的重要性对大部分科学工作者（当然也包括数学）都是不言而喻的，就像是盗火的普罗米修斯
#资讯

上一条的直观理解
#娱乐

https://arxiv.org/abs/0705.4306

前面提到的张益唐的论文已经发出来了，他将于8日在北京大学做在线学术报告，可见此公告

一些相关科普可见此处
#资讯