An Essay on Denotational Mathematics. Rigorous Results
Résumé
Denotational mathematics is a new rigorous discipline of theoretical computer science which spings out from the attempt to provide a suitable mathematical framework in which laid out new algebraic structures formalizing certain formal patterns coming from computational and natural intelligence, software science, cognitive informatics, neuronal networks, artificial intelligence. In this chapter, a very brief but rigorous exposition of the main formal structures of denotational mathematics, is outlined within naive set theory.