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

американський логік і математик, праці якого заклали основи теоретичної інформатики

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

Стівен Коул Кліні
Стаття у Вікіпедії

Цитати ред.

  •  

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

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

Джерела ред.

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