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

Матеріал з Вікіцитат
Стівен Коул Кліні
Стаття у Вікіпедії

Стівен Коул Кліні (англ. Stephen Cole Kleene; 5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики.

Цитати[ред.]

  •  

Щоб математична творчість не зводилася до безглуздя, повинна існувати якась відповідність між математичними результатами і певною дійсністю, що лежить поза аксіоматичною теорією.[1]

Примітки[ред.]

Джерела[ред.]

Математика в афоризмах, цитатах і висловлюваннях / Н. О. Вірченко. — Київ: Вища школа, 1974. — 272 с.