Actions

Ontolog Forum

Revision as of 08:45, 8 February 2021 by imported>MatthewWest (Created page with "=Mauro Bertani= I'm Mauro Bertani and I'm a warehouse worker. In my free time I work on computer science and library science. I am a member of the Italian chapter of ISKO. My ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Mauro Bertani

I'm Mauro Bertani and I'm a warehouse worker. In my free time I work on computer science and library science. I am a member of the Italian chapter of ISKO. My current research is based on turning a graph into a tree. Sort graph pieces so that the rightmost leaf of the tree is the graph as a whole. I am looking for the algebra of second order logic. For the moment I have ordered a vector space where a R^3 tuple is a relation. Now I'm studying the uncomputable numbers.