Philosophy of mathematics and computer science

Studies in Logic, Grammar and Rhetoric 22 (35) (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
Discrete Mathematics.S. K. Chakraborty & B. K. Sarkar - 2011 - Oxford University Press India.
Abstraction in computer science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
Software, Abstraction, and Ontology.Timothy R. Colburn - 1999 - The Monist 82 (1):3-19.
Mathematics, The Computer Revolution and the Real World.James Franklin - 1988 - Philosophica 42:79-92.
Philosophy of Mathematics.Christopher Pincock - 2011 - In J. Saatsi & S. French (eds.), Companion to the Philosophy of Science. Continuum. pp. 314-333.
Dynamic Interactions with the Philosophy of Mathematics.Donald Gillies & Yuxin Zheng - 2001 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 16 (3):437-459.
Phase change: the computer revolution in science and mathematics.Douglas S. Robertson - 2003 - New York: Oxford University Press.
Philosophy of Computer Science.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek SSR, September 16-22, 1979.A. P. Ershov & Donald Ervin Knuth (eds.) - 1981 - New York: Springer Verlag.
Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics.Roman Murawski - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 251-268.
Wu Yuzeng xuan ji: shu li luo ji yu ji suan ji ke xue = Selections from Professor Wu Yunzeng: mathematical logic and computer science.Yunzeng Wu - 1991 - Beijing: Xin hua shu dian Beijing fa xing suo fa xing.
Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy.Petr Hájek & Jiří Zlatuška - 1996 - Bulletin of Symbolic Logic 2 (4):473-473.
Informatikai matematikai alapvetés.József Szabó - 2006 - Debrecen: Debreceni Egyetem Kossuth Egyetemi Kiadó.
Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.

Analytics

Added to PP
2018-03-10

Downloads
5 (#1,534,828)

6 months
1 (#1,461,875)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Philosophical Investigations.Ludwig Wittgenstein - 1953 - New York, NY, USA: Wiley-Blackwell. Edited by G. E. M. Anscombe.
The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.

View all 53 references / Add more references