Revision as of 11:43, 23 May 2021 edit Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 473,886 edits 1938 ← Previous edit		Revision as of 11:44, 23 May 2021 edit undo Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 473,886 edits not for the ref section, but to be mentionned in the text Next edit →
Line 68: * {{Citation\|last1=Hamkins\|first1=Joel David\|last2=Linetsky\|first2=David\|last3=Reitz\|first3=Jonas\|title=Pointwise Definable Models of Set Theory\|arxiv=1105.4597\|journal=Journal of Symbolic Logic\|volume=78\|issue=1\|pages=139–156\|year=2013\|doi=10.2178/jsl.7801090\|s2cid=43689192}}. * {{Citation \| last1=Kunen \| first1=Kenneth \| author1-link=Kenneth Kunen \| title=[[Set Theory: An Introduction to Independence Proofs]] \| publisher=North-Holland \| ___location=Amsterdam \| isbn=978-0-444-85401-8 \| year=1980}}. {{Citation \| last= Turing \| first= A.M. \| publication-date = 1937 \| year = 1936 \| title = On Computable Numbers, with an Application to the Entscheidungsproblem \| periodical = Proceedings of the London Mathematical Society \| series = 2 \| volume = 42 \| issue= 1 \| pages = 230–65 \| url = http://www.abelard.org/turpap2/tp2-ie.asp \| doi= 10.1112/plms/s2-42.1.230 }} ~~(and~~ * {{Citation \| last = Turing \| first = A.M. \| title = On Computable Numbers, with an Application to the Entscheidungsproblem: A correction \| periodical = Proceedings of the London Mathematical Society \| series = 2 \| volume = 43 \| issue = 6 \| pages = 544–6 \| doi = 10.1112/plms/s2-43.6.544 \| year = 1938 }}~~). Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.~~ ==External links==

Definable real number: Difference between revisions