And the third school believes that general intelligence is normatively-correct reasoning in some sufficiently rich (where Turing-complete is a lower bound on sufficiency) domain/class of possible-words/hypotheses.