21 世纪数学逻辑的前景
计算机科学中的逻辑
2007-05-23 v1
摘要
四位作者就21世纪数学逻辑的未来发展展开了推测。分别讨论了递归理论、证明理论和计算机科学逻辑、模型论以及集合论等领域。
引用
@article{arxiv.cs/0205003,
title = {The prospects for mathematical logic in the twenty-first century},
author = {Samuel R. Buss and Alexander S. Kechris and Anand Pillay and Richard A. Shore},
journal= {arXiv preprint arXiv:cs/0205003},
year = {2007}
}
备注
Association for Symbolic Logic