Skip to Main content Skip to Navigation
Reports

"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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00077013
Contributor : Rapport de Recherche Inria <>
Submitted on : Monday, May 29, 2006 - 11:50:14 AM
Last modification on : Thursday, February 11, 2021 - 2:48:31 PM
Long-term archiving on: : Friday, May 13, 2011 - 10:32:11 PM

Identifiers

  • HAL Id : inria-00077013, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

126

Files downloads

65