Как непознаваемая математика может помочь скрыть секреты

Математики большую часть своего времени посвящают изучению того, что является познаваемым и поддающимся доказательству. Однако область непознаваемого может быть не менее, а порой и более, увлекательной и значимой. Пожалуй, самый знаменитый пример такого явления связан с теоремой логика Курта Гёделя. Этот прославленный результат Гёделя — одна из двух «теорем о неполноте», опубликованных им в 1931 году — установил, что для любой достаточно сложной и разумной системы базовых математических предположений, называемых аксиомами, невозможно создать такую систему, которая могла бы доказать или опровергнуть абсолютно каждое истинное утверждение в ней. Иными словами, всегда будут существовать истинные математические утверждения, которые останутся недоказуемыми в рамках данной формальной системы.