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

"At first it might seem that quantum mechanics (QM), which began with Einstein's photon as the explanation for the pho…"

"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…"

"[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…"