Авраам Робинсон
Абрахам Робинсон Абрахам Робинсон – математик, известный разработкой нестандартного анализа. Почти половина работ Робинсона посвящена прикладной математике. Он родился в […]
Вики
Model theorists
Вики
Альфред Тарский
Альфред Тарский Тарский предложил теорию истины для формализованных языков, известную как концепция истины. Сборник статей Тарского за период с 1923
Вики
Торальф Скулем
Торальф Сколем Торальф Альберт Сколем – норвежский математик и логик, пионер теоретической информатики. Разработал арифметику натуральных чисел и доказал ее
Вики
Уиллард Ван Орман Куайн
Уиллард Ван Орман Куайн Куайн – американский философ, известный своими работами в области аналитической философии и лингвистики. Он критиковал различие
Вики
Семен Самсонович
Semën Samsonovich Kutateladze Семен Кутателадзе – математик, известный своими вкладами в функциональный анализ и его приложения к векторным решеткам и
Вики
Майкл Д. Морли
Майкл Д. Морли Майкл Дарвин Морли был американским математиком, почетным профессором Корнеллского университета. Его исследования были посвящены математической логике и
Вики
Сахарон Шела
Сахарон Шела Алонзо Шелах – математик, внесший значительный вклад в теорию множеств и модельную теорию. Он открыл понятие правильного форсирования