Is Godels incomplete Incompleteness Theorem more than just a philosophical curiosity?
Godel’s incompleteness theories are using in computing: software design and information security. It explained why there are so many vulnerabilities in information systems. Those theories (actually there are two incompleteness theorems by Godel) also provided the ground work for liar paradox which is also an important theory for information security.