ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Unknown

A Problem with the Dependence of Informal Proofs on Formal Proofs (2015)

Tanswell, F.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2015-09-22

Description: Derivationists, those wishing to explain the correctness and rigour of informal proofs in terms of associated formal proofs, are generally held to be supported by the success of the project of translating informal proofs into computer-checkable formal counterparts. I argue, however, that this project is a false friend for the derivationists because there are too many different associated formal proofs for each informal proof, leading to a serious worry of overgeneration. I press this worry primarily against Azzouni's derivation-indicator account, but conclude that overgeneration is a major obstacle to a successful account of informal proofs in this direction.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

hit 1 - 1 | 1 hit