July 27, 2011

Наука + религия

То, как наука и религия борятся друг с другом – и так все знают, это не интересно.

Мне всегда было интересно, как они одно с других взаимодействуют и поддерживают друг друга.

На лекции Сэра Тони Хоара был интересный пример такого взаимодействия.

Всем известное доказательство того, что у человека нет свободы воли: Бог вездесущ, он знает о том, как человек себя поведёт, следовательно, поведение предопределено и выбора нет.
В некотором смысле, с точки зрения программиста, человека можно представить как программу Бога.
Но ведь программа может быть и с недетерменированным поведением!
То есть, в некоторых случаях поведение определено, но в других оно с некоторой вероятностью может пойти по разным путям.

Получается, что программист (как и Бог) пишет программы, обладающие свободой воли :)

Я всегда знал, что программирование - это что-то особенное! 8)

И ещё, мне нравятся эти пожилые учёные. Это – то место, где сходятся наука, философия и вообще мудрость жизни.