Maths mind bender
-
Maybe some of you find this interesting as well.
From:
https://www.scottaaronson.com/busybeaver.pdf
What 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.
Hello! It looks like you're interested in this conversation, but you don't have an account yet.
Getting fed up of having to scroll through the same posts each visit? When you register for an account, you'll always come back to exactly where you were before, and choose to be notified of new replies (either via email, or push notification). You'll also be able to save bookmarks and upvote posts to show your appreciation to other community members.
With your input, this post could be even better 💗
Register Login