Обложка раздела: История технологий

Родился математик-логик Россер

Родился математик-логик Россер

06 декабря 1907 года в Джексонвилле, штат Флорида родился Дж. Баркли Россер. Россер смог предвидеть потенциал ранних компьютеров во многих областях математики, а также конечное влияние логики на будущее компьютеров. Он внес вклад в теорему Черча-Россера, которая определяет внешний предел того, что достижимо при автоматическом доказательстве теорем, и, следовательно, играет ту же роль в вычислительной науке, что и второй закон термодинамики в технике. В 1934 году Россер получил степень доктора логики в Принстоне. Россер преподавал в Корнелле и Висконсинском университете, занимал пост президента Ассоциации символической логики и SIAM. Он умер 5 сентября 1989 года.

Поделиться материалом:

HUAWEI MateBook D16 2024