arXiv · 1901.09714
Francis Bessi\`ere Un nouveau regard sur les fondements
Abstract
We draw attention to a manuscript submitted to the HAL Open Archives by Francis Bessi\`ere, where he tries to base mathematics on a translative theory that could be shown consistant using only finitist methods, thus bypassing the impossibility shown by G\"odel for deductive theories, such as [ZF], for example.
Explore related subjects
Keep this discovery
Labib Haddad. 2019-01-25. Francis Bessi\`ere Un nouveau regard sur les fondements. https://arxiv.org/abs/1901.09714
Cite the original work for its findings. Save a collection to share your selection of sources.