cousin_it comments on Logic as Probability

[cousin_it]

So if you give your robot the axioms of ZFC, it will eventually tell you if the continuum hypothesis is true or false?