摘要：
Mathematical Logic Formal Logical System Def. Formal logical system consist of An alphabet of symbols A set of finite strings of these symbols, called 阅读全文
摘要：
Intro Great idea Abstraction Locality: programs work on a relatively small portion of data at any time Parallelism Redundancy: Improve dependability 1 阅读全文
摘要：
Shortest Vector Problem (SVP) Given a basis of a lattice, find the shortest non-zero vector in the lattice. Exact:
摘要：
Utility and Rationality Expected Utility Theorem. A preference relation
摘要：
物理学中的人工智能：历史、现状和未来 ——2024年诺贝尔物理学奖评析 摘要：2024年诺贝尔物理学奖颁发给John J. Hopfield和Geoffrey E. Hinton，以表彰他们在人工神经网络和机器学习领域的开创性贡献。这一决定引发了极大的争议。事实上，Hopfield和Hinton的研 阅读全文
摘要：
Markov Chain & Stationary Distribution Def(Finite Markov Chain). Let
摘要：
SVD Def (eigenvalue\eigenvector). Eigenvalue
摘要：
The Geometry of High Dimensions High dimensional geometry is surprisingly different from low dimensional geometry. Example 1: Volume concentrates on s 阅读全文
