Mathematical proof

The proof starts by mathematically formalizing the way an "inference device," say, a scientist armed with a supercomputer, fabulous... →