Matematik a logik, již 36 let na Pravdě Boží, původně Rakušan. Nejznámější jsou jeho dvě věty o neúplnosti axiomatických formálních systémů s aritmetikou. Shruba řečeno dokázal, že nelze navrnout systém axiomů, pomocí nichž by bylo možné odpovědět každou otázku, která jde v rámci takového formálního systému s aritmetikou položit a navíc že nelze rozhodnout uvnitř takového axiomatického systému, zda je nebo není úplný.

Vidím v tom trochu s nadsázkou paralelu :-)