Наука + религия
То, как наука и религия борятся друг с другом – и так все знают, это не интересно.
Мне всегда было интересно, как они одно с других взаимодействуют и поддерживают друг друга.
На лекции Сэра Тони Хоара был интересный пример такого взаимодействия.
Всем известное доказательство того, что у человека нет свободы воли: Бог вездесущ, он знает о том, как человек себя поведёт, следовательно, поведение предопределено и выбора нет.
В некотором смысле, с точки зрения программиста, человека можно представить как программу Бога.
Но ведь программа может быть и с недетерменированным поведением!
То есть, в некоторых случаях поведение определено, но в других оно с некоторой вероятностью может пойти по разным путям.
Получается, что программист (как и Бог) пишет программы, обладающие свободой воли :)
Я всегда знал, что программирование - это что-то особенное! 8)
И ещё, мне нравятся эти пожилые учёные. Это – то место, где сходятся наука, философия и вообще мудрость жизни.