"1/0" is not nonsense - A novel way to interpret terms, such that every term is defined - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1992

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

Aristide Megrelis
  • Fonction : Auteur

Résumé

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.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00077013 , version 1

Citer

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 Consultations
28 Téléchargements

Partager

Gmail Facebook X LinkedIn More