Robot free will

We introduce the perspex machine which unifies projective geometry and Turing computation and results in a supra-Turing machine. We show two ways in which the perspex machine unifies symbolic and non-symbolic AI. Firstly, we describe concrete geometrical models that map perspexes onto neural networks, some of which perform only symbolic operations. Secondly, we describe an abstract continuum of perspex logics that includes both symbolic logics and a new class of continuous logics. We argue that an axiom in symbolic logic can be the conclusion of a perspex theorem. That is, the atoms of symbolic logic can be the conclusions of sub-atomic theorems. We argue that perspex space can be mapped onto the spacetime of the universe we inhabit. This allows us to discuss how a robot might be conscious, feel, and have free will in a deterministic, or semi-deterministic, universe. We ground the reality of our universe in existence. On a theistic point, we argue that preordination and free will are compatible. On a theological point, we argue that it is not heretical for us to give robots free will. Finally, we give a pragmatic warning as to the double-edged risks of creating robots that do, or alternatively do not, have free will.

Intersections of Jane Jacobs’ conditions for diversity and low-carbon urban systems: a look at four global cities

Countless cities are rapidly developing across the globe, pressing the need for clear urban planning and design recommendations geared towards sustainability. This article examines the intersections of Jane Jacobs’ four conditions for diversity with low-carbon and low-energy use urban systems in four cities around the world: Lyon (France), Chicago (United-States), Kolkata (India), and Singapore (Singapore). After reviewing Jacobs’ four conditions for diversity, we introduce the four cities and describe their historical development context. We then present a framework to study the cities along three dimensions: population and density, infrastructure development/use, and climate and landscape. These cities differ in many respects and their analysis is instructive for many other cities around the globe. Jacobs’ conditions are present in all of them, manifested in different ways and to varying degrees. Overall we find that the adoption of Jacobs' conditions seems to align well with concepts of low-carbon urban systems, with their focus on walkability, transit-oriented design, and more efficient land use (i.e., smaller unit sizes). Transportation sector emissions seems to demonstrate a stronger influence from the presence of Jacobs' conditions, while the link was less pronounced in the building sector. Kolkata, a low-income, developing world city, seems to possess many of Jacobs' conditions, while exhibiting low per capita emissions - maintaining both of these during its economic expansion will take careful consideration. Greenhouse gas mitigation, however, is inherently an in situ problem and the first task must therefore be to gain local knowledge of an area before developing strategies to lower its carbon footprint.