Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Mathematics, The Computer Revolution and the Real World.James Franklin - 1988 - Philosophica 42:79-92.
O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
Logos and máthēma: studies in the philosophy of mathematics and history of logic.Roman Murawski - 2011 - New York: Peter Lang.
Computability, an introduction to recursive function theory.Nigel Cutland - 1980 - New York: Cambridge University Press.
Bayesian perspectives on mathematical practice.James Franklin - 2020 - Handbook of the History and Philosophy of Mathematical Practice.
The Issue of Experiment in Mathematics.Anna Lemanska - 1998 - The Paideia Archive: Twentieth World Congress of Philosophy 34:13-16.
Logic for Mathematics and Computer Science.Stanley Burris - 1998 - Upper Saddle River, N.J. : Prentice Hall.
Characterising Brouwer’s continuity by bar recursion on moduli of continuity.Makoto Fujiwara & Tatsuji Kawai - 2020 - Archive for Mathematical Logic 60 (1):241-263.
Essays in the philosophy and history of logic and mathematics.Roman Murawski - 2010 - New York, NY: Rodopi. Edited by Thomas Bedürftig, Izabela Bondecka-Krzykowska & Jan Woleński.
Eliminating the ordinals from proofs. An analysis of transfinite recursion.Edoardo Rivello - 2014 - In Proceedings of the conference "Philosophy, Mathematics, Linguistics. Aspects of Interaction", St. Petersburg, April 21-25, 2014. pp. 174-184.
Computers as a Source of A Posteriori Knowledge in Mathematics.Mikkel Willum Johansen & Morten Misfeldt - 2016 - International Studies in the Philosophy of Science 30 (2):111-127.
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.
Conceptual and Computational Mathematics†.Nicolas Fillion - 2019 - Philosophia Mathematica 27 (2):199-218.
Philosophy through Computer Science.Daniel Lim - 2019 - Teaching Philosophy 42 (2):141-153.
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.

Analytics

Added to PP
2021-09-16

Downloads
6 (#1,466,578)

6 months
5 (#648,315)

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