The speaker is highly impressed by the course on formal languages, particularly in relation to Turing machines and the Turing test, showcasing the exceptional intellect of Alan Turing. He marvels at the profound depth of their minds, even compared to other brilliant academics he has encountered. The speaker also references Kurt Gödel and his remarkable contributions to functional diagrams for time machines, highlighting the unparalleled intellect of Gödel as well.