(Frege) Готлоб (1848-1925)
немецкий логик, математик и философ, основоположник логицизма. Дал первую аксиоматику логики высказываний и предикатов, построил первую систему формализованной арифметики. Один из основоположников логической семантики.
(Frege) Готлоб (1848-1925)
немецкий логик, математик и философ, основоположник логицизма. Дал первую аксиоматику логики высказываний и предикатов, построил первую систему формализованной арифметики. Один из основоположников логической семантики.
Большой энциклопедический словарь. 2012