Having f(L)=L+1 would be sufficient to protect against any “moral arguments” that involve first proving agent()!=a for some a. Do we have any examples of “spurious” proofs that are not of this form?
Having f(L)=L+1 would be sufficient to protect against any “moral arguments” that involve first proving agent()!=a for some a. Do we have any examples of “spurious” proofs that are not of this form?