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 |
|
references |
Content-type: text/plain
|
Ahmad, S., et al. (2004)
Design Generation of The Central Asian Caravanserai
, 1st ASCAAD International Conference, e-Design in Architecture, pp. 43–58. KFUPM, Dhahran
|
|
|
|
Chase, S.C. (2002)
A model for user interaction in grammar-based design systems
, Automation in Construction 11, 161–172
|
|
|
|
Chiou, S., Krishnamourti, R. (1995)
The grammatical basis of Chinese traditional architecture
, Languages of design 3, Formalisms for word, Image and sound, pp. 5–31
|
|
|
|
Colakoglou, B. (2002)
An Informal Shape Grammars for Interpolations of Traditional Bosnian Hayat Houses in a Contemporary Context
, Generative Art 2002, 15.1-15.9
|
|
|
|
Dounas, T., Kotsiopoulos, A. (2008)
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
|
|
|
|
Downing, F., Flemming, U. (1981)
The bungalows of Buffalo
, Environment and Planning B: Planning and Design 8, 269–293
|
|
|
|
Downing, F., Flemming, U. (1981)
The bungalows of Buffalo
, Environment and Planning B: Planning and Design 8, 269–293
|
|
|
|
Duarte, J. (2003)
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
|
|
|
|
Flemming, U. (1987)
More than the sum of parts: The grammar of queen Anne houses
, Environment and Planning B: Planning and Design 14, 323–350
|
|
|
|
Gips, J. (1975)
Shape Grammars and their uses, Artificial perception, Shape perception and computer aesthetics
, Birkhauser Verlag, Basel und Stuttgart
|
|
|
|
Gips, J. (1975)
Shape Grammars and their uses, Artificial perception, Shape perception and computer aesthetics
, Birkhauser Verlag, Basel und Stuttgart
|
|
|
|
Gips, J. (1975)
Shape Grammars and their uses, Artificial perception, Shape perception and computer aesthetics
, Birkhauser Verlag, Basel und Stuttgart
|
|
|
|
Gips, J. (1975)
Shape Grammars and their uses, Artificial perception, Shape perception and computer aesthetics
, Birkhauser Verlag, Basel und Stuttgart
|
|
|
|
Jowers, I., Earl, C. (2011)
Implementation of curved shape grammars
, Environment and Planning B: Planning and Design 38, 616–635
|
|
|
|
Koning, H., et al. (1981)
The language of the prairie: Frank Lloyd Wright’s prairie houses
, Environment and Planning B: Planning and Design 8, 295–323
|
|
|
|
Monedero, J. (1999)
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
|
|
|
|
Rao, Z., et al. (2009)
Emergence in Entity Grammar systems
, Kybernetes 38(10), 1856–1861
|
|
|
|
Schön, D. (1983)
The Reflective Practitioner
, Basic Books, New York
|
|
|
|
Stiny, G., Gips, J. (1971)
Shape Grammars and the Generative specification of painting and sculpture
, IFIP Congress 71, Area 7 (Sciences and Humanities: Models and Applications for the Arts)
|
|
|
|
Stiny, G., Mitchell, W.J. (1978)
The Palladian grammar
, Environment and Planning B: Planning and Design 5(1), 5–18
|
|
|
|
last changed |
2014/03/24 07:08 |
|