forum posts Edit

Actually, there are equivalent of Godel's theorems for physical laws, see : Physical limits of inference, Wolpert D, Physica D 237 (2008) 1257-1281 Philosophy of science: Theories of almost everything, P.-M. Binder, Nature 455 (2008), 884-885 The idea is very similar to Godel's proof : you define "inference device" which are basically physical theories, and then you show that for some families of inference devices, some laws can not be inferred (basically, as I understand it, they can not infer themselves, very classically). There are interesting results : just like there is a universal Turing machine, there is a unique universal inference device (i.e. one single "theory of everything"). Actually, it seems David Wolpert calls that a " monotheism theorem". I summarized this in French here : By the way, I find it quite fascinating to see how people remember the contribution of Godel but not Turing's, who was one of the major player of this field.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.