Skip to main content

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
Number of items at this level: 5.

Article

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)

Book section

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)

Conference or workshop item

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. . pp. 254-266. ACM, New York, NY, USA ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814249)
[img]
Preview

Book

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)

Edited book

Corfield, David and Williamson, Jon, eds. (2001) Foundations of Bayesianism. Kluwer Academic Publishers, Dordrecht, 428 pp. ISBN 978-1-4020-0223-6. (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 Jul 21 21:54:54 2019 BST.