On Marrying Machines with Mathematics - A Comment to “Reasoning with computer-assisted experiments in mathematics” by Liesbeth De Mol

Bart Van Kerkhove

On Marrying Machines with Mathematics - A Comment to “Reasoning with computer-assisted experiments in mathematics” by Liesbeth De Mol

Centre for Logic and Philosophy of Science

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

Abstract

Rather than directly commenting on the historical analyses presented in the foregoing paper, I would here like to broaden the discussion, more firmly connecting this interesting subject with contemporary philosophical discussion.

Original language	English
Title of host publication	Proceedings of the Third Workshop in the Philosophy of Information
Place of Publication	Brussels
Publisher	Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten
Pages	93-94
Number of pages	2
ISBN (Print)	978-90-6569-097-5
Publication status	Published - 2012
Event	Third Workshop in the Philosophy of Information - Paleis der Academiën, Brussels, Brussels, Belgium Duration: 18 Nov 2010 → 19 Nov 2010 http://www.vub.ac.be/CLWF/3WPI/ http://www.vub.ac.be/CLWF/3WPI/

Other

Other	Third Workshop in the Philosophy of Information
Country	Belgium
City	Brussels
Period	18/11/10 → 19/11/10
Internet address	http://www.vub.ac.be/CLWF/3WPI/ http://www.vub.ac.be/CLWF/3WPI/

Keywords

mathematics and computers

Cite this

@inproceedings{00427bf8ab324943bf54f4d6213b174f,

title = "On Marrying Machines with Mathematics - A Comment to “Reasoning with computer-assisted experiments in mathematics” by Liesbeth De Mol",

abstract = "Rather than directly commenting on the historical analyses presented in the foregoing paper, I would here like to broaden the discussion, more firmly connecting this interesting subject with contemporary philosophical discussion.",

keywords = "mathematics and computers",

author = "{Van Kerkhove}, Bart",

year = "2012",

language = "English",

isbn = "978-90-6569-097-5",

pages = "93--94",

booktitle = "Proceedings of the Third Workshop in the Philosophy of Information",

publisher = "Koninklijke Vlaamse Academie van Belgi{\"e} voor Wetenschappen en Kunsten",

}

Van Kerkhove, B 2012, On Marrying Machines with Mathematics - A Comment to “Reasoning with computer-assisted experiments in mathematics” by Liesbeth De Mol. in Proceedings of the Third Workshop in the Philosophy of Information. Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten, Brussels, pp. 93-94, Third Workshop in the Philosophy of Information, Brussels, Belgium, 18/11/10.

On Marrying Machines with Mathematics - A Comment to “Reasoning with computer-assisted experiments in mathematics” by Liesbeth De Mol. / Van Kerkhove, Bart.

Proceedings of the Third Workshop in the Philosophy of Information. Brussels : Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten, 2012. p. 93-94.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

TY - GEN

T1 - On Marrying Machines with Mathematics - A Comment to “Reasoning with computer-assisted experiments in mathematics” by Liesbeth De Mol

AU - Van Kerkhove, Bart

PY - 2012

Y1 - 2012

N2 - Rather than directly commenting on the historical analyses presented in the foregoing paper, I would here like to broaden the discussion, more firmly connecting this interesting subject with contemporary philosophical discussion.

AB - Rather than directly commenting on the historical analyses presented in the foregoing paper, I would here like to broaden the discussion, more firmly connecting this interesting subject with contemporary philosophical discussion.

KW - mathematics and computers

M3 - Conference paper

SN - 978-90-6569-097-5

SP - 93

EP - 94

BT - Proceedings of the Third Workshop in the Philosophy of Information

PB - Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten

CY - Brussels

ER -

On Marrying Machines with Mathematics - A Comment to “Reasoning with computer-assisted experiments in mathematics” by Liesbeth De Mol

Abstract

Other

Keywords

Fingerprint

Cite this