Armando B. Matos $ Display all 3194 possibilities? (y or n)
What can be asserted without evidence can also be dismissed without evidence.
|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: Jaron Lanier (Scientific American) We still have the potential to choose what we want. When we speak about grand tradeoffs between privacy and security or privacy and convenience, it is as if these tradeoffs are unavoidable. It is as if we have forgotten the most basic fact about computers: they are programmable!
"The power of instruction is seldom of much efficacy except in those happy dispositions
where it is almost superfluous", Gibbon
"The power of instruction is seldom of much efficacy except in those happy dispositions where it is almost superfluous", Gibbon