text: Труды Вейля по прикладной линейной алгебре имели значение для последующего создания математического программирования, а работы в области математической логики и оснований математики до сих пор вызывают интерес.