A. Matos homepage

Recovered from an older version

Armando B. Matos
$ Display all 3194 possibilities? (y or n)


Researcher and retired teacher, email: reverse "moc.oohay@mcbodnamra"
LIACC, Artificial Intelligence Computer Science Laboratory    /    Computer Science Department    /    Faculty of Sciences    /    FCUP info    /    Universidade do Porto    /    Porto
What can be asserted without evidence can also be dismissed without evidence.

 

            Papers (below)            

            Reversible languages: work in progress (pdf)                   Course: “Topics on Advanced Algorithms”
            Reversible languages: TCS paper (pdf)                   Course: “Introductory Programming”
            ...A text on advanced algorithms (pdf).                   Course: “Complexity”
            Mathoverflow                   Course: “Imperative Programming”
            Research on primitive recursive functions                   C.A.R. Hoare on categories (only for my study)
Pr. recursive functions: implementation efficiency                   Logicians discussing weak arithmetics
AI & CS Lab, LIACC, Univ. Porto                   Consequences of Godel's Incompleteness Theorem
Programming is useful...                   Panflation!        
List of quotes...             Frege
"Random" quote:

  Woodrow Wilson:
      the object of the college, as we have known and used and loved it
      [...] is not scholarship [...] but the intellectual and spiritual
      life. 
      Its life and discipline are meant to be a process of preparation, 
      not a process of information. 
      By the intellectual and spiritual life I mean the life which enables 
      the mind to comprehend and make proper use of the modern world 
      and all its opportunities. 
      The object of a liberal training is not learning, but discipline 
      and the enlightenment of the mind. The educated man is to be 
      discovered by his point of view, by the temper of his mind, by his 
      attitude towards life and his fair way of thinking. He can see, 
      he can discriminate, he can combine ideas and perceive whither 
      they lead; he has insight and comprehension. His mind is a practised 
      instrument of appreciation. He is more apt to contribute light than 
      heat to a discussion [...] 
      he has the knowledge of the world which no one can have who knows only his
      own generation or only his own task.

List of papers and research notes

Available papers: click on the title to see the document