Supporting the formal verification of mathematical texts

Journal of Applied Logic 4 (4):592-621 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.
Infinity and the Observer: Radical Constructivism and the Foundations of Mathematics.P. Cariani - 2012 - Constructivist Foundations 7 (2):116-125.
A Piagetian perspective on mathematical construction.Michael A. Arbib - 1990 - Synthese 84 (1):43 - 58.
Mathematical arguments in context.Jean Paul Van Bendegem & Bart Van Kerkhove - 2009 - Foundations of Science 14 (1-2):45-57.
Nicolas Bourbaki and the concept of mathematical structure.Leo Corry - 1992 - Synthese 92 (3):315 - 348.
Mathematical Logic and Modern Formal Logic.A. A. Vetrov - 1964 - Russian Studies in Philosophy 3 (1):24-33.
Adventures in the verification of mathematics.Harvey Friedman - manuscript
Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
Post-structural Readings of a logico-mathematical text.Roy Wagner - 2008 - Perspectives on Science 16 (2):pp. 196-230.
The use of a formal simulator to verify a simple real time control program.Robert Boyer - manuscript
Understanding, formal verification, and the philosophy of mathematics.Jeremy Avigad - 2010 - Journal of the Indian Council of Philosophical Research 27:161-197.
Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
Philosophical aspects of program verification.James H. Fetzer - 1991 - Minds and Machines 1 (2):197-216.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,087,411)

6 months
8 (#364,101)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Modal subordination and pronominal anaphora in discourse.Craige Roberts - 1989 - Linguistics and Philosophy 12 (6):683 - 721.
A refinement of de bruijn's formal language of mathematics.Fairouz Kamareddine & Rob Nederpelt - 2004 - Journal of Logic, Language and Information 13 (3):287-340.

Add more references