Rigor and structure

John P. Burgess presents an illuminating study of the nature of mathematical rigour and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerised formal proofs, and surveys many historical...

Full description

Saved in:
Bibliographic Details
Main Author: Burgess, John P., 1948- (Author)
Corporate Author: Oxford Scholarship Online
Format: eBook
Language:English
Published: Oxford : Oxford University Press, 2015.
Edition:First edition.
Physical Description:
1 online resource.
Subjects:
Mathematics -- Philosophy.
Logic.
Online Access:Oxford scholarship online - Click here for access

MARC

LEADER 00000nam a2200000 i 4500
001 OS0001131832
003 StDuBDS
005 20150512163010.0
006 m||||||||d||||||||
007 cr |||||||||||
008 141002s2015 enk fob 001 0|eng|d
020 |a 9780191789076  |q (ebook)  |c No price 
040 |a StDuBDS  |b eng  |e rda  |e pn  |c StDuBDS 
050 4 |a QA8.4 
082 0 4 |a 510.1  |2 23 
100 1 |a Burgess, John P.,  |d 1948-  |0 https://id.loc.gov/authorities/names/n2001013661  |e author. 
245 1 0 |a Rigor and structure /  |c John P. Burgess. 
250 |a First edition. 
264 1 |a Oxford :  |b Oxford University Press,  |c 2015. 
300 |a 1 online resource. 
336 |a text  |2 rdacontent. 
337 |a computer  |2 rdamedia. 
338 |a online resource  |2 rdacarrier. 
504 |a Includes bibliographical references and index. 
520 8 |a John P. Burgess presents an illuminating study of the nature of mathematical rigour and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerised formal proofs, and surveys many historical developments in mathematics, philosophy, and logic. 
588 |a Description based on online resource; title from home page (viewed on April 28, 2015). 
650 0 |a Mathematics  |x Philosophy.  |0 https://id.loc.gov/authorities/subjects/sh85082153. 
650 0 |a Logic.  |0 https://id.loc.gov/authorities/subjects/sh85078106. 
710 2 |a Oxford Scholarship Online.  |0 https://id.loc.gov/authorities/names/no2010179993. 
776 0 8 |i Print version  |z 9780198722229. 
907 |a .b48421662  |b multi  |c -  |d 150609  |e 230104 
998 |a cue  |a cu  |b 150609  |c m  |d z   |e -  |f eng  |g enk  |h 0  |i 0 
948 |a MARCIVE Comp, in 2023.01 
948 |a MARCIVE August, 2017 
948 |a MARCIVE extract Aug 5, 2017 
995 |a Loaded with m2btab.ltiac in 2023.01 
995 |a Loaded with m2btab.ltiac in 2017.09 
989 |d cueme  |e  - -   |f  - -   |g j   |h 0  |i 0  |j 188  |k 150609  |l $0.00  |m    |n  - -   |o -  |p 0  |q 0  |t 0  |x 0  |w Oxford Scholarship  |1 .i9741296x  |3 Oxford scholarship online  |u https://ezproxy.coloradomesa.edu/login?url=https://dx.doi.org/10.1093/acprof:oso/9780198722229.001.0001  |z Click here for access 

Similar Items