几乎所有经典定理都是直觉主义的
计算机科学中的逻辑
2022-03-23 v5 逻辑
摘要
规范表达式是蕴涵命题在变量重命名意义下的代表。本文中，我们使用蒙特卡洛方法探究规范表达式的模型，以证实“渐近意义下几乎所有经典定理都是直觉主义的”这一悖论。
引用
@article{arxiv.2104.06723,
title = {Almost all classical theorems are intuitionistic},
author = {Pierre Lescanne},
journal= {arXiv preprint arXiv:2104.06723},
year = {2022}
}