4 papers
Artificial Consciousness and Security
Andrew Powell
This paper describes a possible way to improve computer security by implementing a program which implements the following three features related to a weak notion of artificial cons…
Construction and Set Theory
Andrew Powell
This paper argues that mathematical objects are constructions and that constructions introduce a flexibility in the ways that mathematical objects are represented (as sets of binar…
Topology, Metric Spaces and the Generalized Continuum Hypothesis
Andrew Powell
This is a paper that aims to interpret the cardinality of a set in terms of Baire Category, i.e. how many closed nowhere dense sets can be deleted from a set before the set itself…
A Universal Hypercomputer
Andrew Powell
This paper describes a type of infinitary computer (a hypercomputer) capable of computing truth in initial levels of the set theoretic universe, V. The proper class of such hyperco…