发布于 23 天前
L’implémentation pratique d’un système de type
Aujourd’hui les systèmes de type fait l’objet de notre discussion
数学
发布于 2023-06-29
L’axiome du choix, dans le domaine de la théorie intuitionniste des types
L’axiome du choix, c’est un axiome qui signifie qu’il y a
发布于 2023-02-07
The Entscheidungsproblem is undecidable
Propositional Logic（PL）的有效性（Validity）是可判定的，这意味着存在一个算法，给定任意一个PL中 …
发布于 2022-11-01
哲学，逻辑，与数学——从罗素悖论谈起
本文作者才疏学浅，许多概念也是在写本文的过程中学习的，如有疏漏纰谬等等，不胜惶恐，多请读者指正 i. 悖论 一直到19世纪末期为止 …
