AfterMath: The Work of Proof in the Age of Human–Machine Collaboration

DOI10.1086/661623zbMATH Open1236.03013OpenAlexW1990781035WikidataQ47344675 ScholiaQ47344675MaRDI QIDQ3105697FDOQ3105697

Authors: Stephanie Dick 

Publication date: 5 January 2012

Published in: Isis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1086/661623

Recommendations

• Proof, computation and agency. Logic at the crossroads
• The epistemology of computer-mediated proofs
• scientific article; zbMATH DE number 2127501
• The Epistemological Status of Computer-Assisted Proofs
• Proof and the virtues of shared enquiry
• The use of machines to assist in rigorous proof
• Computing and the cultures of proving
• The future of post-human mathematical logic
• scientific article; zbMATH DE number 1302064

zbMATH Keywords

proofsAURAArgonne National Laboratoryautomated assistance

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Mechanization of proofs and logical operations (03B35)

Cited In (5)

• Machine-assisted proofs
• Finding mathematical proofs using computers
• Title not available (Why is that?)
• An introduction to mechanized reasoning
• The legacy of a great researcher

This page was built for publication: AfterMath: The Work of Proof in the Age of Human–Machine Collaboration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3105697)