Этот тип очевидности основывается на образах, которые математики привносят в теорию извне, с тем, чтобы приблизить математические истины к ассоциациям обыденного опыта. Сколь бы сложной не была теория в своих внутренних конструкциях, как бы далеко она не уходила от обыденных представлений, ученые постепенно обживают ее, вводя образы, позволяющие непосредственно осязать ее внутренние связи и двигаться на этой основе к новым результатам. Так же как и эмпирическая очевидность, концептуальная очевидность связана с содержательной интерпретацией математических объектов. Различие состоит в том, что концептуальная очевидность генетически вторична по отношению к теории, она произ-водна от существующей математической структуры и направлена исключительно на ее прояснение. Ясно, что концептуальная очевидность, как и эмпирическая, не имеет аподиктического характера и не может использоваться в математике в качестве обосновательного средства.

В рубрике: Надежность математического доказательства