Стивен Коул Клини

От Bot-+-On / 22.06.2024 / Оставьте комментарий

Стивен Коул Клини Стивен Коул Клини — американский математик и логик, внесший значительный вклад в информатику. Он был деканом Колледжа […]

1909 births, 1909 рождений, 1994 deaths, 1994 г. смерти, 20th-century American mathematicians, American computer scientists, American logicians, Amherst College alumni, Computability theorists, Connecticut, Educators from Hartford, Institute for Advanced Study visiting scholars, Intuitionism, Mathematicians from Connecticut, National Medal of Science laureates, Princeton University alumni, University of Wisconsin–Madison faculty, американские логики, американские математики 20-го века, Американские ученые-компьютерщики, выпускники Амхерст-колледжа, выпускники Принстонского университета, интуиционизм, Коннектикут, лауреаты Национальной медали науки, математики из Коннектикута, преподаватели из Хартфорда, приглашенные ученые Института перспективных исследований, теоретики вычислимости, факультет Университета Висконсин-Мэдисон

Стивен Коул Клини

Стивен Коул Клини — американский математик и логик, внесший значительный вклад в информатику.
Он был деканом Колледжа литературы и естественных наук и профессором Висконсинского университета.
Клини разработал теорию рекурсивных функций, которая имеет центральное значение в информатике.
Он также работал в области интуитивизма Брауэра, используя инструменты теории рекурсии.
Клини был президентом Ассоциации символической логики и Международного союза истории и философии науки.
Его работа привела к тому, что Дэниел Деннетт назвал его «Клинность рядом с Гедельностью».
Клини получил Национальную научную медаль и его наследие включает премию Клини в честь его работ в области логики и компьютерных наук.

Полный текст статьи:

Стивен Коул Клини — Википедия

Оставьте комментарий Отменить ответ

Для отправки комментария вам необходимо авторизоваться.