Items where Subject is "Q Science > QA Mathematics (inc Computing science) > QA 8 Philosophy of mathematics"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: C | P | R | W
Number of items at this level: 4.

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)

P

Petricek, Tomas (2015) Against a Universal Definition of 'Type'. In: Proceedings of Onward! 2015: ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. ACM, New York, NY, USA pp. 254-266. ISBN 978-1-4503-3688-8. (doi:https://doi.org/10.1145/2814228.2814249) (Full text available)
[img]
Preview

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:https://doi.org/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)

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)

This list was generated on Sun May 26 20:40:25 2019 BST.