Person · mentioned 1 time
Logician and mathematician, known for his incompleteness theorems showing the limits of provability in formal systems.
No connections recorded yet.
Entrepreneurial Thought Leaders (ETL)· 4 Nov