“It wouild be very discouraging if somewhere down the line you could ask a computer if the Riemann hypothesis is correct and it said, `Yes, it is true, but you won’t be able to understand the proof.’” — Ronald Graham
“When you have eliminated the impossible, whatever remains is often more improbable than your having made a mistake in one of your impossibility proofs.” -- Steven Kass
The linear logic connectives ⊕ and & are called additive, ⊗ and ⅋ are called ``multiplicative,'' and ! and ? are called ``expontentials.'' The equations below are analogous to the equation exp(a + b) = exp(a) exp(b).
“When you have eliminated the impossible, whatever remains is often more improbable than your having made a mistake in one of your impossibility proofs.” -- Steven Kass
“When you have eliminated the impossible, whatever remains is often more improbable than your having made a mistake in one of your impossibility proofs.” -- Steven Kass
“It cannot be a complete coincidence that several outstanding logicians of the twentieth century found shelter in asylums at some time in their lives.” — Gian-Carlo Rota