Symbol Sense: Informal Sense-Making in Formal Mathematics.

TLDR

Irineo Funes, a character from Borges, possessed an extraordinary memory that allowed him to recall all experiences in perfect detail. He aimed to encode his entire life into 70,000 numbered remembrances per day. Two considerations dissuaded him: the task was inter-.

Abstract

Prologue Irineo Funes, the meritorious, was created from Borges 's fantastic palette. He had an extraordinarily retentive memory, he was able to remember everything, be it the shapes of the southern clouds on the dawn of April 30th, 1882, or all the words in English, French, Portuguese and Latin. Each one of his experiences was fully and accurately registered in his infinite memory. On one occasion he thought of reducing each past day of his life to seventy thousand remembrances to be referred to by numbers. Two considerations dissuaded him: the task was inter-