Last Update: 26 April 2010
Note: or material is highlighted |
while ∃ new fact to
observe, do:
begin
observe it;
induce general hypothesis;
deduce future observations;
verify predictions;
end.
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.