[jessermeyer]

Mathematicians I personally know well are stoutly religious. They describe the world of number and form and structure with the same kind of language the clergy describe God, and so there is some sense in which these are felt as aspects of the same thing.

I also know a number of engineers who are deeply religious, perhaps encouraged by recognizing "design" in nature, seemingly requiring a designer.

In my conversations with these people, their faith, while socially speaking is Christian, the specifics have hardly anything to do with traditional or orthodox theology. It's, as I perceive this, the only acceptable social structure available to them to live out these deep feelings of beauty and harmony in community.

[leephillips]

I always found Donald Knuth’s professed Christianity somewhat curious. Then I watched a small bit of his interview with Lex Fridman, and happened to catch the part where he speculates that maybe God is a big computer. So, OK.

[jessermeyer]

Knuth had serious doubts in his college days, but ultimately decided it was "OK to believe in something unprovable." Which to me speaks to his humility.

[JackFr]

> where he speculates that maybe God is a big computer.

I cringe at phrases like that. It's empty theologically and technologically. It represents a complete inability in imagining what God could be, and a naive, childish pride in our little creations, these computers. While in his internal driven world view it might make sense, to me it has no more or less truth than "maybe God is a big steam engine"