Maybe I should have asked: In what sense are machines “fully doing” first-order logic? I think I understand the part where first logic formulas are recursively enumerable, in theory, but isn’t that intractable to the point of being useless and irrelevant in practice?
Maybe I should have asked: In what sense are machines “fully doing” first-order logic? I think I understand the part where first logic formulas are recursively enumerable, in theory, but isn’t that intractable to the point of being useless and irrelevant in practice?