Division by zero is absurd, but triviality is quite useful.
There are 3 existential types, not just 2.
1) That which exists.
2) That which does not exist.
3) That for which existence is indeterminate.
Any trivial is of the third type because “The Existence of a Trivial is Indeterminateâ€.
This last statement can be proved quite easily. It says that given any unique object, there is no way to determine if the object is really itself, or if it is in fact a trivial clone of itself. This is indeterminate.
One can exploit this existential indeterminacy of the trivials to make all kinds of unusual models.
http://sciphysicsopenmanuscript.blogspot.com/
I think that Dr Anderson was on the right track, but he missed it. He claims to have invented a non-number, a nullity, but he should really be looking at triviality instead.
There are 3 existential types, not just 2.
1) That which exists.
2) That which does not exist.
3) That for which existence is indeterminate.
Any trivial is of the third type because “The Existence of a Trivial is Indeterminateâ€.
This last statement can be proved quite easily. It says that given any unique object, there is no way to determine if the object is really itself, or if it is in fact a trivial clone of itself. This is indeterminate.
One can exploit this existential indeterminacy of the trivials to make all kinds of unusual models.
http://sciphysicsopenmanuscript.blogspot.com/
I think that Dr Anderson was on the right track, but he missed it. He claims to have invented a non-number, a nullity, but he should really be looking at triviality instead.
Huang