http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
GOODSTEIN'S GENERALIZED THEOREM: FROM ROOTED TREE REPRESENTATIONS TO THE HYDRA GAME
LEONARDIS, A.,D'ATRI, G.,ZANARDO, E. The Korean Society for Computational and Applied M 2022 Journal of applied mathematics & informatics Vol.40 No.5-6
A hereditary base-b representation, used in the celebrated Goodstein's theorem, can easily be converted into a labeled rooted tree. In this way it is possible to give a more elementary geometric proof of the aforementioned theorem and to establish a more general version, geometrically proved. This view is very useful for better understanding the underlying logical problems and the need to use transfinite induction in the proof. Similar problems will then be considered, such as the so-called "hydra game".
( Giannattasio Matteo ),( Elena Vendramin ),( Flavio Fornasier ),( Sara Alberghini ),( Marina Zanardo ),( Fabio Stellin ),( Giuseppe Concheri ),( Piergiorgio Stevanato ),( Andrea Ertani ),( Serenella 한국미생물 · 생명공학회 2013 Journal of microbiology and biotechnology Vol.23 No.5
The fermented manure derivative known as Preparation 500 is traditionally used as a field spray in biodynamic agriculture for maintaining and increasing soil fertility. This work aimed at characterizing the product from a microbiological standpoint and at assaying its bioactive properties. The approach involved molecular taxonomical characterization of the culturable microbial community; ARISA fingerprints of the total bacteria and fungal communities; chemical elemental macronutrient analysis via a combustion analyzer; activity assays for six key enzymes; bioassays for bacterial quorum sensing and chitolipooligosaccharide production; and plant hormonelike activity. The material was found to harbor a bacterial community of 2.38 × 108 CFU/g dw dominated by Grampositives with minor instances of Actinobacteria and Gammaproteobacteria. ARISA showed a coherence of bacterial assemblages in different preparation lots of the same year in spite of geographic origin. Enzymatic activities showed elevated values of β-glucosidase, alkaline phosphatase, chitinase, and esterase. The preparation had no quorum sensing-detectable signal, and no rhizobial nod gene-inducing properties, but displayed a strong auxin-like effect on plants. Enzymatic analyses indicated a bioactive potential in the fertility and nutrient cycling contexts. The IAA activity and microbial degradation products qualify for a possible activity as soil biostimulants. Quantitative details and possible modes of action are discussed.