Access

words

Nature 411, 527 (31 May 2001) | doi:10.1038/35079200

Formally speaking

John L. Casti1

Top

Mathematical theorems can be created by formalization of everyday expressions.

It is often said that words can kill. But they can also create.