Понимание неразумности: истина, которую невозможно доказать

Неразумность — это термин, используемый в философии, особенно в области логики и основ математики, для описания ситуации, когда утверждение или предложение не может быть ни подтверждено, ни опровергнуто в рамках данной системы или структуры. Другими словами, это утверждение, которое неразрешимо или недоказуемо.

Концепция неразумности была впервые введена философом Готтлобом Фреге в конце 19 века, а затем развита Бертраном Расселом и Куртом Гёделем в начале 20 века. Его часто используют для описания утверждений, которые верны, но не могут быть доказаны в рамках конкретной системы, например, утверждения «это предложение ложно». утверждение о неразумности не может быть доказано в любом случае. Неразумность также отличается от неразрешимости, которая относится к тому факту, что утверждение не может быть доказуемым или опровергнутым в рамках данной системы, но не обязательно подразумевает, что это утверждение истинно или ложно. описывают утверждения, которые верны, но не могут быть доказаны в рамках конкретной системы или структуры, и это отличается от ложности и неразрешимости.