Implementable Set Theory and Consistency of ZFC

From: Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx>
Date: Wed, 10 Oct 2007 16:00:47 +0200

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.

Han de Bruijn

.

Follow-Ups:
- Re: Implementable Set Theory and Consistency of ZFC
  - From: lwalke3
- Re: Implementable Set Theory and Consistency of ZFC
  - From: David R Tribble
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Virgil
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Peter Webb
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn

Prev by Date: Re: when is a billion not a billion
Next by Date: Re: JSH: To be honest
Previous by thread: Pythagorean Triples
Next by thread: Re: Implementable Set Theory and Consistency of ZFC
Index(es):
- Date
- Thread

Relevant Pages

Re: Torkel Franzen on truth
... is absolutely sure that PA and ZFC are consistent. ... these axioms as our starting point. ... We do not know if PA's Goedel sentence is true. ...
(sci.logic)
Re: Cantors circular "proof" that evens = integers
... is that, assuming consistency of the axioms of ZFC, that infinite ... infinite sets logically possible entitites if ZFC is consistent but proves ... If ZFC is consistent but proves "ZFC is inconsistent" then ... Also it seems, BTW, that such a proof would have to be a pure existence ...
(sci.logic)
Re: Torkel Franzen on truth
... is absolutely sure that PA and ZFC are consistent. ... these axioms as our starting point. ... We do not know if PA's Goedel sentence is true. ...
(sci.logic)
Re: Torkel Franzen on truth
... is absolutely sure that PA and ZFC are consistent. ... "And given that the axioms of ZFC are so utterly compelling, ... Thus far I have not seen any convincing argument that we can reject ...
(sci.logic)
Re: How does ZFC proof that PA is consistent?
... and you do not need to assume that ZFC ... is consistent in order to do that. ... and call this intersection N. Then N is a model for the Peano Axioms. ... axioms: infinity and separation. ...
(sci.logic)