State-of-the-art first-order automated theorem proving systems have reached considerable strength over recent years. However, in many areas of mathematics they are still a long way from reliably proving theorems that would be considered relatively simple by humans. For example, when reasoning about sets, relations, or functions, first-order systems still exhibit serious weaknesses. While it has...

Metacybernetics refers to the higher cybernetic orders that arise in living system agencies. Agencies are complex, and for them be viable hence survive, they require both stability uncertainty reduction. is defined through a metasystem hierarchy, mostly known 1st 2nd order cybernetics. In this exploratory paper purpose create framework can underpin metacybernetics explain relationship between d...

Magneto-electro-elastic materials are multiphase smart materials that exhibit coupling among electrical, magnetic and mechanical energy fields. Due to this ability, they have been the topic of numerous research in the past decade. In this paper, buckling behavior of a multiphase magneto-electro-elastic rectangular plate with simply supported boundary conditions is investigated, based on Reddy’s...

This paper presents two views of stepwise enhancement, one a pragmatic syntax-based approach and the other a semantic approach based on higher-order functions and relating to shape and polytypism. The approaches are outlined, and the perhaps surprisingly close relationship between the two described. By combining the advantages of both approaches, it is shown how more code in both functional and...