FOM: Decidable axioms sets and algorithms in proofs
Neil Tennant
neilt at hums62.cohums.ohio-state.edu
Tue Dec 16 09:49:50 EST 1997
Torkel,
perhaps it's the intuitionist in me saying that if I know the set of axioms
to be recursive, then I do indeed have an algorithm to decide whether or not
a formula is an axiom.
Can you make plausible any (necessarily classical0 predicament in which one
knows the set of axioms to be recursive, but one does *not* have such an
algorithm?
(Sorry, that zero should have been a right parenthesis.)
Neil Tennant
More information about the FOM
mailing list