-
Tensors by volume
A visual tour of how volume leads to tensors.
-
Function Types
The function type is the natural evolution of logical implication.
-
Substitution
Substitution seems so obvious that we can be fooled by simple mistakes. Fixing them forces us into a logic and calculus to go with it. This is known as Lambda calculus and the rules we will use are by Curry-Feys. Come along for a playful tour of what goes wrong when we substitute.
-
Types & Programs
Demonstration of mathematical types and programming comparables.
-
Copy of Types of data
-
Copy of Implications with Resources
Some implications involve resources which might not be available. So we cannot always discharge an implication without keeping track of how many times we have the necessary premises. When this happens we simply modify our rules of implication to include counting.
-
Implications with Resources
Some implications involve resources which might not be available. So we cannot always discharge an implication without keeping track of how many times we have the necessary premises. When this happens we simply modify our rules of implication to include counting.
-
False does not lead to truth, but context might
Implication is how we take one truth and turn it into a new one. It is enjoys a special place in science as the reason we do hypotheses and the mechanism to compute. However not everything about this operator is immediately obvious.
-
Logic of OR TRUE AND NOT
We are making our own logic so how hard can it be to make Or, True and Not? Surprises exist because we wont simply be shopping for these concepts already buried somewhere else. We are making them all natural from scratch! While I love these constructs I find them both subtle and worthy of multiple perspectives.
-
Sequent Calculus
Sequent calculus is a language to write logic. It uses few symbols with little to no meaning so that you can introduce just the meaning you want without the burden of all the implied ideas that normal language might provide. In exchange we get symbols which take practice to master.
-
Grammar's role in reasoning & programming
To make sure your logic is understood we go through language, and that means grammar. Fortunately most of logical grammar follows very basic rules.
-
Context for Logic
When you set up an argument you place it in a context and that can make all the difference.
-
Multiple Logics
A quick introduction to different forms of logic and how to recognize them.
-
Why are things different?
Why are things different? Explore the limits of structure and the external reasons for difference.
-
Copy of Programming with Universal Mapping Properties
Using universal mapping properties to prescribe data types and using resulting theory to build useful algorithms.
-
Tensor Contractions & Inflations
Tensors are defined by having contractions and cotensors by inflation. What are these and what do they require?
-
Please Distribute
What makes a tensor?
-
Copy of Open Education Resources
Open Education Resources
-
=
-
Characterizing Characteristic
Characteristic structure is information that does not change under isomorphisms. If you have all the isomorphisms you can verify this property. But we often need characteristic structure to find the isomorphisms: Chick-and-egg problem. This presentation reports on a new result that solve this problem.
-
Applied Combiantors: Intro to Programming Idioms
Many functions we use are built from simpler functions and that explains all the qualities of functions: predictable outputs for example. So where does this process get started? What are primitive functions?
-
Open Education Resources
Open Education Resources
-
Higher Inductive Types
Using universal mapping properties to prescribe data types and using resulting theory to build useful algorithms.
-
Copy of Copy of Tensor Products; Versor Fractions
-
QuantumFuture
A rough idea of how to get into quantum materials, quantum computing, or quantum whatever
-
IsometriesChar2
Intersecting classical groups in characteristic 2 is in P.
-
Programming with Universal Mapping Properties
Using universal mapping properties to prescribe data types and using resulting theory to build useful algorithms.
-
Copy of Tensor & Their Operators
Definitions and properties of tensors, tensor spaces, and their operators.
-
Copy of Tensor Products; Versor Fractions
-
Sub-sub-scripts
Reading mathematics that has subscripts begins rather naturally but can quickly descend into sub-sub-subscripts, relabeling, and lots of errors. A further stress happens when we discover that programming languages don't tolerate subscripts and so we find ourselves rethinking what it is we meant to say. This deck some strategies and the core reason that subscripts can be avoided
-
Tensor Products; Versor Fractions
-
deck
-
Denser Tensor Spaces
Definitions and properties of tensors, tensor spaces, and their operators.
-
Substitution Rules: Curry-Feys
Substitution needs rules. Curry-Feys is one such system and knowing how to substitute properly is worth the work.
-
Primitive functions: Combinators
Many functions we use are built from simpler functions and that explains all the qualities of functions: predictable outputs for example. So where does this process get started? What are primitive functions?
-
Serious Math Asks: What is a function?
When we substitutes values into variables we seem to know intuitively that it makes sense. But with simple constant and identity functions we can soon run into paradoxes. This points at the need to define a theory of substitution known today as lambda-calculus.
-
Image Meta Data
Basic image convolution
-
Substitution: lambda-calculus
Variables and functions, the start of lambda calculus
-
Substitution: Why lambda-calculus?
When we substitutes values into variables we seem to know intuitively that it makes sense. But with simple constant and identity functions we can soon run into paradoxes. This points at the need to define a theory of substitution known today as lambda-calculus.
-
Affine, Linear
-
tensor-iso-quant-matter
-
Geometric Algebra, II
Groups
-
QuickSylver
Linear time solution to simultaneous Sylvester equation solvers.
-
Geometric Algebra
-
Everyday Algebras
-
Algebra Road Map
Where are we going with algebra?
-
Brikhoff-Neumann Theorems
A characterization of varieties.
-
Not true
proving negatives
-
Homomorphisms and Varieties of Algebra
Closure homomorphic images in varieties.
-
Varieties of Algebra
Definitions of varieties.