Items where Subject is "Q Science > QA Mathematics (inc Computing science) > QA 8 Philosophy of mathematics"
- Library of Congress Subject Areas (61610)
- Q Science (17232)
- QA Mathematics (inc Computing science) (6387)
- QA 8 Philosophy of mathematics (6)
- QA Mathematics (inc Computing science) (6387)
- Q Science (17232)
Number of items at this level: 5.
C
Chu, Dominique (2013) The Science Myth: God, society, the self and what we will never know. Iff Books, London, 437 pp. ISBN 1-78279-047-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:37144) |
P
Petricek, Tomas (2015) Against a Universal Definition of 'Type'. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 254-266. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814249) (KAR id:67144) |
R
Rosenkranz, Markus (2004) The Algorithmization of Physics: Math Between Science and Engineering. In: Buchberger, Bruno and Campbell, John, eds. Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. Lecture Notes in Computer Science, 3249 . Springer, pp. 1-7. ISBN 978-3-540-23212-4. (doi:10.1007/978-3-540-30210-0_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:29977) |
T
Turner, David A. (2021) Constructive mathematics, Church's Thesis, and free choice sequences. Lecture Notes in Computer Science, . ISSN 0302-9743. (doi:10.1007/978-3-030-80049-9_44) (KAR id:88974) |
W
Williamson, Jon (2006) From Bayesianism to the Epistemic View of Mathematics: Remarks motivated by Richard Jeffrey’s ‘Subjective Probability: The Real thing'. Philosophia Mathematica, 14 (3). pp. 365-369. ISSN 0031-8019. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:7450) |