This paper summarizes the entire construction process of Guangzhou's new central axis, including planning, design, and decisionmaking. The relationships among master plan, action plan and urban design are discusse...This paper summarizes the entire construction process of Guangzhou's new central axis, including planning, design, and decisionmaking. The relationships among master plan, action plan and urban design are discussed in a practical case. And design principles which should be followed and factors relevant to desirable effect in the urban design for key areas are also explored.展开更多
With a new approach,the general current expressions of two typical second order catalytic reactions are obtained for disk,hemispherical and spherical microelectrodes under steady-state conditions.This approach is base...With a new approach,the general current expressions of two typical second order catalytic reactions are obtained for disk,hemispherical and spherical microelectrodes under steady-state conditions.This approach is based on the concept of reaction layer.For the second order EC' reactions,we also discussed how it is possible to observe pseudo-first order or second order behavior.This consideration allows the study of the fast chemical reactions and systems where the bulk concentrations of the reactants are nearly equal.Regeneration of Fe^(3+)(EDTA) with H_2O_2 was selected as an example of a rapid catalytic reaction.展开更多
Hintikka thinks that second-order logic is not pure logic,and because of Godel's incompleteness theorems,he suggests that we should liberate ourselves from the mistaken idea that first-order logic is the foundatio...Hintikka thinks that second-order logic is not pure logic,and because of Godel's incompleteness theorems,he suggests that we should liberate ourselves from the mistaken idea that first-order logic is the foundational logic of mathematics.With this background he introduces his independence friendly logic(IFL).In this paper,I argue that approaches taking Hintikka’s IFL as a foundational logic of mathematics face serious challenges.First,the quantifiers in Hintikka’s IFL are not distinguishable from Linstrom's general quantifiers,which means that the quantifiers in IFL involve higher order entities.Second,if we take Wright’s interpretation of quantifiers or if we take Hale’s criterion for the identity of concepts,Quine’s thesis that second-order logic is set theory will be rejected.Third,Hintikka's definition of truth itself cannot be expressed in the extension of language of IFL.Since second-order logic can do what IFL does,the significance of IFL for the foundations of mathematics is weakened.展开更多
文摘This paper summarizes the entire construction process of Guangzhou's new central axis, including planning, design, and decisionmaking. The relationships among master plan, action plan and urban design are discussed in a practical case. And design principles which should be followed and factors relevant to desirable effect in the urban design for key areas are also explored.
基金Project supported by the National Natural Science Foundation of ChinaChangchun Institute of Applied Chemistry of Chinese Academy of Sciences.
文摘With a new approach,the general current expressions of two typical second order catalytic reactions are obtained for disk,hemispherical and spherical microelectrodes under steady-state conditions.This approach is based on the concept of reaction layer.For the second order EC' reactions,we also discussed how it is possible to observe pseudo-first order or second order behavior.This consideration allows the study of the fast chemical reactions and systems where the bulk concentrations of the reactants are nearly equal.Regeneration of Fe^(3+)(EDTA) with H_2O_2 was selected as an example of a rapid catalytic reaction.
基金Renmin University of China’s 2018 Fund for Building World-Class Universities(Disciplines).
文摘Hintikka thinks that second-order logic is not pure logic,and because of Godel's incompleteness theorems,he suggests that we should liberate ourselves from the mistaken idea that first-order logic is the foundational logic of mathematics.With this background he introduces his independence friendly logic(IFL).In this paper,I argue that approaches taking Hintikka’s IFL as a foundational logic of mathematics face serious challenges.First,the quantifiers in Hintikka’s IFL are not distinguishable from Linstrom's general quantifiers,which means that the quantifiers in IFL involve higher order entities.Second,if we take Wright’s interpretation of quantifiers or if we take Hale’s criterion for the identity of concepts,Quine’s thesis that second-order logic is set theory will be rejected.Third,Hintikka's definition of truth itself cannot be expressed in the extension of language of IFL.Since second-order logic can do what IFL does,the significance of IFL for the foundations of mathematics is weakened.
