© | Dror Bar-Natan: Academic Pensieve: Blackboard Shots: Random

Blackboard Shots with Prefix "Itai"


170427-133704: Universal computation and universal construction (4).

170427-133151: Universal computation and universal construction (3).

170427-132032: Universal computation and universal construction (2).

170427-131558: Universal computation and universal construction.

160908-174303: Haskell's find::(seq->bool)-> maybe seq (2).

160908-171958: Haskell's find::(seq->bool)-> maybe seq.

160815-174841: The continuum hypothesis.

160809-165718: Solving functional equations.

160630-165825: Equality using inductive types.

160623-183218: Inductive types (2).

160623-174538: Inductive types.

160623-171122: Equality (2).

160620-180054: Equality.

160620-170513: Some mathematics using type theory (3).

160614-184048: Some mathematics using type theory (2).

160614-171549: Some mathematics using type theory.

160609-182258: Foundations of type theory (4).

160609-174513: Foundations of type theory (3).

160609-172326: Foundations of type theory (2).

160609-165316: Foundations of type theory.

150520-135657: Hashlife (3).

150520-131454: Hashlife (2).

150520-124817: Hashlife.

150406-202057: The method of super- and sub-solutions (4).

150406-201034: The method of super- and sub-solutions (3).

150406-195911: The method of super- and sub-solutions (2).

150406-191325: The method of super- and sub-solutions.

150320-093318: Hamiltonian Systems (3).

150320-091753: Hamiltonian Systems (2).

150320-090958: Hamiltonian Systems.

120619-141949: Braids and virtual braids, K groups, Hecke algebra.

120417-142851: Noether's theorem in the abstract.

120327-170156: Some divergencies.

120223-140001: Naive type theory.

120216-140830: Meta-cross-products (3).

120216-131219: Meta-cross-products (2).

120214-143438: Meta-cross-products.

120209-153731: Some concordances.

120207-140115: Some homology facts (3).

120202-143145: Some homology facts (2).

120202-133912: Some homology facts.

120202-132109: Graded vector spaces.

120131-141217: Computing the Kauffman bracket.

120131-135041: R2-3 invariance of the Jones polynomial.

120131-134015: R1 invariance of the Jones polynomial.

120126-143127: Lorentz-invariant measures.

120124-142224: Meta-groups (2).

120124-140249: Meta-groups.

120124-131908: Types and measurable cardinals.

120120-092020: QM conventions, generators for finite-index subgroups.

120112-150234: Some Feynman diagrams (2).

120110-161715: Some Feynman diagrams.

111208-142747: Wick's Theorem.

111206-143415: Expectation values in free field theory.

111201-135953: More on type theory (2).

111129-150326: More on type theory.

111122-143445: A theory with a funny parity symmetry.

111122-133728: The invariance of charges, following Coleman Lecture 6.

111108-135138: Something on type theory (2).

111108-131013: Something on type theory.

111011-141803: Schrodinger and Heisenberg equations.

110828-114056: Lie algebras, diagrams, tensors (3).

110828-113602: Lie algebras, diagrams, tensors (2).

110828-111534: Lie algebras, diagrams, tensors.

110828-103225: The stationary phase approximation.

110817-182836: More Gaussian Integration.

110513-171844: Faddeev-Popov.

110510-163113: Abelian Chern-Simons.

110510-155414: Inverting the Laplacian.

110506-184343: A short proof that $\pi(n)\geq C\frac{n}{\log n}$.

110506-162948: Connected sums of KTGs.

110502-215046: Inverting the 1D Laplacian (5).

110502-214220: Inverting the 1D Laplacian (4).

110502-212647: Inverting the 1D Laplacian (3).

110502-211053: Inverting the 1D Laplacian (2).

110502-205711: Inverting the 1D Laplacian.

110429-164427: Gaussian Integration (3).

110429-162742: Gaussian Integration (2).

110429-161818: Gaussian Integration.

110311-181527: Planar curves (3).

110311-175920: Planar curves (2).

110311-173412: Planar curves.

110225-172037: Quadratic reciprocity (4).

110225-170309: Quadratic reciprocity (3).

110218-174953: Quadratic reciprocity (2), Lyndon words and irreducible polynomials.

110218-172029: Quadratic reciprocity.

110211-173057: Germs and 1-forms.

110211-171920: The linking number.

110211-164759: de-Rham and homotopies.

110121-171203: $C_0$ stability of integration of differential forms.

110107-172247: Stokes' Theorem (6).

110107-165202: Stokes' Theorem (5).

101203-180249: Stokes' Theorem (4).

101203-175157: Stokes' Theorem (3).

101203-172425: Stokes' Theorem (2).

101126-170338: Stokes' Theorem.

101119-173814: Finitely generated modules over a PID (2).

101119-171437: Finitely generated modules over a PID.

101105-172903: Braids and pure braids (2).

101105-170940: Braids and pure braids.

101008-173603: Differential forms (3).

101008-172432: Differential forms (2).

101008-165254: Differential forms.

101001-183900: Shaming broken computers (3).

101001-181620: Shaming broken computers (2).

101001-180631: Shaming broken computers.

100514-162239: Excision.

100507-165439: H(X,A) (2).

100507-162751: H(X,A).

100402-163423: The inverse and implicit function theorems (2).

100402-161528: The inverse and implicit function theorems.

100326-171656: Basic homology (3).

100326-162358: Basic homology (2).

100317-174730: Basic homology.

100312-172016: Noether's theorem.

100312-164842: The isoperimetric inequality.

100226-171126: Lagrange multipliers, the discrete Fourier transform.

100226-164655: Lagrange Multipliers (3).

100226-163102: Lagrange Multipliers (2).

100226-161616: Lagrange Multipliers.

100219-170458: The brachistochrone (3).

100219-164733: The brachistochrone (2).

100219-162215: The brachistochrone.

100212-165258: Conservation of energy.

100212-160657: The most general Euler-Lagrange.

100205-165416: The Fourier transform.

100129-165321: What happens to a particle in a harmonic oscillator (8).

100129-164830: What happens to a particle in a harmonic oscillator (7).

100129-163235: What happens to a particle in a harmonic oscillator (6).

100129-161239: What happens to a particle in a harmonic oscillator (5).

100122-170242: Gaussian Integration (5).

100122-164517: Gaussian Integration (4).

100122-163449: Gaussian Integration (3).

100122-162753: Gaussian Integration (2).

100122-161439: Gaussian Integration.

100115-163821: What happens to a particle in a harmonic oscillator (4).

100115-162311: What happens to a particle in a harmonic oscillator (3).

100108-163826: What happens to a particle in a harmonic oscillator (2).

100108-163058: What happens to a particle in a harmonic oscillator.

080526-130314: Bell's inequality.

080418-170631: #P

080411-095902: Mermin's experiment.

080404-174051: Polynomials with prime values; splitting extensions.

080307-093138: Not, nand and error correction.

080229-102814: XOR Life and transistors.

080222-100029: Euler's theorem.

080222-094417: Simple linkages (2).

080125-103323: Simple linkages.