Maths mind bender
-
Maybe some of you find this interesting as well.
From:
https://www.scottaaronson.com/busybeaver.pdfWhat this means in plain English is that there is a real tangible physical finite machine, for instance a circuit on a silicon waver with a light bulb as output, which has the property that it is mathematically impossible - in standard mathematics - to decide whether the machine will ever turn on the light bulb when we run it, although we have reason to strongly believe that it will never turn it on (because otherwise most mathematics done in the last 100 years would be wrong).
The way this works is that the machine enumerates all provable statements and it will turn on the light bulb only if it finds a proof of a statement known to be untrue.