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

Library of Congress Subject Areas (61791)
- Q Science (17302)
  - QA Mathematics (inc Computing science) (6405)
    - QA 8 Philosophy of mathematics (6)

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: C | P | R | T | W

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)

This list was generated on Sun Dec 22 22:34:20 2024 GMT.