Archives

22-42-rule-01.nb

AlienIntelligence-01.nb

ArealEuclideanEquivalency.nb

Automorphisms-01.nb

AxiomSystems-01.nb

AxiomSystems-02.nb

BellB-01.nb

BellsTheorem-01.nb

BlackHoleDetector2.nb

BlackHoleDetector.nb

BlackHoles-01.nb

BlackHoles-02.nb

BlackHoles-03.nb

BlackHoles-03-WeedWhacking.nb

BlackHoles-04a.nb

BlackHoles-04.nb

BlackHoles-05.nb

BlackHoles-06.nb

BlackHoles-07.nb

BlackHoles-08a.nb

BlackHoles-08.nb

BlackHoles-09.nb

BlackHoles-10a.nb

BlackHoles-10.nb

BlackHoles-11.nb

BlackHoles-12-EnergyConditions.nb

BlackHoles-12.nb

BlogPictures-01.nb

Branchial-01.nb

Branchial-02.nb

Branchial-03.nb

Branchial-04.nb

Branchial-05.nb

Branchial-06.nb

Branchial-07.nb

Branchial-08.nb

Branchial-09-LimitGraphs.nb

Branchial-10.nb

BranchialFoliation-01.nb

BranchialWM-01.nb

BranchialWM-02.nb

BranchialWM-03.nb

BusyBeaver-01.nb

CAFoliations-01-MP.nb

Categories-02.nb

CausalGraphs-01.nb

CausalGraphs-02.nb

CausalGraphs-03.nb

CausalGraphs-04.nb

CausalGraphs-05.nb

CausalGraphs-06.nb

CausalGraphs-07-limits.nb

CausalInvariance-01.nb

CausalInvariance-02.nb

CausalInvariance-03.nb

CausalInvariance-04.nb

CausalInvariance-05.nb

CausalInvariance-06.nb

CausalInvariance-07.nb

CausalInvariance-08-big.nb

CausalInvariance-09.nb

CausalInvariance-10.nb

CausalInvariance-11.nb

CausalInvariance-12a.nb

CausalInvariance-12.nb

CausalInvariance-13.nb

CausalInvariance-14-allAs-02.nb

CausalInvariance-14-allAs.nb

CausalInvariance-14-prizerules.nb

CausalInvariance-15-k3.nb

CausalInvariance-15-k3summary.nb

CausalInvarianceNew.nb

CausalInvarianceTests-JG.nb

CausalMultiwaySystems-01.nb

CausalReconstruction-01.nb

CausalSets-01.nb

Chained-01.nb

Chained-02.nb

Chained-03-MP.nb

Chained-04.nb

Chained-05.nb

Chained-06-withedges.nb

ChainedEnumeration-01.nb

ChordDHT-01-MP.nb

ColoredNetworkPlot-01.nb

ColoredNetworks-01.nb

ColoredNetworks-02.nb

ColoredNetworks-03.nb

ColoredNetworks-04.nb

ColoredNetworks-05.nb

ColoredNetworks-06.nb

ColoredNetworks-07.nb

ColoredNetworks-08.nb

ColoredNetworks-09.nb

ColoredNetworks-10.nb

ColoredNetworks-11.nb

Combinator-19b.nb

Combinator-20.nb

CombinatorProgramming-01.nb

CombinatorProgramming-02.nb

CombinatorProgramming-03.nb

Combinators-01.nb

Combinators-03.nb

Combinators-04.nb

Combinators-05.nb

Combinators-06.nb

Combinators-07.nb

Combinators-08-CausalGraph.nb

Combinators-09.nb

Combinators-17.nb

Combinators-18.nb

Combinators-19a-summary.nb

Combinators-19b.nb

Combinators-19.nb

Combinators-21--ToWM.nb

Combinators-22-causal.nb

Combinators-23-evalorder.nb

Combinators-24.nb

Combinators-25-s7growth.nb

Combinators-26-MW.nb

Combinators-27.nb

Combinators-28.nb

Combinators-29.nb

Combinators-30.nb

Combinators-31.nb

Combinators-32.nb

Combinators-33.nb

Combinators-33r.nb

Combinators-34.nb

Combinators-35-NT.nb

Combinators-36-s7.nb

Combinators-37-local.nb

Combinators-38-s7.nb

Combinators-39-growths.nb

Combinators-39.nb

Combinators-40-growths2.nb

Combinators-40-growths.nb

Combinators-40.nb

Combinators-41.nb

Combinators-41-s9summary.nb

Combinators-42.nb

Combinators-43.nb

Combinators-44b.nb

Combinators-44.nb

Combinators-45.nb

Combinators-46-TreeAutomata-01.nb

Combinators-47-S11etc.nb

Combinators-48.nb

Combinators-49.nb

Combinators-50.nb

Combinators-51-DAG.nb

Combinators-52-models.nb

Combinators-52-proofs.nb

Combinators-53-models.nb

Combinators-54-plus-search.nb

Combinators-55.nb

Combinators-56.nb

Combinators-57-searches.nb

Combinators-58.nb

Combinators-59-parallelinnermost.nb

Combinators-60-lambda-search.nb

Combinators-61-lambdas.nb

Combinators-61.nb

Combinators-62.nb

Combinators-63-integers.nb

Combinators-64-asymptotics.nb

CombinatorsInFindEquationalProof.nb

CombinatorTermination-01.nb

CombinatorTermination-02.nb

CompletionsAndCausalInvariance-JG.nb

Conservation-01.nb

CorrelationFunction-01.nb

CorrelationFunction-02.nb

CTCs-01.nb

CTCs-02.nb

DeadEnds-01.nb

DegreeRandomGraphs-01.nb

DestructiveInterference-01-JG.nb

DestructiveInterference-02.nb

DestructiveInterference-03.nb

DestructiveInterference-04.nb

Dimensions-01.nb

Dimensions-02-formulas.nb

Dimensions-03-Inventory.nb

Dimensions-04.nb

Dimensions-05.nb

Dimensions-06-Search.nb

Dimensions-07-definitions.nb

DimensionsEstimationScheme-01.nb

Disconnected-05.nb

DisconnectedRules-01.nb

Disconnection-02.nb

Disconnection-03.nb

Disconnection-04.nb

DiscreteLorentz-01-MP.nb

DistributedComputing-02.nb

EffectiveCausalInvariance-01.nb

EinsteinEquationCorrections-01.nb

EinsteinEquationCorrections-02.nb

EllipsoidMesh-01.nb

EllipsoidMesh-02.nb

EllipsoidMesh-03.nb

EllipsoidMesh-04.nb

EmpiricalMetamath-01.nb

EmpiricalMetamath-02a.nb

EmpiricalMetamath-02.nb

EmpiricalMetamath-03.nb

EmpiricalMetamath-05.nb

EmpiricalMetamath-06-Euclid.nb

EmpiricalMetamath-07-Euclid.nb

EmpiricalMetamath-08-Euclid.nb

EmpiricalMetamath-09-Euclid.nb

EmpiricalMetamath-10.nb

EmpiricalMetamath-11.nb

EmpiricalMetamath-12-FormalizedMath.nb

EmpiricalMetamath-13.nb

EmpiricalMetamath-14a.nb

EmpiricalMetamath-14.nb

EmpiricalMetamath-15.nb

EmpiricalMetamath-16.nb

EmpirlcalMetamathematics-04-metamath.nb

Emulation-01.nb

EnergyMomentum-01.nb

EntanglementHorizon-01.nb

EntanglementHorizon-02.nb

Equivalences-01.nb

Equivalences-02.nb

Experiments-01.nb

Experiments-02.nb

Explainer-02.nb

FasterThanLight-01.nb

FasterThanLight-02.nb

FasterThanLight-03.nb

FasterThanLight-04.nb

FeatureSpaceImage-01.nb

Fermions-01.nb

FeynmanDiagrams-01.nb

FiniteSize-02.nb

FiniteSize-03.nb

Foliations-01.nb

Foliations-02.nb

Foliations-03-Lines.nb

Foliations-03.nb

Foliations-04.nb

Foliations-05-MP.nb

Foliations-06.nb

Foliations-07-MP.nb

Foliations-08.nb

Formulations-01.nb

Formulations-02.nb

Formulations-03.nb

GenerationalMultiway-01.nb

GenerationalMultiway-02.nb

GenerationalMultiway-03.nb

GenerationalMultiway-04.nb

GenerationalMultiway-05.nb

GenerationalMultiway-06.nb

GenerationalMultiway-07-diagram.nb

GenerationalMultiwaySystems-01.nb

Geodesics-01.nb

Geodesics-02.nb

Geodesics-03.nb

Geodesics-04.nb

Geodesics-05.nb

Geodesics-06.nb

Geodesics-07a.nb

Geodesics-07.nb

Geodesics-08.nb

Geodesics-08s.nb

Geodesics-09.nb

Geodesics-10.nb

Goldenfeld-01.nb

GraphDrawingTweaks-01.nb

GraphFeatures-04.nb

GraphFeatures-05.nb

GraphicsMetricGraphs-01.nb

GraphicsMetricGraphs-02.nb

GraphLayoutRequirements-01-MP.nb

GraphNeighborhoods-01.nb

Graphons-01.nb

GRDerivation-01.nb

GRDerivation-02.nb

GRDerivation-03.nb

GRDerivation-04.nb

GRDerivation-05.nb

GRDerivation-06.nb

GRDerivation-07.nb

GRExperiments-01.nb

Groups-01.nb

Groups-02.nb

Groups-03.nb

GrowthRates-01.nb

HardSphereGas-01.nb

HardSphereGas-02.nb

HexagonalGraph-02.nb

HexagonalTorusGraph-01.nb

Hyperbolic-01.nb

Hyperbolic-02.nb

Hyperbolic-03.nb

Hyperbolic-04.nb

HyperbolicCase.nb

HyperbolicSpace-01.nb

Hyperboloid-01.nb

Hyperboloid-02.nb

HypergraphAutomorphisms-01.nb

HypergraphIsomorphism-01.nb

HypergraphOverlaps-01.nb

HypergraphStructure-01.nb

IntermediatelyBranchingSubstitutionSystem-01.nb

Isabella-03.nb

JailbrokenRulePlot-01.nb

JimGates-01.nb

Knitting-01.nb

Knitting-02.nb

LatticeGraph-01.nb

LieGroupApproximation-01.nb

LieGroupApproximation-02.nb

LinearRecurrences-01.nb

LocalMultiway-01-MP.nb

LocalMultiway-01.nb

LocalMultiwaySystems-01.nb

LocalNeighborhoods-01.nb

ManifoldLimits-01.nb

Manifolds-01.nb

Manifolds-02.nb

Manifolds-03.nb

Manifolds-04.nb

MathAnalogs-01.nb

MathTheorems-01.nb

Meta-01.nb

Metamath-CausalGraph-01.nb

Metamath-Definitions-01.nb

Metamathematics-01.nb

Metamathematics-02.nb

Metamathematics-03.nb

MetaMathematics-04-StringProof.nb

Metamathematics-05.nb

Metamathematics-06.nb

Metamathematics-07.nb

Metamathematics-08.nb

Metamathematics-09.nb

Metamathematics-10.nb

Metamathematics-11.nb

Metamathematics-12.nb

Metamathematics-13.nb

Metamathematics-14.nb

Metamathematics-15.nb

Metamathematics-16-pathlengths.nb

Metamathematics-17-stringtheorems.nb

Metamathematics-18-empirical.nb

Metamathematics-19-causal.nb

Metamathematics-20-empirical.nb

Metamathematics-21-equational.nb

Metamathematics-21.nb

Metamathematics-22a.nb

Metamathematics-22.nb

Metamathematics-23-EquationalMultiway.nb

Metamathematics-24-categorytheory.nb

Metamathematics-25.nb

MetamathematicsSummary-01.nb

Metamath-InterestingTheorems-01.nb

Metamath-LemmaOptimization-01.nb

Metamath-LemmaOptimization-02.nb

Metamath-LongProofs-01.nb

Metamath-Models-01.nb

Metamath-Notes-01.nb

Metamath-Notes-02.nb

Metamath-Propositional-01.nb

MixedDimensions-01.nb

Multimultiway-01.nb

MultipleRules-01.nb

Multispace-02.nb

Multispace-03.nb

Multispace-04.nb

Multispace-05.nb

Multiway--BooleanAlgebra-01.nb

MultiwayCausalGraphs-01.nb

MultiwayCausalGraphs-02.nb

MultiwayCausalGraphs-03.nb

MultiwayCausalGraphs-04.nb

MultiwayCausalGraphs-05.nb

MultiwayCellularAutomata-01.nb

MultiwayCellularAutomata-02.nb

Multiway-Game-01.nb

Multiway-Game-02.nb

Multiway-Game-03.nb

Multiway-Game-04.nb

Multiway-Game-05.nb

Multiway-Game-06.nb

Multiway-Game-07.nb

Multiway-Game-08.nb

MultiwayGames-05.nb

MultiwayGrowthHashSet.nb

Multiway-Numerical-01.nb

Multiway-Numerical-02.nb

Multiway-Numerical-03.nb

Multiway-Numerical-04.nb

Multiway-Numerical-05.nb

Multiway-Numerical-06.nb

Multiway-Numerical-07.nb

Multiway-Numerical-08.nb

Multiway-Numerical-09.nb

MultiwayNumerical-10.nb

MultiwayOperatorSystem-01.nb

MultiwayPaths-01.nb

MultiwaySystem-12.nb

MultiwaySystemGrowth-01.nb

MultiwaySystemGrowth-02.nb

MultiwaySystemGrowth-03a.nb

MultiwaySystemGrowth-03.nb

MultiwaySystemGrowth-04.nb

MultiwaySystems-09.nb

MultiwaySystems-10.nb

MultiwaySystems-11.nb

MultiwaySystems-12a.nb

MultiwaySystems-12.nb

MultiwaySystems-13a.nb

MultiwaySystems-13.nb

MultiwaySystems-14.nb

MultiwaySystems-15-growth.nb

MultiwaySystems-16-NKScode.nb

NamingMaxSpeed-01.nb

NDTM-01.nb

NDTM-02.nb

NDTM-03-Multispace.nb

NDTM-04.nb

NDTM-05.nb

NestedlyRecursive-01.nb

NestedlyRecursive-02.nb

NestedPatterns-01.nb

NKSGraphEvolution-01.nb

NKSGraphEvolution-02.nb

NKS-SSCode-01.nb

NKS-SSCode-02.nb

NonCanonicalPairs-01.nb

NonGrowingRules-01.nb

NonGrowingRules-02.nb

NonGrowthRules-01.nb

NumberTheoreticMultiway-01.nb

Numerology-01.nb

OrderedGraphModelEnumeration-01.nb

Orthogonality-01.nb

Orthogonality-02.nb

Orthogonality-03.nb

Orthogonality-04.nb

OverlapStudy--EdP.nb

PairRates-01.nb

Particle-01.nb

Particle-02-older.nb

PermutationSymmetries-01.nb

PerturbationEffects-01.nb

PerturbationEffects-02.nb

Physics-01.nb

Planarity-03.nb

PlanarRule-02.nb

PlanarRulePictures-01.nb

Posets-01.nb

ProjectivePlane-01.nb

ProofGeodesics-01.nb

Quantum-01.nb

Quantum-02-SW.nb

Quantum-03.nb

Quantum-04-SW.nb

Quantum-05.nb

Quantum-06.nb

Quantum-07.nb

Quantum-08.nb

Quantum-09.nb

Quantum-10.nb

Quantum-11-JG.nb

Quantum-11.nb

QuantumCompilation-01.nb

QuantumEffects-00.nb

QuantumEffects-01.nb

RandomRuleSpace-01.nb

RandomRuleSpace-02.nb

RelativisticLines-01-MP.nb

RicciTensor-01.nb

RobertsonSeymour-01.nb

Rowland-01.nb

RuleEnumeration-56.nb

RulesInText-01.nb

RuleSpaceRelativity-01.nb

Rulial-01-NDTM.nb

Rulial-02-SS.nb

Rulial-03-NDTM.nb

Rulial-04-continuum.nb

Rulial-05-NDTM.nb

Rulial-06-NDTM.nb

Rulial-07-NDTM.nb

Rulial-08-trees.nb

Rulial-09-NDTM.nb

Rulial-10-NDTM.nb

Rulial-11-NDTM.nb

Rulial-12-NDTM.nb

Rulial-13-NDTM.nb

Rulial-14-NDTM.nb

Rulial-15-NDTM.nb

Rulial-16-implications.nb

Rulial-17-NDTM.nb

Rulial-18-NDTM.nb

Rulial-19-CA.nb

Rulial-20-rho.nb

Rulial-21-group.nb

Schwarzchild-01.nb

Schwarzchild-02.nb

ShorAlgorithm-01.nb

ShorAlgorithm-02.nb

ShorAlgorithm-03.nb

ShortestPathsVertices-01.nb

SierpinksiCayleyness-01.nb

Sierpinski-01.nb

Spaces-01.nb

Spaces-02.nb

Spaces-03.nb

Spaces-04.nb

Spaces-05.nb

Spacetime-01.nb

SpacetimeGraphs-01.nb

SpacetimeGraphs-02.nb

Spin-00.nb

Spin-01.nb

Spin-02.nb

SSEnumeration-01.nb

StandardOrderRuleCounting.nb

StringOverlaps-01.nb

StringOverlaps-02-EdP.nb

StringOverlaps-03.nb

StringTermination-01.nb

StrongHyperbolicityTest-01.nb

SubstitutionSystemPaperGraphics-01.nb

Symmetry-01-MP.nb

Symmetry-02.nb

Symmetry-03.nb

Symmetry-04.nb

Symmetry-05-bigrun.nb

Symmetry-05.nb

Symmetry-06.nb

Symmetry-07.nb

Symmetry-08.nb

Symmetry-09.nb

Symmetry-10.nb

Symmetry-11.nb

Symmetry-12-LocalGauge.nb

Symmetry-13-LocalGauge.nb

Symmetry-14-LocalGauge.nb

Symmetry-15-Strings.nb

Symmetry-16.nb

Symmetry-17-LocalSymmetry.nb

Symmetry-18-LocalSymmetry.nb

SymmetryExample-01.nb

TagSystems-01.nb

Tensors-01.nb

Termination-01.nb

Termination-02.nb

Termination-03.nb

TrivalentGraphs-01.nb

TrivalentGraphs-02.nb

TuringMachineGroup.nb

Uniqifcation-02.nb

Uniquification-01.nb

Units-01.nb

Units-02.nb

Units-03.nb

Units-04.nb

UnorderedHypergraphCode-01.nb

UnorderedHypergraphs-01.nb

UnorderedHypergraphs-02.nb

UnorderedHypergraphs-03.nb

UnorderedHypergraphs-04.nb

UnorderedHypergraphs-05.nb

VacuumEnergy-01.nb

WeakConfluence-01.nb

WeightedMultiwaySystems-01.nb

WeightedMultiwaySystems-02.nb

WeightedMultiwaySystems-03.nb

WeightedMultiwaySystems-04.nb

WeightedMultiwaySystems-05-longrun.nb

WFRDemo-01.nb

WMCausalInvariance-01.nb

WMCausalInvariance-02.nb

WMCausalInvariance-03.nb

WMCausalInvariance-05.nb

WMCausalInvariance-06.nb

WMCausalInvariance-06-search.nb

WMCausalInvariance-08-search.nb

WMCausalInvariance-08-summary.nb

WMCausalInvariance-09.nb

WMCausalInvariance-10.nb

WMEventStyles-01.nb

WMUnification-01.nb

YoungToPoset---edp.nb