New proof reveals fundamental limits of scientific knowledge
phys.org
The proof starts by mathematically formalizing the way an "inference device," say, a scientist armed with a supercomputer, fabulous experimental equipment, etc., can have knowledge about the state of the universe around them.