Symbol Sense: Informal Sense-Making in Formal Mathematics.

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-

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 307 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.