The Meaning of Proofs: Mathematics as Storytelling
暫譯: 證明的意義:數學作為敘事藝術

Lolli, Gabriele, McClellan-Broussard, Bonnie, Marcolli, Matilde

  • 出版商: Summit Valley Press
  • 出版日期: 2022-09-27
  • 售價: $1,130
  • 貴賓價: 9.5$1,074
  • 語言: 英文
  • 頁數: 176
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 0262544261
  • ISBN-13: 9780262544269
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

Why mathematics is not merely formulaic: an argument that to write a mathematical proof is tantamount to inventing a story.

In The Meaning of Proofs, mathematician Gabriele Lolli argues that to write a mathematical proof is tantamount to inventing a story. Lolli offers not instructions for how to write mathematical proofs, but a philosophical and poetic reflection on mathematical proofs as narrative. Mathematics, imprisoned within its symbols and images, Lolli writes, says nothing if its meaning is not narrated in a story. The minute mathematicians open their mouths to explain something--the meaning of x, how to find y--they are framing a narrative.

Every proof is the story of an adventure, writes Lolli, a journey into an unknown land to open a new, connected route; once the road is open, we correct it, expand it. Just as fairy tales offer a narrative structure in which new characters can be inserted into recurring forms of the genre in original ways, in mathematics, each new abstract concept is the protagonist of a different theory supported by the general techniques of mathematical reasoning. In ancient Greece, there was more than an analogy between literature and mathematics, there was direct influence. Euclid's proofs have roots in poetry and rhetoric. Mathematics, Lolli asserts, is not the mere manipulation of formulas.

商品描述(中文翻譯)

為什麼數學不僅僅是公式:一個論點認為撰寫數學證明等同於創造一個故事。

證明的意義中,數學家加布里埃爾·洛利(Gabriele Lolli)主張撰寫數學證明等同於創造一個故事。洛利並不是提供如何撰寫數學證明的指導,而是對數學證明作為敘事的哲學和詩意反思。洛利寫道,數學被困在其符號和圖像中,如果其意義沒有在故事中敘述,則毫無意義。數學家一旦開口解釋某件事——x的意義,如何找到y——他們就開始構建一個敘事。

每個證明都是一次冒險的故事,洛利寫道,這是一段進入未知領域的旅程,以開啟一條新的、相連的路徑;一旦道路開通,我們就會對其進行修正和擴展。正如童話故事提供了一種敘事結構,可以以原創的方式將新角色插入到該類型的重複形式中,在數學中,每一個新的抽象概念都是由數學推理的一般技術支持的不同理論的主角。在古希臘,文學與數學之間不僅僅是類比,還存在直接的影響。歐幾里得的證明根植於詩歌和修辭。洛利堅稱,數學並不是僅僅操縱公式。

作者簡介

Gabriele Lolli was Professor of Mathematical Logic from 1975 to 2008 in the Computer Science Department of the University of Turin and Professor of Philosophy of Mathematics in Scuola Normale Superiore in Pisa from 2008 until his retirement in 2014. He is the author of many books, including Discorso sulla matematica, which proposes a mathematical reading of Italo Calvino's Six Memos for the Next Millennium.

作者簡介(中文翻譯)

加布里埃爾·洛利(Gabriele Lolli)於1975年至2008年擔任都靈大學計算機科學系的數學邏輯教授,並於2008年至2014年退休前擔任比薩高等師範學校的數學哲學教授。他是多本書籍的作者,包括《數學的論述》(Discorso sulla matematica),該書提出了對意大利作家伊塔洛·卡爾維諾(Italo Calvino)《下一個千年的六封備忘錄》(Six Memos for the Next Millennium)的數學解讀。