LEADER 02293nam a22003737i 4500001    99130308232406421
005    20240402102857.0
006    m#####o##d########
007    cr#mn######a#a
008    220629s2024||||enk     o     ||1 0|eng|d
020    9781009325110 (ebook)
020     |z9781009325103 (paperback)
020     |z9781009494380 (hardback)
035    (UkCbUP)CR9781009325110
040    UkCbUP |beng |erda |epn |cUkCbUP
050  4 QA8.4 |b.S84 2024
082 04 510.1 |223
099    Electronic Resource
100 1  Stanley Tanswell, Fenner, |eauthor.
245 10 Mathematical rigour and informal proof / |cFenner Stanley Tanswell.
264  1 Cambridge : |bCambridge University Press, |c2024.
300    1 online resource (81 pages) : |bdigital, PDF file(s).
336    text |btxt |2rdacontent
337    computer |bc |2rdamedia
338    online resource |bcr |2rdacarrier
347    data file |2rda
490 1  Cambridge elements. Elements in the philosophy of mathematics, |x2399-2883
500    Title from publisher's bibliographic system (viewed on 07 Mar 2024).
520    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.
650  0 Mathematics |xPhilosophy. |0http://id.loc.gov/authorities/subjects/sh85082153
650  0 Proof theory. |0http://id.loc.gov/authorities/subjects/sh85107437
776 08  |iPrint version: |z9781009494380
830  0 Cambridge elements. |pElements in the philosophy of mathematics |x2399-2883.
956 40  |uhttps://doi.org/10.1017/9781009325110