Logic List Mailing Archive

Two sessions at the Joint Mathematics Meeting: "Philosophy of Mathematical As Actually Practices" and "Alternative Proofs in Mathematical Practice"

12 Jan 2018
San Diego CA, U.S.A.

"Philosophy of Mathematics as Actually Practiced" organized by Bonnie 
Gold, Sally Cockburn and Tom Drucker. Scheduled for Friday morning, 
January 12, 2018 at the US joint math meetings in January in San Diego, 
California.

Talks are 15 minutes long, followed by discussion/question-and-answer of 
10 minutes.

Description: The philosophy of mathematics has often failed to account for 
actual mathematical practice, concentrating only on the finished product, 
theorems and proofs, and even then, not proofs as mathematicians give 
them, but the formal proofs by which they could be replaced. In the last 
quarter of the 20th century, many philosophers of mathematics began to be 
interested in considering mathematics as it is actually developed, leading 
to the formation, in 2009, of the Association for the Philosophy of 
Mathematical Practice. This kind of approach requires that the philosopher 
of mathematics have a good understanding of mathematics, how it develops, 
and how it is taught and learned. It therefore requires a significant 
interaction with the mathematical community. This session invites 
contributions that discuss philosophical issues involved with mathematics 
as it is actually practiced. Papers that bring out issues that have not 
yet been discussed by philosophers but that involve philosophical issues 
with current mathematical practice are especially welcome. Other topics in 
the philosophy of mathematics will be considered as time allows.

Abstracts may be submitted electronically at 
http://jointmathematicsmeetings.org/meetings/abstracts/abstract.pl?type=jmm 
The deadline for submission of abstracts is Tuesday, September 26, 2017. 
Questions concerning the submission of abstracts should be addressed to 
abscoord@ams.org. I hope some of you will submit talks.

Bonnie Gold, Professor Emerita, Monmouth University, bgold@monmouth.edu

-------------------------------------------

Also at the JMM in San Diego:

"Alternative Proofs in Mathematical Practice"

organised by John Dawson.

The session is intended to encompass the roles of alternative proofs in 
both mathematics research and teaching.  Six invited speakers are already 
confirmed (Jemma Lorenat, Rebecca Morris, John Stilwell, Wilfried Sieg, 
Roger Nelsen and Kenneth Manders), but there is room to accommodate others 
who may be interested in contributing a talk.  The deadline for submission 
of abstracts is also September 26.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam