< mathematics > Cantor 's theorem , originally stated for ordinal s, which extends inductive proof to recursive construction. The proof is by pasting together "attempts" (partial solutions).
[Better explanation?]
(1995-06-15)
< mathematics > Cantor 's theorem , originally stated for ordinal s, which extends inductive proof to recursive construction. The proof is by pasting together "attempts" (partial solutions).
[Better explanation?]
(1995-06-15)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012