"...Once you entomb mathematics in an artificial language à la Hilbert, once you set up a completely formal axiomatic …"

"Are there mathematical propositions for which there is a considerable amount of computational evidence, evidence that…"

"Why do I think that Turing's paper "On computable numbers" is so important? Well, in my opinion it's a paper on epist…"

"I'm interested in the computer as a new idea, a new and fundamental philosophical concept that changes mathematics, t…"

"[A]ccording to Weyl, complexity is essential in understanding the concept of a law of nature. If laws of nature may b…"

"Mathematicians are coming up with s that they use in their actual mathematical research. And these, like , I think is…"

"Problem: Name a book that combines mathematical history, philosophy, more than a whiff of theology, personal palaver,…"

"Rule 1 of cryptanalysis: check for plaintext."

"Never underestimate the attention, risk, money, and time that an opponent will put into reading traffic."

"It is easy to run a secure computer system. You merely have to disconnect all dial-up connections and permit only dir…"