Formally speaking

John L. Casti
Additional contact information
John L. Casti: the Institute of Econometrics, Operational Res & System Theory, Technical University of Viennna

Nature, 2001, vol. 411, issue 6837, 527-527

Abstract: Mathematical theorems can be created by formalization of everyday expressions.

Date: 2001
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.nature.com/articles/35079200 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:nat:nature:v:411:y:2001:i:6837:d:10.1038_35079200

Ordering information: This journal article can be ordered from
https://www.nature.com/

DOI: 10.1038/35079200

Access Statistics for this article

Nature is currently edited by Magdalena Skipper

More articles in Nature from Nature
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().