Gödel refutes the philosophy of mechanism
The existence of statements that are undecidable by formal systems—eg Gödel’s theorem—shows that mechanism can't provide a complete explanation of mathematical nature. So mechanism must be rejected as a universal theory of science.
Note:
Other Gödelian arguments against mechanism are spread throughout this map. See especially the "Is the Lucas argument dialectical?" arguments on this map.