Computation, Logic, Philosophy: A Collection of Essays

Springer (1990)
  Copy   BIBTEX

Abstract

~Et moi,.... si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non· The series is divergent; therefore we may be sense'. Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non­ linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics...'; 'One service logic has rendered com­ puter science...'; 'One service category theory has rendered mathematics...'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,716

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Gödel and the language of mathematics.Jovana Kostić - 2015 - Belgrade Philosophical Annual 28 (28):45-68.
The Development of Logic in the Twentieth Century.Chang Shangshui - 1987 - Chinese Studies in Philosophy 18 (3):3.
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.
Philosophy of Mathematics.Alexander Paseau (ed.) - 2016 - New York: Routledge.
Logic for Mathematics and Computer Science.Stanley Burris - 1998 - Upper Saddle River, N.J. : Prentice Hall.

Analytics

Added to PP
2015-02-13

Downloads
8 (#1,654,867)

6 months
1 (#1,602,207)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references