In earlier work presented at CICM, four theorem provers (Isabelle, Mizar, Hets/CASL/TPTP, and Theorema) were compared based on a case study in theoretical economics, the formalization of the landmark Theorem of Vickrey in auction theory. At the time of this comparison the Theorema system was in a state of transition: The original Theorema system (Theorema 1) had been shut down by the Theorema g...

Whether Marx’s economics and Marxist political economy can be formalized using mathematics is a controversial divisive issue. From studying the text of Capital its manuscripts, it emerges that research on capitalist mode production involves application mathematical methods. Marx creates set symbols related to social capitalism, basis constructs an economic model corresponding his theoretical an...

The connection between brain and mind is an important scientific and philosophical question that we are still far from completely understanding. A crucial point to our work is noticing that thermodynamics provides a convenient framework to model brain activity, whereas cognition can be modeled in information-theoretical terms. In fact, several models have been proposed so far from both approach...