Перейти до вмісту

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

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

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

Цитати

[ред.]
  •  

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

Примітки

[ред.]

Джерела

[ред.]

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