в упор не вижу логики рассуждения в докладе
начинается всё с заоблачных высей, дескать как всё сложно (да, сложно) в таких областях как космонавтика, ядрена физика, ...

потом идёт плач про отсутствие культуры доказательного проектирования (да, отсутсвует) у подавляющего числа программистов...

А затем идёт потрясающий пассаж:
Мы уже указали на сферы, где технологии программирования подвергаются весьма жесткому отбору именно в отношении надежности получающихся программ: аэрокосмос, и.т.д. А это однозначно указывает и на соответствующие языки программирования: это созданные в школе тьюринговского лауреата Никлауса Вирта язык Паскаль и его производные.

Доказательность рассуждений налицо.

А вы не пробовали интересоваться, на каких языках и кем разрабатывалось ПО для почти-космического проекта выигравшего x-prize? А не интересно ли вам, в какие языки вкладывается тот самый CERN чтобы построить унифицированную среду вычислений для нужд физики высоких энергий?

А причем тут Паскаль?

Вы поступаете абсолютно точно так же как любой идиотский маркетолог, с пеной у рта отстаивающий свой продукт. Подвели идеологическую базу, отделили "мух от котлет", убедительно доказали преимущества именно вашего кошерного взгляда/мнения/способа/продукта/... полностью игнорируя другие.

Тьфу на вас, никакой пользы от этого тезиса (в такой форме) ни для науки ни для практики не вижу.

Маркер в руки и чиркать да переписывать.