Last Update: 26 April 2010
Note: or material is highlighted
while ∃ new fact to
induce general hypothesis;
deduce future observations;
i.e., there is an algorithm A such that for all input i, A(i)=f(i) and A specifies how f's input and output are related.