"Today we face a problem that involves two difficult to satisfy conditions. On the one hand we have to find a way for computer assisted verification of mathematical proofs. This is necessary, first of all, because we have to stop the dissolution of the concept of proof in mathematics. On the other hand, we have to preserve the intimate connection between mathematics and the world of human intuition. This connection is what moves mathematics forward and what we often experience as the beauty of mathematics."

"We undoubtedly would not morally justify the behavior of someone who sent a colleague to a dangerous situation by saying: "I sent him there because I know he is strong and he will manage well". The "s…"

"If we were to take out all the leaders tomorrow, and put them up against a wall and shoot them — and it’s a lovely thought, so let me just dwell on that for a moment before I dismiss it — but if we we…"

"The reason no one has yet been able to come up with a good word to describe the homosexualist is because he does not exist. The human race is divided into male and female. Many human beings enjoy sexu…"

"The world of the was a wonderfully diverse and pluralistic world, and nowhere is that diversity and pluralism seen more clearly than in the text of ritual power that were produced and used by the peop…"