Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun logic A form of
induction that allows some form ofreasoning concerningsets that are not well founded; uses a form ofrelation called abisimulation - noun biology The simultaneous induction of two or more
compounds into acell line
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word coinduction.
Examples
-
Incorporating concepts and results from category theory, coalgebra leads us to concepts such as corecursion and coinduction; these are in a sense duals to the more standard notions of recursion and induction.
Non-wellfounded Set Theory Moss, Lawrence S. 2008
-
We give an explicit coinduction principle for recursively-defined stochastic processes.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.