Speaking of Nominative Determinism, not only is his last name Bach, he covered Gödel's incompleteness theorem in the talk :-)
I will need to re-watch this at least one more time because it was so full of goodies. The Q/A was as good as the talk itself. 13/10 would watch again :)
https://media.ccc.de/v/30C3_-_5526_-_en_-_saal_2_-_201312291...
https://media.ccc.de/v/31c3_-_6573_-_en_-_saal_2_-_201412281...
https://media.ccc.de/v/32c3-7483-computational_meta-psycholo...
https://media.ccc.de/v/33c3-8369-machine_dreams
And if you understand German, he was also in the last Alternativlos Podcast where he talked about some ideas from this talk, but also some more
His Twitter [1] is also a fun and interesting place, check it out.
His model for explaining how brains organize thoughts (the 'easy' problem), does not address how the physical world allows for consciousness in the first place (the 'hard' problem c.f. David Chalmers https://www.preposterousuniverse.com/podcast/2018/12/03/epis... ).