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:

Primo Levi
   Ogni tempo ha il suo fascismo: se ne notano i segni premonitori 
   dovunque la concentrazione di potere nega al cittadino la possibilità 
   e la capacità di esprimere ed attuare la sua volontà. 
   A questo si arriva in molti modi, non necessariamente col terrore 
   dell'intimidazione poliziesca, ma anche negando o distorcendo 
   l'informazione, inquinando la giustizia, paralizzando la scuola, 
   diffondendo in molti modi sottili la nostalgia per un mondo in cui 
   regnava sovrano l'ordine, ed in cui la sicurezza dei pochi privilegiati 
   riposava sul lavoro forzato e sul silenzio forzato dei molti. 

List of papers and research notes

Available papers: click on the title to see the document