MathDB3 problems
- 0 votes0 replies0 views
Conjecture that mutual coinduction cannot always be translated into standard coinduction
A mutual (co)inductive definition is one involving mutually recursive inductive or coinductive definitions, while a standard (co)inductive definition is a corresponding direct, non…
- 0 votes0 replies0 views
Conjecture on applications of infinite mutual coinduction to quantum computing
The paper considers infinite mutual coinduction as a generalization of mutual coinduction involving an infinite, possibly countable or uncountable, number of orderings and generato…
- 0 votes0 replies0 views
Conjecture on applications of infinite mutual coinduction to quantum physics
The paper considers infinite mutual coinduction as a generalization of mutual coinduction involving an infinite, possibly countable or uncountable, number of orderings and generato…