[садовник]

Почитай книжку. Там много явных и неявных грешков учёных.

Большая часть доказательной база и основы - это в общем-то волюнтаризм чистой воды. Там много манипуляций.
Им было выдано задание - создать основы математики. Особенно программа Гилберта, которая собственно по умолчанию детерминировала все мироздание, включая человека.
Теоремы Гёделя - это собственно невозможность доказать возможность создания полных моделей реальности на основе счетных множеств.
И характерный ЯЖО самого Геделя (приступы паранойи), самый близкий друг Эйнштейн и совместные наработки. И т.д. книга проливает свет на то как создавались некоторые аспекты нашей реальности. Причём самые их глубинные истоки.