12 citations · 66 across the 25 of their papers we have counts for
Showing 2013 · math.LOShow all
2 papers · 2 filters
math.LO2013★ 3 cited
Fast-collapsing theories
Samuel Alexander
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…
math.LO2013★ 11 cited
A machine that knows its own code
Samuel Alexander
We construct a machine that knows its own code, at the price of not knowing its own factivity.