User Profile

Customize

askhome

Add Friend
Track User
Send Message
Send V-Gift

Логика и основания математики

Открытые проблемы, пути их решения

Created on 2005-08-29 02:15:29 (#8146924), last updated 2005-09-01

14 comments received, 3 comments posted

Basic Account [Gift]

12 Journal Entries, 28 Tags, 0 Memories, 0 Virtual Gifts, 0 Userpics

Basic Info

Name:	askhome
Location:	Moscow, Москва, Russian Federation
Website:	Логика и основания математики

Bio

Являюсь старшим научным сотрудником на механико-математическом факультете в МГУ. Занимаюсь исследованиями в области неклассических логик и оснований математики.
В МГУ я читаю курс неклассической логики, имеющий связь с проблематикой оснований математики. Разделы курса включают аппликативные вычисления (ламбда-исчисление и комбинаторную логику), построение
дедуктивных систем. Курс обеспечен руководствами.
Дополнительная информация размещена на http://kuzichev.exponenta.ru .

Connect

Interests (7):

комбинаторная логика, ламбда исчисление, логика, непротиворечивость, основания математики, полнота, теория доказательств

External Services: