4 ms·

Is there a proof that collections of human neurons are capable of carrying out proofs in first order logic, in full generality?

• fmbb 2y ago
  Is anyone trying to prove that all humans can?