英和和英

別の表記

• constructivise

動詞

constructivize (三人称単数 現在形 constructivizes, 現在分詞 constructivizing, 過去形および過去分詞形 constructivized)

1. (mathematics) To convert into a framework that is consistent with constructivism.
   • 1970, Bulletin of the American Mathematical Society, page 304:

     These systems can be compared in at least two different ways, depending on whether one's chief concern is to constructivize classical mathematics or, rather, to develop, on its own terms, a completely constructive mathematics.

   • 1970, Per Martín-Löf, Notes on constructive mathematics, page 57:

     In classical mathematics the continuum is conceived of as the totality of its points. One might therefore, like Markov and his school, try to constructivize the theory of the continuum by looking upon it as the totality of its constructive points.

   • 2000, Lev D. Beklemishev, Provability, Computability and Reflection, page 43:

     In order to constructivize a mathematical notion we consider its classical definition written in terms of the arithmetic of natural numbers. Then we relativize the existential quantifiers according to the following well known scheme.

2. To make constructivist (grounded in experience).
   • 1983, Theofanis George Stavrou, Art and Culture in Nineteenth-century Russia, page 136:

     But just as Ivanov regarded art as one component of a universal philosophy for transforming the world, so the artists of the avant-garde also hoped to "suprematize" and "constructivize" all aspects of reality.

   • 2002, Neil Tennant, The Taming of the True, page 337:

     Harmony considerations tend to favour some form of intuitionistic logic over classical logic. That is, harmony constructivizes.

   • 2003, International Journal of Educational Reform - Volume 12, page 64:

     Seeing opportunity to expand the constructivist idea and process to an entire organization, such as a school, or a school district, I suggested strategies to constructivize the total school, as well as the classroom, team, or learning community.

派生語

• constructivization