"1/0" is not nonsense - A novel way to interpret terms, such that every term is defined - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

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

Aristide Megrelis
  • Function : Author

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1773.pdf (1.18 Mo) Télécharger le fichier

Dates and versions

inria-00077013 , version 1 (29-05-2006)

Identifiers

  • HAL Id : inria-00077013 , version 1

Cite

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⟩
52 View
21 Download

Share

Gmail Facebook Twitter LinkedIn More