[Kim_Bruning]

I'm pretty sure there is an existence proof that intelligence can be produced by quadrinary logic [1] running on a finite machine.

On the other hand, looking at the state of the world, some may have their doubts.

[1] (A,T,G,C) https://en.wikipedia.org/wiki/Genetic_code ; https://en.wikipedia.org/wiki/DNA_and_RNA_codon_tables#Stand...