英和和英

動詞

constructivise (三人称単数 現在形 constructivises, 現在分詞 constructivising, 過去形および過去分詞形 constructivised)

1. Alternative form of constructivize
   • 2011, C. Blencowe, Biopolitical Experience: Foucault, Power and Positive Critique:

     Arguably, the latter was enabled to continue in a revitalised constructivised form rinsed clean of (apparent) responsibility for the excesses of eugenics.

   • 2012, K. Vela Velupillai, Computable Foundations for Economics:

     This is a standard method that constructive mathematicians routinely apply in their constant struggle to constructivise classical mathematical theorems ([47], [83]).

   • 2013, Ulrich Berger, ‎Hannes Diener, ‎Peter Schuster, Logic, Construction, Computation, page 67:

     However, the proofs of the more general classical result of Peano, stated below in a form suitable for constructive analysis, use sequential compactness and therefore cannot readily be constructivised.