Set Theory and Logic

1707 Submissions

[2] viXra:1707.0336 [pdf] submitted on 2017-07-26 03:15:00

Natural Algebra and Differencial Cell: a Boolean Logic Isomorphism a General Model of Processors Based on Physic Transformations. Synthesis of an Optoelectronic Processor

Authors: Carmine D'Errico
Comments: 16 Pages.

In this paper a new isomorphism is demonstred to exists who is demonstred to be a subset of boolean algebra. Then all the properties of this new algebra are sketched out and the most important logic theorems are demonstred a new form. Therefore a fully photonc logic gate is demonstred to be possible with a power consuption very near to zero. Other analysis are offered. The results of a prototype are showed to be compatible with theory
Category: Set Theory and Logic

[1] viXra:1707.0220 [pdf] submitted on 2017-07-16 10:14:11

Proof of ZFC Axioms as Normal Statements No. 2.2

Authors: Thomas Limberg
Comments: 6 Pages. Language: German

We interpret 5 of the 10 axioms of ZFC (Zermelo-Fraenkel set theory with axiom of choice) as normal statements and proof them. So these 5 sentences don't need to be introduced as axioms, but can be used as proven statements.
Category: Set Theory and Logic