.jpg)
2025-4-8-图灵完备
图灵完备性（Turing Completeness）定义： 一个计算系统（编程语言、虚拟机、区块链等）如果能够模拟通用图灵机（Universal Turing Machine, UT…
.jpg)
2024-12-30-类型论
类型论初学简述：类型论是一种形式理论，被视为编程语言中类型系统的数学表述。 特点： - 基于lambda 演算 - 使用规则定义类型 - 不需要穷举无穷大集合中的所有元素 - 命题也…