В лекции будет рассказано как тезис Тьюринга-Черча оказывает влияние на разработчиков языков программирования. В частности будут рассмотрены некоторые ошибочные аспекты теории структурной рефлексии разработанной Brian Cantwell Smith.

Литература

[1] Peter Wegner. Why interaction is more powerful than algorithms

[2] Brian Cantwell Smith. Reflection and semantics in LISP