Francis Bessière:一种对基础的新审视
综合数学
2019-01-29 v1
摘要
我们提请关注 Francis Bessière 提交至 HAL 开放档案的一份手稿,其中他试图将数学建立在一种可仅用有限主义方法证明一致的平移理论之上,从而绕过 Gödel 对诸如 [ZF] 等演绎理论所揭示的不可能性。
引用
@article{arxiv.1901.09714,
title = {Francis Bessi\`ere Un nouveau regard sur les fondements},
author = {Labib Haddad},
journal= {arXiv preprint arXiv:1901.09714},
year = {2019}
}
备注
11 pages, in French with summaries in English