• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Mathematical Rigour and Informal Proof

Mathematical Rigour and Informal Proof

Hardcover

Series: Elements in the Philosophy of Mathematics

Philosophy

ISBN10: 1009494384
ISBN13: 9781009494380
Publisher: Cambridge University Press
Published: Mar 28 2024
Pages: 90
Weight: 0.64
Height: 0.25 Width: 6.00 Depth: 9.00
Language: English
This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features and functions of the concept of rigour. To illustrate this pluralism, the Element surveys some of the main options in the literature: the 'standard view' that rigour is just formal, logical rigour; the models of proofs as arguments and dialogues; the recipe model of proofs as guiding actions and activities; and the idea of mathematical rigour as an intellectual virtue. The strengths and weaknesses of each are assessed, thereby providing an accessible and empirically-informed introduction to the key issues and ideas found in the current discussion.

1 different editions

Also available

Also from

Stanley Tanswell, Fenner

Also in

Philosophy