encyclopedia
search
Constructibility
(Redirected from
Constructible
)
In
mathematics
, there are several notions of
constructibility
:
a
point
in the
Euclidean plane
that can be constructed with
unruled straightedge and compass
. Also, any
complex number
associated to such a point; see
constructible number
.
a
regular polygon
that can be constructed with
unruled straightedge and compass
; 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
.
The contents of this article are licensed from
Wikipedia.org
under the
GNU Free Documentation License
.
How to see
transparent copy
01-04-2007 01:21:04
Search Online Encyclopedia
|
Browse Encyclopedia
|
Dictionary
|
Quotes
|
Legal info