Related Works: Part II: C. T. Chong, Yue Yang. $\Sigma_2$ Induction and Infinite Injury Priority Argument, Part II: Tame $\Sigma_2$ Coding and the Jump Operator. Ann. Pure Appl. Logic, vol. 87, no. 2, 103--116. Mathematical Reviews : MR1490049 Part III: C. T. Chong, Lei Qian, Theodore A. Slaman, Yue Yang. $\Sigma_2$ Induction and Infinite Injury Priority Argument, Part III: Prompt Sets, Minimal Paries and Shoenfield's Conjecture. Mathematical Reviews : MR1818378.

Hungu/ubuntu education philosophy -- Environments for hunhu/ubuntu development -- The role of the school -- Hunhu/ubuntu content -- Teaching strategies for results -- Developing hunhu/ubuntu in the classroom.

We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models. and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey's Theorem for Pairs.

Discussion about the application of scientific knowledge in robotics in order to build people helpers is widespread. The issue herein addressed is philosophically poignant, that of robots that are “people”. It is currently popular to speak about robots and the image of Man. Behind this lurks the dialogical mind and the questions about the significance of an artificial version of it. Without intending to defend or refute the discourse in favour of ‘recreating’ Man, a lesser familiar question is brought forth: (...) “and what if we were capable of creating a very convincible replica of man (constructing a robot-person), what would the consequences of this be and would we be satisfied with such technology?” Thorny topic; it questions the entire knowledge foundation upon which strong AI/Robotics is positioned. The author argues for improved monitoring of technological progress and thus favours implementing weaker techniques. (shrink)

A coordinate-free formulation is established for (semi) classical particle-field interactions. The exterior language of spacetime chains and De-Rham currents enables the description to include extended strings and membranes besides point particles. Treating physical fields in terms of sections of particular bundles, a unified account of interactions is presented in terms of an intrinsic action principle on a bundle of jets over spacetime. The theory is illustrated by considering the specific model of point particles with intrinsic spin covariantly coupled to theU(1) (...) andSL(2, C) connections describing the electromagnetic and gravitational fields, respectively. The notion of dual spin is examined in this context and coupled equations for this particle-field system are explicitly derived in a local chart. Attention is drawn to the global implications of the theory. (shrink)