Machines that can synthetically write algorithms and other machines that can think about the algorithms. Science as the gate keeper