17 views

Uploaded by DervinVictorianoBremont

nothing no do

save

- [Michel Meyer (Auth.), Michel Meyer (Eds.) Retoric
- What Numbers Could Not Be (1)
- G#B -CLOSED SETS IN TOPOLOGICAL SPACES.
- The Theory of Evidence
- Coefficient Estimate for a Subclass of Close to Convex Functions
- On a Certain Family of Meromorphic P- Valent Functions
- origins of mathematical induction short
- Discrete Mathematics for Computer Science_Proof - Wikiversity
- Angle
- 04 Indonesian Scholars Journal Template Final 1 a4
- A NOTE ON GÖDEL´S THEOREM
- Euclidean Geometry Proofs PDF
- New Scientist the Collection December 2017
- Chapter 11
- Benacerraf What Numbers Could Not Be
- Kang Kilpatrick Didactic Transposition in Mathematics
- Great Thinkers, Great Theorems (Description)
- onthology
- Mathematical Explanation
- Generalized Numeration Base
- Scientia Magna Vol 2 No 3
- Ono K & Penniston D - Congruences for 3F2 Hyper Geometric Functions Over Finite Fields - Illinois J. Math. 46 (2002) No.3 Fall 679-684
- ride the light.txt
- Shulman, Homotopy Type Theory - The Logic of Space
- project part ii final draft
- 2014-04
- Important Algorithms
- Euclid and Beyond PDF
- Lolli
- Smarandache – R-Module and BF-Algebras
- Programa Prep Math Revisado
- 1 - Datos.pdf
- 4 - Three Part Invention.pdf
- 3 - Cómo Interpretar Un Texto Científico _ Descubre Fundación UNAM
- 12 - Little Harmonic Labyrinth
- 11- Consistency Completeness and Geometry
- smellstorefactorings.pdf
- Dialnet-LaCalidadDelServicioDeUnCentroDeInformacion-3664564.pdf
- 13 - Recursive Structures and Processes
- Guia Didactica Unidad 4
- 2 - Tipos de Datos - Medwave
- 3 - Fundamentos de la investigacion.pdf
- big-o-cheatsheet.pdf
- Ejemlo Factura WIND
- Guia Didactica Unidad 4
- 4 - Three Part Invention
- 15 - The Location of Meaning
- Escrito de logica
- Escritos de logica
- Resumen Nociones de Álgebra Abstracta
- 02-C Sharp Basico Parte III V2.0
- Appreciating Math Structure
- Math Fundamentals
- Clases
- A Practical Guide to Study Skills
- Mathematics Workbook - Guide for Math Admi
- 02-C Sharp Basico Parte III V2.0.pptx
- (4) What Are the Mathematics Needed for Pursuing a PhD in Theoretical Computer Science and Specifically in Algorithm Research_ - Quora
- MATS University, Engineering, MBA, IT, Law College in Raipur CG

You are on page 1of 4

**Chapter III: Figure and Ground
**

What is the sound of one hand clapping? – Zen Koan

9.1

Abstract

**The distinction between ﬁgure and ground in art is compared to the distinction between theorems
**

and nontheorems in formal systems. The question “Does a ﬁgure neccessarily contain the same

information as its ground” leads to the distinction between recursively enumerable sets and recursive

sets.GEB pp. ix

9.2

Primes vs. Composites

9.3

The tq-System

**AXIOM SCHEMA: xt-qx is an axiom, whenever x is a hyphen-string. RULE OF INFERENCE:
**

Suppose that x, y,and z are all hyphen-strings. And suppose that xtyqz is an old theorem. Then,

xty-qzx is a new theorem.

9.4

Capturing Compositeness

RULE: Suppose x, y, and z are hyphen-strings. If x-ty-qz is a theorem, then Cz is a theorem.

9.5

Illegally Characteriziing Primes

**PROPOSED RULE: Suppose x is a hyphen-string. If Cx is not a theorem, then Px is a theorem.
**

Why is this “illegal”?

9.6

Figure and Ground

**Applications to art. How important is recognizable in both math, art, and music to ﬁgure and
**

gound?

34

9. Does it? Trans late the axioms to arithmetic statements. then the set is recursive. and you want to determine out of all things in the universe.9 Primes as Figure Rather than Ground AXIOM SCHEMA: xyDNDx where x and y are hyphen-strings. and (c) rule of produc tion.65 into arithmetic statements. so is zDF .9.. 9. which ones are members of that original collection (set). then zDFx. Which stated more formally says There exist recursively enumerable sets which are not recursive and ﬁnally that There exist formal systems for which there is no typographical decision procedure.-. AXIOM: P . imagine you have a collection of things (a set). then Pz..is a theorem. To understand what recursive means. by naming the (a) legal symbols. (b) axiom(s). Why is the rule of inference from of the tq-system arithmetically reasonable? 35 . Composites in the tq.DNDz is a theorem. RULE: If z-DFz is a theorem and. The hot tamale is that (GEB pp. RULE: If zDFx is a theorem and also x. but still connected.1 Primes vs. Deﬁne the tq-system.10. RULE: If . 9. Hofstadter claims that the tq-system is supposed to capture multiplication.is a theorem. but would you have trouble listing which of the ﬁrst 30 positive integers are prime numbers and which are composite numbers? 2.systems 1. If there is an algorithm or a set of intstructions which can determine membership of a set in ﬁnite time.DNDz is a theorem.. Translate the three theorems shown on p. 4.10 Study Questions More speciﬁcs. RULE: If xDNDy is a theorem. Recursive Sets So what is recursive? It is diﬀerent than the tool for thinking we introduced a while ago. then so is xDNDxy.7 Figure and Ground in Music What music is recursive? 9. 3. Don’t do it. all in symbolic form.8 Recursively Enumberable Sets vs. 72) There exist formal systems whose negative space (set of non-theorems) is not the positive space (set of theorems) of any formal system.

p.494.3 Figure and Ground 1.702. What is the arithmetic meaning of the new rule. playmate. Explain Figure 18 as you understand it to your roommate. What is the symbol. Draw a Venn diagram that shows both the relationship between the two and the meaning of the statement on p.10. shipmate. 2. what would be “cursively un drawable” or “uncursively drawable”?) and “recursive” on p. This is very important! 36 .68 “There exist cursively drawable ﬁgures that are not recursive” 3.10. as it relates to what weve done so far. You might also compare this ﬁgure with the one on p. soul mate. and what is the complete set of allowed symbols for what the new C-system? Are you of the opinion that variables ought to be included in the list? 2. and how does it capture compositeness? Why does the new rule have the two hyphens in it? Wouldn’t x t y q z work just as well to express compositeness? (Think of a special case) 9.2 Capturing Compositeness and Illegally Characterizing Primes 1. . Comment on the Smoke Signal drawing. Hofstadter implicitly introduces a new symbol into the tq-system in order to state a new RULE. What puzzle does Fig.9.67. or even a random passerby. Consider the deﬁnitions of “cursively drawable” (by the way. 17 solve? Do you see that it solves it? 4. Try to see a message that says “Ceci n’est pas un message” (meaning “This is not a message”).

Bach: A Mental Space Odyssey Summer 2007 For information about citing these materials or our Terms of Use.edu/terms. Escher.MIT OpenCourseWare http://ocw.mit. visit: http://ocw. .mit.edu Gödel.

- [Michel Meyer (Auth.), Michel Meyer (Eds.) RetoricUploaded byLapsana Molla
- What Numbers Could Not Be (1)Uploaded bydavid199415
- G#B -CLOSED SETS IN TOPOLOGICAL SPACES.Uploaded byIJAR Journal
- The Theory of EvidenceUploaded byLukas Nabergall
- Coefficient Estimate for a Subclass of Close to Convex FunctionsUploaded bybucurradu_pl
- On a Certain Family of Meromorphic P- Valent FunctionsUploaded byAlexander Decker
- origins of mathematical induction shortUploaded byapi-350442263
- Discrete Mathematics for Computer Science_Proof - WikiversityUploaded byOO;
- AngleUploaded bySheila Putri Syarah
- 04 Indonesian Scholars Journal Template Final 1 a4Uploaded byMohammad Sholehuddin Hambali
- A NOTE ON GÖDEL´S THEOREMUploaded byAnonymous Gl4IRRjzN
- Euclidean Geometry Proofs PDFUploaded byRichard
- New Scientist the Collection December 2017Uploaded byBruna Giovannini
- Chapter 11Uploaded bychessgeneral
- Benacerraf What Numbers Could Not BeUploaded bybenfl92
- Kang Kilpatrick Didactic Transposition in MathematicsUploaded bydpapalia3744
- Great Thinkers, Great Theorems (Description)Uploaded bydrilling moneytree
- onthologyUploaded byOlusegun Latinwo
- Mathematical ExplanationUploaded bygloize56
- Generalized Numeration BaseUploaded byscience2010
- Scientia Magna Vol 2 No 3Uploaded byscience2010
- Ono K & Penniston D - Congruences for 3F2 Hyper Geometric Functions Over Finite Fields - Illinois J. Math. 46 (2002) No.3 Fall 679-684Uploaded byRenee Bravo
- ride the light.txtUploaded byCainã Silva Coutinho
- Shulman, Homotopy Type Theory - The Logic of SpaceUploaded byJason Payne
- project part ii final draftUploaded byapi-238828985
- 2014-04Uploaded byRajendra Kumar
- Important AlgorithmsUploaded byyasharmaster
- Euclid and Beyond PDFUploaded byMatt
- LolliUploaded byManuj Narang
- Smarandache – R-Module and BF-AlgebrasUploaded byscience2010

- Programa Prep Math RevisadoUploaded byDervinVictorianoBremont
- 1 - Datos.pdfUploaded byDervinVictorianoBremont
- 4 - Three Part Invention.pdfUploaded byDervinVictorianoBremont
- 3 - Cómo Interpretar Un Texto Científico _ Descubre Fundación UNAMUploaded byDervinVictorianoBremont
- 12 - Little Harmonic LabyrinthUploaded byDervinVictorianoBremont
- 11- Consistency Completeness and GeometryUploaded byDervinVictorianoBremont
- smellstorefactorings.pdfUploaded byDervinVictorianoBremont
- Dialnet-LaCalidadDelServicioDeUnCentroDeInformacion-3664564.pdfUploaded byDervinVictorianoBremont
- 13 - Recursive Structures and ProcessesUploaded byDervinVictorianoBremont
- Guia Didactica Unidad 4Uploaded byDervinVictorianoBremont
- 2 - Tipos de Datos - MedwaveUploaded byDervinVictorianoBremont
- 3 - Fundamentos de la investigacion.pdfUploaded byDervinVictorianoBremont
- big-o-cheatsheet.pdfUploaded byDervinVictorianoBremont
- Ejemlo Factura WINDUploaded byDervinVictorianoBremont
- Guia Didactica Unidad 4Uploaded byDervinVictorianoBremont
- 4 - Three Part InventionUploaded byDervinVictorianoBremont
- 15 - The Location of MeaningUploaded byDervinVictorianoBremont
- Escrito de logicaUploaded byDervinVictorianoBremont
- Escritos de logicaUploaded byDervinVictorianoBremont
- Resumen Nociones de Álgebra AbstractaUploaded byDervinVictorianoBremont
- 02-C Sharp Basico Parte III V2.0Uploaded byDervinVictorianoBremont
- Appreciating Math StructureUploaded byDervinVictorianoBremont
- Math FundamentalsUploaded byDervinVictorianoBremont
- ClasesUploaded byDervinVictorianoBremont
- A Practical Guide to Study SkillsUploaded byDervinVictorianoBremont
- Mathematics Workbook - Guide for Math AdmiUploaded byDervinVictorianoBremont
- 02-C Sharp Basico Parte III V2.0.pptxUploaded byDervinVictorianoBremont
- (4) What Are the Mathematics Needed for Pursuing a PhD in Theoretical Computer Science and Specifically in Algorithm Research_ - QuoraUploaded byDervinVictorianoBremont
- MATS University, Engineering, MBA, IT, Law College in Raipur CGUploaded byDervinVictorianoBremont