CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

id cf2013_368
authors Dounas, Theodoros
year 2013
title Some Notes on the Incompleteness Theorem and Shape Grammars
source Global Design and Local Materialization[Proceedings of the 15th International Conference on Computer Aided Architectural Design Futures / ISBN 978-3-642-38973-3] Shanghai, China, July 3-5, 2013, pp. 368-376.
summary The paper presents a critique of the Shape Grammar paradigm viewed through the lens of the incompleteness theorem of Gödel. Shape Grammars have been extensively researched through many lenses. Their productive systemic nature was the focus of the first papers along with more recent treatises in the field while their use in analysis of known building styles has been extensive and a proven mechanism for style analysis. It is surprising though that use of Shape Grammars in actual design in practice however has been minimal. The architectural community has not actively used the paradigm in the design of real buildings, probably because of the rigid analytical approach to style and rules, following from the academic analysis that the paradigm has been subjected to. However I propose that there is another underlying reason, other than the rigid approach to construct a Shape Grammar. The nature of the concurrent application and creation of the rules lies close to the incompleteness theorem of Gödel, that uses a multitude of Turing Machines to prove that a from a set of True Axioms -A- we will never be able to determine if all sentences are true, without having to invent new axioms, outside the initial set -A-, thus unproven in terms of their true or false nature. Negation of this possibility drives us to the conclusion that true Design can never be feature -complete and thus can never be placed in a trusted framework that we all agree or believe it to be the complete truth.
keywords Incompleteness Theorem, Incomputability of Shape Grammars
series CAAD Futures
email theodoros.dounas@xjtlu.edu.cn
references Content-type: text/plain
details citation check to select
100%; open Ahmad, S., et al. (2004) Find in CUMINCAD Design Generation of The Central Asian Caravanserai , 1st ASCAAD International Conference, e-Design in Architecture, pp. 43–58. KFUPM, Dhahran
100%; open Chase, S.C. (2002) Find in CUMINCAD A model for user interaction in grammar-based design systems , Automation in Construction 11, 161–172
100%; open Chiou, S., Krishnamourti, R. (1995) Find in CUMINCAD The grammatical basis of Chinese traditional architecture , Languages of design 3, Formalisms for word, Image and sound, pp. 5–31
100%; open Colakoglou, B. (2002) Find in CUMINCAD An Informal Shape Grammars for Interpolations of Traditional Bosnian Hayat Houses in a Contemporary Context , Generative Art 2002, 15.1-15.9
100%; open Dounas, T., Kotsiopoulos, A. (2008) Find in CUMINCAD Dynamic (Shape) Grammars , CAADRIA 2008 Proceedings of the 13th International Conference on Computer Aided Architectural Design Research in Asia, Chiang Mai, Thailand, April 9-12, pp. 22–28
100%; open Downing, F., Flemming, U. (1981) Find in CUMINCAD The bungalows of Buffalo , Environment and Planning B: Planning and Design 8, 269–293
100%; open Downing, F., Flemming, U. (1981) Find in CUMINCAD The bungalows of Buffalo , Environment and Planning B: Planning and Design 8, 269–293
100%; open Duarte, J. (2003) Find in CUMINCAD A Discursive Grammar for Customizing Mass Housing, The case of Sizá’s houses at Malagueira, Digital Design , 21th eCAADe Conference Proceedings, Graz, Austria, September 17-20, pp. 665–674 (2003), ISBN 0-9541183-1-6
100%; open Flemming, U. (1987) Find in CUMINCAD More than the sum of parts: The grammar of queen Anne houses , Environment and Planning B: Planning and Design 14, 323–350
100%; open Gips, J. (1975) Find in CUMINCAD Shape Grammars and their uses, Artificial perception, Shape perception and computer aesthetics , Birkhauser Verlag, Basel und Stuttgart
100%; open Gips, J. (1975) Find in CUMINCAD Shape Grammars and their uses, Artificial perception, Shape perception and computer aesthetics , Birkhauser Verlag, Basel und Stuttgart
100%; open Gips, J. (1975) Find in CUMINCAD Shape Grammars and their uses, Artificial perception, Shape perception and computer aesthetics , Birkhauser Verlag, Basel und Stuttgart
100%; open Gips, J. (1975) Find in CUMINCAD Shape Grammars and their uses, Artificial perception, Shape perception and computer aesthetics , Birkhauser Verlag, Basel und Stuttgart
100%; open Jowers, I., Earl, C. (2011) Find in CUMINCAD Implementation of curved shape grammars , Environment and Planning B: Planning and Design 38, 616–635
100%; open Koning, H., et al. (1981) Find in CUMINCAD The language of the prairie: Frank Lloyd Wright’s prairie houses , Environment and Planning B: Planning and Design 8, 295–323
100%; open Monedero, J. (1999) Find in CUMINCAD Can a Machine Design? A disturbing recreation of Turing’s Test for the use of architects , Architectural Computing from Turing to 2000 (eCAADe Conference Proceedings), Liverpool, UK, September 15-17, pp. 589–594 (1999) ISBN 0-9523687-5-7
100%; open Rao, Z., et al. (2009) Find in CUMINCAD Emergence in Entity Grammar systems , Kybernetes 38(10), 1856–1861
100%; open Schön, D. (1983) Find in CUMINCAD The Reflective Practitioner , Basic Books, New York
100%; open Stiny, G., Gips, J. (1971) Find in CUMINCAD Shape Grammars and the Generative specification of painting and sculpture , IFIP Congress 71, Area 7 (Sciences and Humanities: Models and Applications for the Arts)
100%; open Stiny, G., Mitchell, W.J. (1978) Find in CUMINCAD The Palladian grammar , Environment and Planning B: Planning and Design 5(1), 5–18

last changed 2014/03/24 06:08
HOMELOGIN (you are user _anon_124289 from group guest) Works Powered by SciX Open Publishing Services 1.002