История изменений
Исправление seiken, (текущая версия) :
Ты можешь доказать, что солнца не может не существовать, опровергнув несуществование логически. В математике дофига доказательств от противного, но никто вроде не утверждает, что математика ненаучна. Хотя, в конструктивной математике доказательство от противного не считается валидным и необходимо явно указать объект, существование которого доказывается.
Исходная версия seiken, :
Ты можешь доказать, что солнца не может не существовать, опровергнув несуществование логически. В математике дофига доказательств от противного, но никто вроде не утверждает, что математика - ненаучна. Хотя, в конструктивной математике доказательство от противного не считается валидным и необходимо явно указать объект, существование которого доказывается.