>> An algorithm is not a proof. > That is an opinion that many do not share. Say...

		yMEyUyNE1 on Oct 30, 2024 \| parent \| context \| favorite \| on: When are two proofs essentially the same? (2007) >> An algorithm is not a proof. > That is an opinion that many do not share. Say, we have an algorithm to color a planar graph with 4 colors, can we say that we have a proof for 4-coloring a planar graph?