Фильмы изображают будущее, в котором роботы могут чувствовать. Но можем ли мы заставить их думать?
В аспирантуре я специализировался на моем любимом приложении математики, автоматизированном мышлении — как заставить компьютеры понимать правила логики и использовать их, чтобы «думать» так, как это делают люди.
