Thankyou, #[2]​

I was wondering computational irreducibility, and whether bitcoins, proof-of-work, is an example of that. What are your thoughts?