The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies available on intelligent portable devices. The existence of trust is a mandatory condition to make such enterprises successful. Trust has many facets ranging from very theoretical ones to fully heuristic features. One point is that trust can arise when one understands better the behavior of partners. In this paper we outline a new technology leading to the possibility to include inter-cultural issues among the factors having a strong impact on trust. This technology is called Abstraction-Based Information Technology. Its goal is to enable to design tools in artificial intelligence to perform so-called cultural reasoning that ensures better trust among inter-cultural communities. We outline how Abstraction-Based Information Technology becomes feasible when working with virtual knowledge communities. An argument in favor of our approach is that it relies on a bottom-up approach, particularly suitable for the web technology and for intelligent wearable devices. The solution of intercultural troubles then amounts to solve knowledge conflicts among virtual knowledge communities.

Abstract. The notions of “construction principles ” is proposed as a complementary notion w.r. to the familiar “proof principles ” of Proof Theory. The aim is to develop a parallel analysis of these principles in Mathematics and Physics: common construction principles, in spite of different proof principles, justify the effectiveness of Mathematics in Physics. The very “objects ” of these disciplines are grounded on commun genealogies of concepts: there is no trascendence of concepts nor of objects without their contingent and shared constitution. A comparative analysis of Husserl’s and Gödel’s philosophy is hinted, with many references to H. Weyl’s reflections on Mathematics and Physics. Introduction (with F. Bailly) With this text, we will first of all discuss a distinction, internal to mathematics, between “construction principles ” and “proof principles ” (see [Longo, 1999; 2002]). In short, it will be a question of grasping the difference between the construction of mathematical concepts and structures