Jump to ContentJump to Main Navigation
Circles DisturbedThe Interplay of Mathematics and Narrative$
Users without a subscription are not able to see the full content.

Apostolos Doxiadis and Barry Mazur

Print publication date: 2012

Print ISBN-13: 9780691149042

Published to Princeton Scholarship Online: October 2017

DOI: 10.23943/princeton/9780691149042.001.0001

Show Summary Details
Page of

PRINTED FROM PRINCETON SCHOLARSHIP ONLINE (www.princeton.universitypressscholarship.com). (c) Copyright Princeton University Press, 2022. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in PRSO for personal use.date: 27 June 2022

Do Androids Prove Theorems in Their Sleep?

Do Androids Prove Theorems in Their Sleep?

Chapter:
(p.130) Chapter 5 Do Androids Prove Theorems in Their Sleep?
Source:
Circles Disturbed
Author(s):

Michael Harris

Publisher:
Princeton University Press
DOI:10.23943/princeton/9780691149042.003.0005

This chapter examines the role of dreams in mathematics by focusing on Robert Thomason's decision to add as co-author of an important paper his deceased friend Tom Trobaugh, a non-mathematician. The reason Thomason gave was that Trobaugh, who had committed suicide a few months earlier, appeared to him in a dream and helped him complete a particularly difficult proof. The chapter first considers what the dream tells us about the narrative structure of a mathematical proof before discussing the use of automated theorem provers in creating new proofs. It also explores how K-ness can be defined and whether it can be calculated in the context of the Thomason–Trobaugh article. Finally, it describes the division in the mathematical literature between ghost and ghostwriter, citing as an example the work done regarding Grigori Perelman's proof of the Poincaré conjecture.

Keywords:   dreams, mathematics, Robert Thomason, Tom Trobaugh, proof, automated theorem provers, K-ness, Thomason–Trobaugh article, ghost, ghostwriter

Princeton Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us.