Hakuluettelo:
Käännös:
constructive logic (suomeksi)
- Määritelmät:
- (lb, en, logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.
Viimeisimmät haut: constructive logic, marginalize, disemvoweling, kilogram, pedetentously, incestous