The Epistemology of Computer-Mediated Proofs

&
In Sven Ove Hansson (ed.), Technology and Mathematics: Philosophical and Historical Investigations. Cham, Switzerland: Springer Verlag (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
Electronic Media Review.Michael B. Burke - 2006 - Teaching Philosophy 29 (3):255-260.
Email and Ethics: Style and Ethical Relations in Computer-Mediated Communications.Emma Rooksby - 2002 - Routledge.
Email and Ethics: Style and Ethical Relations in Computer-Mediated Communications.Emma Rooksby - 2002 - Routledge.
Dowody komputerowe a status epistemologiczny twierdzeń matematyki.Izabela Bondecka-Krzykowska - 1999 - Filozofia Nauki 3.
Email and ethics : style and ethical relations in computer-mediated communication.Emma Rooksby - 2007 - In Michael Beaney (ed.), The Analytic Turn: Analysis in Early Analytic Philosophy and Phenomenology. Routledge.
What is a Proof?Reinhard Kahle - 2015 - Axiomathes 25 (1):79-91.
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.
Brokers and bricoleurs: entrepreneurship in Wales' online music scene. [REVIEW]Gillian Allard - 2003 - AI and Society 17 (1):12-24.
Electronic Media Review.Michael B. Burke - 2006 - Teaching Philosophy 29 (3):255-260.
Cultures in collision: Philosophical lessons from computer-mediated communication.Charles Ess - 2002 - In James Moor & Terrell Ward Bynum (eds.), Metaphilosophy. Blackwell. pp. 229-253.
Developing methods to understand discourse and workspace in distributed computer-mediated interaction.Renate Fruchter & Humberto E. Cavallin - 2006 - AI and Society 20 (2):169-188.
Computer-mediated knowledge communication.Armin Weinberger & Heinz Mandl - unknown
Computer-mediated communication and cooperation in social dilemmas: An experimental analysis.Cristina Bicchieri & Azi Lev-On - 2007 - Politics, Philosophy and Economics 6 (2):139-168.
Short Proofs of Tautologies using the Schema of Equivalence.Matthias Baaz & Richard Zach - 1994 - In Egon Börger, Yuri Gurevich & Karl Meinke (eds.), Computer Science Logic. 7th Workshop, CSL '93, Swansea. Selected Papers. Berlin: Springer. pp. 33-35.

Analytics

Added to PP
2019-01-28

Downloads
1 (#1,866,476)

6 months
1 (#1,459,555)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Selmer Bringsjord
Rensselaer Polytechnic Institute

Citations of this work

Technology and Mathematics.Sven Ove Hansson - 2020 - Philosophy and Technology 33 (1):117-139.

Add more citations

References found in this work

No references found.

Add more references