Весьма "оригинальное" применение теоремы Геделя:
Система уравнений и в том числе система уравнений Навье-Стокса является формальной системой. Как известно, в пределах формальной системы существуют вопросы, на которые в пределах этих систем нельзя найти ответа...
Получается, что с помощью данной теоремы можно "доказать" все что угодно, например, "неразрешимость" квадратного уравнения.
Извините, что ссылка на платную статью. Когда я с ней ознакамливался, она была бесплатной. Платной она стала после того как я опубликовал критический отзыв на litres.