|
|
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted:
Oct 12, 2012 8:43 PM
|
|
In article <458567d7-d298-4c8f-af7d-36473f1aeebf@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
|
|
