Computability: Turing, Gödel, Church, and Beyond
In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the... | | Digital Participation and Collaboration in Architectural Design
The emergence of new digital and visualisation technologies in recent years has led to rapid changes in the field of architecture. Current drives to incorporate building information modelling as a part of architectural design are giving way to the increased use of IT and visualisation in architectural design, user participation and... | | |