Here is what I came up with. It may not be the simplest possible solution, but it is quite pedagogical, yes?
This public address is thus provable unspendable. A Bitcoin black hole. Beware.
Code:
OP_PUSHDATA1 1 0x01
OP_PUSHDATA1 1 0x02
OP_EQUALVERIFY
Since 1 is never equal to 2, and there are no other inputs or variables, when the script is executed, it must always return FALSE.OP_PUSHDATA1 1 0x02
OP_EQUALVERIFY
This public address is thus provable unspendable. A Bitcoin black hole. Beware.
Actually...
I think that address is NOT completely unspendable.
It is unspendable with your script, yes, but if someone can come up with another script that has the same hash and that returns TRUE, then with that script the address is spendable
