Каким образом точно доказывается, что внешний физический мир существует?" - Янде Классификация языков программирования таблица