Machine Native Reasoning

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 [
2   "MachineTheory.Behavior",
3   "MachineTheory.Transfer",
4   "MachineTheory.Correction",
5   "MachineTheory.Instrument",
6   "MachineTheory.Feedback",
7   "MachineTheory.Examples",
8   "MachineTheory.Bayes",
9   "MachineTheory.BayesianLumping",
10   "MachineTheory.Refinement",
11   "MachineTheory.Block02Examples",
12   "MachineTheory.Planning",
13   "MachineTheory.PlanningTransport",
14   "MachineTheory.PlanningSensor",
15   "MachineTheory.PlanningControls",
16   "MachineTheory.Variation",
17   "MachineTheory.ApproximateHistory",
18   "MachineTheory.ApproximateDecision",
19   "MachineTheory.ApproximationExamples",
20   "MachineTheory.ResponseDecision",
21   "MachineTheory.DecisionHistory",
22   "MachineTheory.ResponseExamples",
23   "MachineTheory.Recipient",
24   "MachineTheory.RecipientExecution",
25   "MachineTheory.RecipientExamples",
26   "MachineTheory.HardPareto",
27   "MachineTheory.HardInquiry",
28   "MachineTheory.HardExecution",
29   "MachineTheory.HardSemantics",
30   "MachineTheory.HardExamples",
31   "MachineTheory.HardControls",
32   "MachineTheory.BinaryStructure",
33   "MachineTheory.BinaryDiagnosis",
34   "MachineTheory.BinaryExecution",
35   "MachineTheory.BinaryCertificate",
36   "MachineTheory.BinaryExamples",
37   "MachineTheory.Synthesis",
38   "MachineTheory.SynthesisQuotient",
39   "MachineTheory.SynthesisTrace",
40   "MachineTheory.SynthesisProtocol",
41   "MachineTheory.SynthesisBudget",
42   "MachineTheory.SynthesisExamples",
43   "MachineTheory.PrefixScan",
44   "MachineTheory.OrderedCompiler",
45   "MachineTheory.PrefixSemantics",
46   "MachineTheory.PrefixAdmission",
47   "MachineTheory.PrefixExamples",
48   "MachineTheory.DependencyGraph",
49   "MachineTheory.Revision",
50   "MachineTheory.RevisionReplay",
51   "MachineTheory.RevisionAdmission",
52   "MachineTheory.RevisionExamples",
53   "MachineTheory.RevisionControls",
54   "MachineTheory.ResourcePrices",
55   "MachineTheory.WorkloadPricing",
56   "MachineTheory.PriceExamples",
57   "MachineTheory.PriceRevision",
58   "MachineTheory.Lineage",
59   "MachineTheory.LineageExamples",
60   "MachineTheory.JointReconstruction",
61   "MachineTheory.JointReconstructionExamples",
62   "MachineTheory.LegalQuotient",
63   "MachineTheory.LegalTrace",
64   "MachineTheory.LegalQuotientExamples",
65   "MachineTheory.FiniteFixedPoints",
66   "MachineTheory.SafeEnding",
67   "MachineTheory.SafeEndingPolicies",
68   "MachineTheory.SafeEndingExamples",
69   "MachineTheory.CommonQuotient",
70   "MachineTheory.CommonQuotientInterface",
71   "MachineTheory.DiscrepancyClosure",
72   "MachineTheory.CommonQuotientExamples",
73   "MachineTheory.PositivePackets",
74   "MachineTheory.CoordinatePackets",
75   "MachineTheory.PacketTransport",
76   "MachineTheory.PositivePacketExamples",
77   "MachineTheory.PartitionOccupancy",
78   "MachineTheory.OccupancyBinary",
79   "MachineTheory.OccupancyExamples",
80   "MachineTheory"
81 ]

Back to source controls

Back to Machine Native Reasoning