Constructibility
From Free net encyclopedia
(Difference between revisions)
| Revision as of 04:17, 28 March 2006 John Reid (Talk | contribs) fix link, rm redundant link ← Previous diff |
Current revision John Reid (Talk | contribs) fix link, rm redundant link |
Current revision
In mathematics, there are several notions of constructibility:
- a point in the Euclidean plane that can be constructed with compass and straightedge. Also, any complex number associated to such a point; see constructible number.
- a regular polygon that can be constructed with compass and straightedge; see constructible polygon.
- a theorem that can be proved by constructivist logic; see mathematical constructivism.
- a set in Kurt Gödel's universe L, which may be constructed by transfinite application of certain constructions in set theory; see constructible universe.
- a process in construction design whereby plans are reviewed by others familiar with construction techniques and materials to assess whether the design is actually buildable. Often referred to as a "Constructibility Review", the process usually occurs prior to the plans being put out for bid.