Definable real number: Difference between revisions

Revision as of 23:30, 19 December 2023

Latest revision as of 02:55, 9 April 2024

(2 intermediate revisions by 2 users not shown)

Line 1:

{{Short description|Real number uniquely specified by description}}

[[File:Square root of 2 triangle.svg|thumb|200px|The [[square root of 2]] is equal to the length of the [[hypotenuse]] of a [[right triangle]] with legs of length 1 and is therefore a '''constructible number''']]

Line 62 ⟶ 63:

* ''[[Entscheidungsproblem]]''

* [[Ordinal definable set]]

* [[Richard's paradox]]

* [[Tarski's undefinability theorem]]

Line 71 ⟶ 73:

<ref name=kunen>{{Citation | last1=Kunen | first1=Kenneth | author1-link=Kenneth Kunen | year=1980 | title=[[Set Theory: An Introduction to Independence Proofs]] | publisher=North-Holland | ___location=Amsterdam | isbn=978-0-444-85401-8 | page=153}}</ref>

<ref name=tsirelson>{{Citation | last1=Tsirelson | first1=Boris | author1-link=Boris Tsirelson | year=2020 | title=Can each number be specified by a finite text? | periodical=WikiJournal of Science | volume=3 | issue=1 | page=8 | doi=10.15347/WJS/2020.008 | doi-access=free | arxiv=1909.11149 | s2cid=202749952 }}</ref>

<ref name=turing>{{Citation | last1=Turing | first1=A. M. | author1-link=Alan Turing | year=1937 | title=On Computable Numbers, with an Application to the Entscheidungsproblem | journal=[[Proceedings of the London Mathematical Society]] | series=2 | volume=42 | issue=1 | pages=230–65 | doi=10.1112/plms/s2-42.1.230 | s2cid=73712 | url=http://www.abelard.org/turpap2/tp2-ie.asp }}</ref>