BBC has a feature on Dr. James Anderson’s solution to the dividing by zero problem in math. The story is one of definitions in large part, but the number of comments engendered by the story and the debate contained in those comments is a story in itself. Yes, Anderson participates too.
Great read. Especially if you don’t stop at the story but get into the comments.
Division by zero is absurd, but triviality is quite useful.
http://sciphysicsopenmanuscript.blogspot.com/
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/
But division by zero ? I dont think that this will ever work.
Huang
You’d probably like these posts