Ye, Xiang's Blog

论形式化语言的坚实性

Posted on 2026-03-31 In 数学 , 哲学 , 逻辑学

以维特根斯坦"数学命题坚硬如铁轨"为典型现象，探讨形式化语言（逻辑、数学与公理化系统）如何将自然语言的流动混沌凝结为透明逻辑结构——符号一旦写下便获得明见性（Evidenz），整体关系透明展开，刚性边界骤然清晰。它究竟是柏拉图式独立存在的形式实在，抑或希尔伯特式语法规则的封闭约定？

Posted on 2021-12-03 Edited on 2026-03-30 In Machine Learning , Methods , Reinforcement Learning

An introduction to Reinforcement Learning

Posted on 2021-12-10 Edited on 2026-03-16 In Programming , Tools , Git

介绍git里面的一些基本概念，了解git运行的基本原理。

Posted on 2022-05-15 Edited on 2026-03-11 In Programming , Tools , Linux

Arch Linux installation, Configuration

Posted on 2022-01-10 Edited on 2026-02-26 In Machine Learning , Methods , Optimization

Optimization

Posted on 2025-12-10 Edited on 2026-01-19 In Optics

Optics

Posted on 2022-06-10 Edited on 2026-01-08 In Programming , Tools , Windows

Some Configuration on Windows

Posted on 2025-10-19 Edited on 2026-01-08 In Programming , Tools

Tips for Python

Posted on 2022-04-12 Edited on 2026-01-08 In Programming , Utile , Regex

Learn Regex

Posted on 2022-06-11 Edited on 2026-01-08 In Programming , Tools , Revealjs

Make PPT with Markdown