Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs

Jean Van Bendegem

Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs

Jean Van Bendegem

Philosophy - Moral Sciences

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

Abstract

This paper deals with the use of social networks in the construction of proofs

Original language	English
Title of host publication	Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies
Editors	Peter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges , Pierre Edouard Bour
Place of Publication	London
Publisher	College Publications
Pages	427-439
Number of pages	13
ISBN (Print)	978-1-84890-169-8
Publication status	Published - 2014
Event	Logic, Methodology and Philosophy of Science - Université de Nancy, Nancy, France Duration: 19 Jul 2011 → 26 Jul 2011

Conference

Conference	Logic, Methodology and Philosophy of Science
Country/Territory	France
City	Nancy
Period	19/07/11 → 26/07/11

Keywords

mathematics
technology
polymath

SRP22: Strategic Research Programme: Cultures of Mathematics: Logic, Philosophy and History of Mathematical Practices.
Van Kerkhove, B., François, K., Ducheyne, S., Van Bendegem, J. P., Van Bendegem, J. P. & Van Kerkhove, B.
1/10/13 → 30/09/20
Project: Fundamental

Cite this

Van Bendegem, Jean. / Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs. Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies. editor / Peter Schroeder-Heister ; Gerhard Heinzmann ; Wilfrid Hodges ; Pierre Edouard Bour. London : College Publications, 2014. pp. 427-439

@inproceedings{c63c18a587864677b0893ebaab919b6c,

title = "Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs",

abstract = "This paper deals with the use of social networks in the construction of proofs",

keywords = "mathematics, technology, polymath",

author = "{Van Bendegem}, Jean",

year = "2014",

language = "English",

isbn = "978-1-84890-169-8",

pages = "427--439",

editor = "Peter Schroeder-Heister and Gerhard Heinzmann and {Hodges }, Wilfrid and Bour, {Pierre Edouard}",

booktitle = "Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies",

publisher = "College Publications",

note = "Logic, Methodology and Philosophy of Science ; Conference date: 19-07-2011 Through 26-07-2011",

}

Van Bendegem, J 2014, Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs. in P Schroeder-Heister, G Heinzmann, W Hodges & PE Bour (eds), Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies. College Publications, London, pp. 427-439, Logic, Methodology and Philosophy of Science, Nancy, France, 19/07/11.

Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs. / Van Bendegem, Jean.

Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies. ed. / Peter Schroeder-Heister; Gerhard Heinzmann; Wilfrid Hodges ; Pierre Edouard Bour. London : College Publications, 2014. p. 427-439.

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

TY - GEN

T1 - Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs

AU - Van Bendegem, Jean

PY - 2014

Y1 - 2014

N2 - This paper deals with the use of social networks in the construction of proofs

AB - This paper deals with the use of social networks in the construction of proofs

KW - mathematics

KW - technology

KW - polymath

M3 - Conference paper

SN - 978-1-84890-169-8

SP - 427

EP - 439

BT - Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies

A2 - Schroeder-Heister, Peter

A2 - Heinzmann, Gerhard

A2 - Hodges , Wilfrid

A2 - Bour, Pierre Edouard

PB - College Publications

CY - London

T2 - Logic, Methodology and Philosophy of Science

Y2 - 19 July 2011 through 26 July 2011

ER -

Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs

Abstract

Conference

Keywords

Fingerprint

Projects

SRP22: Strategic Research Programme: Cultures of Mathematics: Logic, Philosophy and History of Mathematical Practices.

Cite this