HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

"1/0" is not nonsense - A novel way to interpret terms, such that every term is defined

Abstract : Terms, as written and read by computer programmers, algebraists or logicians, are composite names, i.e., syntactically correct sequences of proper names and variables. Although all terms are very easy to write and copy, as easy as the term is short, many seem so strange, the monster "1/0" being at the extreme, that most people consider them nonsense. Yet, they appear everywhere in specifications of computer programs. So there is at least one good reason to smooth the field down, and adopt an interpretation-procedure executing which you never fail, i.e., you always understand the term, any term.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 11:50:14 AM
Last modification on : Friday, February 4, 2022 - 3:23:42 AM
Long-term archiving on: : Friday, May 13, 2011 - 10:32:11 PM


  • HAL Id : inria-00077013, version 1



Aristide Megrelis. "1/0" is not nonsense - A novel way to interpret terms, such that every term is defined. [Research Report] RR-1773, INRIA. 1992. ⟨inria-00077013⟩



Record views


Files downloads