Understanding proofs

Abstract

“Now, in calm weather, to swim in the open ocean is as easy to the practised swimmer as to ride in a spring-carriage ashore. But the awful lonesomeness is intolerable. The intense concentration of self in the middle of such a heartless immensity, my God! who can tell it? Mark, how when sailors in a dead calm bathe in the open sea—mark how closely they hug their ship and only coast along her sides.” (Herman Melville, Moby Dick, Chapter 94).

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Moby Dick; or, the Whale.Herman Melville - 1851 - Harper & Brothers.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Understanding, formal verification, and the philosophy of mathematics.Jeremy Avigad - 2010 - Journal of the Indian Council of Philosophical Research 27:161-197.
The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
Moby-Dick 's hidden philosopher: A second look at stubb.Alan Dagovitz - 2008 - Philosophy and Literature 32 (2):pp. 330-346.

Analytics

Added to PP
2009-01-28

Downloads
104 (#164,656)

6 months
14 (#168,878)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeremy Avigad
Carnegie Mellon University

References found in this work

Philosophical Investigations.Ludwig Wittgenstein - 1953 - New York, NY, USA: Wiley-Blackwell. Edited by G. E. M. Anscombe.
Philosophical investigations.Ludwig Wittgenstein & G. E. M. Anscombe - 1953 - Revue Philosophique de la France Et de l'Etranger 161:124-124.
The Concept of Mind.Gilbert Ryle - 1949 - Revue Philosophique de la France Et de l'Etranger 141:125-126.
The Concept of Mind.Gilbert Ryle - 1950 - British Journal for the Philosophy of Science 1 (4):328-332.

View all 20 references / Add more references