Re: Implementable Set Theory and Consistency of ZFC

Han de Bruijn wrote:

Implementable Set Theory and Consistency of ZFC
===============================================

http://hdebruijn.soo.dto.tudelft.nl/jaar2007/set_theory.pdf

Abstract
--------
With help of a bijection, which was basically invented by Alexander
Abian, a "simple model", or rather an implementation of the ZFC axioms
in the memory of common digital computers, has been made operational.

With the implementation, it can be proved that eight out of the nine
axioms of ZFC are consistent, that only four axioms are needed for a
constructive build of all sets, and that common ZFC, with the axiom of
Infinity included, is not consistent.

I want to add that Chas Brown has been given credit twice in this paper.

Han de Bruijn

.

Relevant Pages
Loading