Математические логики

Вики

Торальф Скулем — Википедия

/

Торальф Сколем Торальф Альберт Сколем — норвежский математик и логик, пионер теоретической информатики.  Разработал арифметику натуральных чисел и доказал ее […]

Вики

Эрнст Цермело — Википедия

/

Эрнст Цермело Эрнст Цермело — немецкий математик, внесший значительный вклад в теорию множеств.  Он доказал теорему о правильном упорядочении и

Вики

ЛЭЙ Брауэр — Википедия

/

Л. Э. Джей Брауэр Люитцен Эгбертус Ян Брауэр — голландский математик, основатель интуиционизма.  Брауэр был воинственным человеком, независимым, блестящим умом

Вики

Бертран Рассел — Википедия

/

Бертран Рассел Бертран Рассел был британским философом, математиком и общественным деятелем.  Он был одним из основателей аналитической философии и критиковал

Вики

Ванда Шмелев — Википедия

/

Ванда Шмилев Ванда Шмилев — польский математический логик, доказавшая разрешимость теории абелевых групп первого порядка.  Шмилев родилась в Варшаве и

Вики

Соломон Феферман — Википедия

/

Соломон Феферман Соломон Феферман — американский математик и логик, профессор гуманитарных наук в Стэнфорде.  Он работал над предикативной математикой и

Вики

Бернар Больцано — Википедия

/

Бернард Больцано Бернард Больцано — австрийский философ, основатель логического позитивизма.  Он разработал теорию интуиций (Anschauungen) для соответствия субъективным идеям изменениям,

Вики

Колин Макларти — Википедия

/

Колин Макларти Колин Макларти — американский логик, освещающий философию, основы математики и историю науки.  Он написал статьи о Сондерсе Маклейне,

Вики

Роберт Голдблатт — Википедия

/

Роберт Голдблатт Роберт Ян Голдблатт — математический логик, почетный профессор Университета Виктории в Новой Зеландии.  Его научные работы включают «Логику

Прокрутить вверх