79 resultados para Computation in architecture

em University of Michigan


Relevância:

100.00% 100.00%

Publicador:

Resumo:

"UILU-ENG 80 1720."-- Cover, p. 1.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms (like "set", "function", and "number") are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare what they mean. We argue for some minimal conditions that must be met if two frameworks are to be compared; if frameworks are radical enough, comparison becomes hopeless. Our aim is to clarify the dialectical situation in this bourgeoning area of research, shedding light on the nature of non-classical logic and the notion of computation alike.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

I. The orders of architecture -- II. Architectural styles of various countries -- III. The nature and principles of design in architecture -- IV. An accurate and complete glossary of architectural terms.

Relevância:

90.00% 90.00%

Publicador:

Resumo:

I. The deteriorative power of conventional art over nations -- II. The unity of art -- III. Modern manufacture and design -- IV. Influence of imagination in architecture -- V. The work of iron in nature, art and policy.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Thesis (M.A. in Architecture)--Univ. of California, Berkeley, Dec. 1917.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Includes bibliographical references.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Continued by the author's: Some account of domestic architecture in England from Richard II. to Henry VIII.