Fast-collapsing theories
Logic
2019-11-19 v3
Abstract
Reinhardt's conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.
Cite
@article{arxiv.1311.3013,
title = {Fast-collapsing theories},
author = {Samuel Alexander},
journal= {arXiv preprint arXiv:1311.3013},
year = {2019}
}
Comments
14 pages, 1 figure. Amendment to correct bibliography