Just writing down some thoughts...
i guess we need to find a same point between Alonzo Church, Alan Turing and Charles Babbage. We need a thing that it is related with them.
Just put them together
Ok, so we have:
STEP 1 (puting them all together)
A(lonzo)
C(hurch)
A(lan)
T(uring)
C(harles)
B(abbage)
=
ACATBC
STEP 2 (the key)
ask 4 the key probably means a substitution like the good old ciphers when you needed a key (4 in our case?)
so ACATCB would become EGEXGF
then we have some other elements like:
1) the numbers 001 000 100 (no idea if we have to use them though)
2) the "1BTC"
3) the 1BTCTGBEX (which is 9 characters by itself and could be the password)
4) We need one "B"
5) Most IMPORTANT: Order of the elements (coins) does not matter
and then in
STEP 3 we have to put everything in the "bin"
(trying to figure out what the bin means exactly)