+ All Categories
Home > Documents > Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever...

Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever...

Date post: 13-Aug-2020
Category:
Upload: others
View: 3 times
Download: 0 times
Share this document with a friend
18
Complexity (a constructor-theore5c view) Chiara Marle:o Wolfson College University of Oxford January 2017
Transcript
Page 1: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Complexity

(aconstructor-theore5cview)ChiaraMarle:oWolfsonCollege

UniversityofOxford

January2017

Page 2: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Impossible (bythe2ndLaw)

Possible (?)

Scale-dependent

Impossible (bytheConservationofEnergy)

Scale-independent

Page 3: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Everylawmustbeexpressedintermsofpredictionsgiventheboundaryconditionsinspace-timeandthedynamicallaws

TheTraditionalConceptionofFundamentalPhysics

Page 4: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

ConstructorTheory

Alllawsofphysicsareexpressedasstatementsaboutwhichtasksarepossible,

whichareimpossibleandwhy

Page 5: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Dynamicallawsandtheoriesoftheinitialconditionscanberetrievedasemergentconsequencesoftheprinciples

ConstructorTheory’slawsareprinciples,constrainingsubsidiarytheories(e.g.QuantumTheory,GeneralRelativity,...)

Page 6: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Input Attributes of Substrates ⇒ Output Attributes of Substrates

ThefundamentalobjectsofConstructorTheoryaretasks,not

constructors!

‘attribute’=setofallstatesinwhichthesubstratehasacertainproperty,accordingtothesubsidiarytheory.

Page 7: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Input Attributes of Substrates ⇒Constructor

Output Attributes of Substrates

Aconstructorforataskisanobjectthat,wheneverpresentedwiththesubstratesinoneoftheinputattributes,deliversthemin(oneof)thecorrespondingoutputattributes,andretainsthepropertyofdoingthisagain.

Page 8: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Ataskisimpossibleifthereisalawofphysicsforbiddingitsbeingperformedtoarbitrarilyhighaccuracy,possibleotherwise

Page 9: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Interoperabilityofinformation Anexampleofascale-independentlaw

Page 10: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Informationmedium:asubstratewithasetofattributesX(aninformationvariable)thatcanbepermutedinallpossiblewaysandthatcanbe‘cloned’

!!

(x,x0)→ (x,x){ }x∈X∪

⎛⎝⎜

⎞⎠⎟✓

x →Π(x)

x∈X∪

⎛⎝⎜

⎞⎠⎟✓

,∀Π

thismeansthatthetaskispossible

Page 11: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

InteroperabilityPrincipleforInformation ThecombinationoftwoinformationmediawithinformationvariablesX1andX2isaninformationmediumwithinformationvariableX1xX2.

Page 12: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

ProgrammableConstructor

VS1

S2

V[Pk]S2

isaconstructorforthetaskTPk.

informationmediumwithinformationvariable{P1,P2,...,Pn},withthepropertythat:

Example:CNot

Constructor

Page 13: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

‘No-design’laws

No-designlawsaresuchthatgenericresourcesareallowedtocontainonlyapproximateconstructorsforelementarytasks.

Genericresources:substratesavailableineffectivelyunlimitednumbers.

Page 14: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

“thetaskofconstructinganobjectXfromgenericresourcesispossible”

isfundamentallydifferentfrom

“theobjectXoccursatsometimet”

Page 15: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

1)Goodapproximationstoconstructorsmustbeprogrammable

Thatataskispossible,underno-designlaws,impliesthat:

2)Theprogramconsistsofasequenceofelementarytasks

3)Von-Neumann’s‘Replicator-Vehiclelogic’isnecessaryforself-reproduction.

Page 16: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Irreversibilityinconstructortheoryisexpressedinscale-independentterms,as: “AtaskTispossibleanditstransposeis

impossible”

Thisirreversibilityiscompatiblewithtime-reversal-symmetriclaws.

Page 17: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Comments:

1) Noneedforprobability

2) Composition(SWAPandunittask)areassumedtobeelementary...but,arethey?

Insummary: Whatemergentlawsaredependsonthemodeofexplanation. Therecanbeexactlawsabout‘complex’systems

Page 18: Complexity (a constructor-theore5c view) · A constructor for a task is an object that, whenever presented with the substrates in one of the input attributes, delivers them in (one

Recommended