AfterMath: the work of proof in the age of human-machine collaboration

Stephanie Dick1

  • 1Department of the History of Science, Science Center 371, Harvard University, Cambridge, Massachusetts 02138, USA.

Related Concept Videos

Proofreading01:43

Proofreading

Overview
Proofreading01:31

Proofreading

Synthesis of new DNA molecules is carried out by the enzyme DNA polymerase, which adds nucleotides on the daughter strand complementary to the template DNA strand. DNA polymerase has a higher affinity to add the correct base and ensures fidelity during DNA replication. Furthermore,  it exhibits proofreading activity during replication, using an exonuclease domain that cuts off incorrect nucleotides from the nascent DNA strand.
Errors During Replication are Corrected by the DNA Polymerase Enzyme
Proofreading01:43

Proofreading

Overview
Machines: Problem Solving II01:30

Machines: Problem Solving II

Machines are complex structures consisting of movable, pin-connected multi-force members that work together to transmit forces. Consider a lifting tong carrying a 100 kg load. It comprises movable sections DAF and CBG linked together with member AB.
Social Foundations of Self IV: Self in Digital Communication01:30

Social Foundations of Self IV: Self in Digital Communication

Since the early 2000s, computer-mediated communication (CMC) has grown rapidly, playing a crucial role in self-development. A key distinction between CMC and real-life interactions is the lack of a physically present partner. This absence makes non-verbal cues such as facial expressions, body language, and paralinguistic signals unavailable in CMC platforms like email, instant messaging, or social media. The lack of these cues can create ambiguity and complicate how feedback is interpreted.The...
Machines: Problem Solving I01:22

Machines: Problem Solving I

A toggle clamp is a mechanical device commonly used for holding and clamping objects in various applications, such as woodworking, metalworking, and assembly operations. Consider a toggle clamp subjected to a force of 200 N at the handle. The vertical clamping force can be calculated, provided the dimensions of the toggle clamp are known.
The toggle clamp system is a machine structure consisting of movable, pin-connected multi-force members that form a stabilized system to transmit forces. The...