
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted:
Oct 12, 2012 8:43 PM


In article <458567d7d2984c8faf7d36473f1aeebf@n16g2000yqi.googlegroups.com>, <camgirls@hush.com> wrote:
>> THERE IS, however, an algorithm that CONFIRMS that a formula is >> logically valid WHEN IT IS.
>so why can't you do brute force lexicographically on ALL formulas and >output > >VALID >NOT VALID
Because there isn't an algorithm that confirms that a formula is invalid when it is.
 Richard

