Granularity analysis for tutoring mathematical proofs

[Heidelberg]: AKA Verlag (2011)
  Copy   BIBTEX

Abstract

Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of course also in the formal sciences. Progress in automated reasoning increasingly enables computer systems to support, and even teach, users to conduct formal a.

Categories

Keywords

Reprint years

Call number

QA9.54.S34 2011

ISBN(s)

1607507196   9781607507192

Links

PhilArchive



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

External links

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

Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
Computational Aspects of Linear Logic.Patrick Lincoln - 1995 - MIT Press.
Proofs and rebuttals: Applying Stephen Toulmin's layout of arguments to mathematical proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Automatic semantic interpretation: a computer model of understanding natural language.Jan van Bakel - 1984 - Cinnaminson, U.S.A.: Foris Publications.
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Proof, Reliability, and Mathematical Knowledge.Anthony Peressini - 2003 - Theoria 69 (3):211-232.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.Jody Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.
Semantic interpretation and the resolution of ambiguity.Graeme Hirst - 1987 - New York: Cambridge University Press.
Technical report tr-Arp-11-94.Greg Restall - unknown
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.

Analytics

Added to PP
2014-11-18

Downloads
5 (#1,402,680)

6 months
2 (#889,309)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.

Add more citations

References found in this work

No references found.

Add more references