[cheese_van]

Does a machine exist that can determine whether any arbitrary fisherman from Boston in a computational ocean is "eatable" in polynomial time?