Инструкция 1 по ускорению вращения вечного двигате

ИНСТРУКЦИЯ №1
 «по ускорению вращения вечного двигателя науки»

Наставления математиков Д. Гильберта и П. Бернайса всем энтузиастам науки               
В целях достижения высокой удовлетворённости научными изысками Вам необходимо:

1) Добиваться максимальной обозримости (наглядности) всех своих доказательств по любой проблеме с использованием известных правил дедуктивной логики высказываний и исчисления предикатов. – (С.43, 94, 115, 120, 144).

2) Строго соблюдать параллелизм в ведении содержательного и формального доказательств, применяя современные методы моделирования и обработки информации с использованием компьютеров. - (С.25, 35, 92, 140).

3) Доходчиво обосновывать для каждой решаемой проблемы применимость или позитивной логики (когда отсутствую  предположения о наличии  противоположных высказываний), или «путь негативных доказательств непротиворечивости» теоретических построений посредством формализации логического вывода.

4) Всеобъемлюще для себя освещать состояние вопроса по каждой проблеме.

5) В целях достижения определённости результатов проделанной работы и демонстрации признаков своей ответственности за них завершать каждый раз проделанный вывод доходчивым объяснением формул всех категорических суждений. – (С.94, 99, 142).

6) В целях расширения области конструктивного применения основных понятий формальной логики («выводимость», «опровержимость», «разрешимость», «истина», «ложь», и другие) отражать в своих отчётах двойственность всех выведенных формул по признакам общезначимости и выполнимости. - (С.31, 168).
 
//Гильберт Д., Бернайс П. Основания математики. М., 1977.