|
 |
"Formally speaking," by John L. Casti. Nature, 31 May 2001, page 527.
In this article, Casti writes on the formalization of language and how attempts at formalization have led to different branches of mathematics. Without formalization, it is hard to prove theorems. Yet no matter how rigorous the definition, mathematicians cannot "suffocate" language: "the objects of mathematics really do mean something, and that meaning cannot be replaced by pure syntax alone." Casti uses work done by Gödel, Russell and Turing as examples of formalization.
--- Mike Breen
 |
Comments: Email Webmaster |
