Some have thought that logic will one day be completed and all its problems solved. Now we know it is an endless task