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