Logical independence and quantum randomness