>Карл Поппер, развивая подходы позитивизма и фаллибилизма, пришел к еще более радикальному выводу: если теория не может быть опровергнута, ее вообще нельзя считать научной, даже если в остальном она согласуется с нашими знаниями. В самом деле, ведь такая теория не дает никаких проверяемых предсказаний, а значит, ее научная ценность равна нулю. Этот свой критерий научности он назвал принципом фалъсифицируемости и поставил в один ряд с требованиями внутренней непротиворечивости и соответствия теории известным экспериментальным данным.
Ещё хотел кое что добавить. В математической логике есть такая "Первая теорема Гёделя о неполноте". Не вдаваясь в подробности она утверждает, что в любой достаточно содержательной логической системе существуют утверждения, которые нельзя ни доказать ни опровергнуть в рамках этой системы.
В общем есть некий повод для раздумий.
