Best described through an example:
The Hebrand domain of Numbers consist of all numbers between -infinity to infinity real.
The Herbrand domain of Integers are the subset of the HB Number that are whole.
It would be useful to have String, Character, Real, and Integer class objects that can be infered to support the respective Herbrand domain. Because, in the case of Numbers, there is no numeric storage capable ( from an ephemeral viewpoint ) of handling the range, it is suggested that the storage be in string format.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Best described through an example:
The Hebrand domain of Numbers consist of all numbers between -infinity to infinity real.
The Herbrand domain of Integers are the subset of the HB Number that are whole.
It would be useful to have String, Character, Real, and Integer class objects that can be infered to support the respective Herbrand domain. Because, in the case of Numbers, there is no numeric storage capable ( from an ephemeral viewpoint ) of handling the range, it is suggested that the storage be in string format.
Shall provide a Herbrand String type
Shall provide a Herbrand Number Type
Shall provide a Herbrand Real type which is a Number type
Shall provide a Herbrand Integer type which is a Real type
Shall provide a Herbrand Character type