1.7.Математическая логика в своем блеске и великолепии.Математическая логика и теория алгоритмов.

В двадцатых годах XX века с программой обоснования математики на базе математической логики выступил знаменитый немецкий математик Гильберт (1862–1943 гг., рис. 1) — немецкий математик -универсал. Гильберт, вокруг которого сложилась к тому времени школа блестящих последователей, в целой серии работ наметил план исследований в области оснований математики, получивший впоследствии название «Геттингенской программы».