And here is the site of the research group involved. https://www.helsinki.fi/en/researchgroups/godel-enigma

Thank you! Godel's work get us comfortably uncomfortable with unknowability but damn, to think there's more out there! I'm dying to know more.