User:IssaRice

I am Issa Rice. If you have feedback about a page I wrote, you can contact me.

All my contributions to this wiki are released to the public domain according to the CC0 Public Domain Dedication.

My userspace pages are listed below. I use userspace for content that isn't really related to machine learning, but where I still want to write the page in MediaWiki markup. The idea is that at some point in the future, there will be some domain-specific wiki where the page fits. I also have even more wiki pages at https://wiki.issarice.com/wiki/Special:AllPages (not about math).

• AI safety/
• AI safety/Asymmetry of risks
• AI safety/Bostrom writing style
• AI safety/Distribution of AI failures leading up to AGI
• AI safety/History of Paul Christiano's views
• AI safety/Issa's stupid questions about AI safety
• AI safety/Possibility of act-based agents
• Additivity of small risks
• Adherent point and limit point
• Adverb negative adjective
• An induction proof that does not use the induction hypothesis
• Analogous results between subfields of math
• Aumann's agreement theorem
• Belief propagation and cognitive biases
• Belief propagation two coins and a bell example
• Beta distribution
• Boundedness theorem for continuous functions
• Chain rule proofs
• Changes to the return after adding a constant to rewards
• Chi-squared distribution
• Colon-equals allows directionality
• Computability and logic/
• Computability and logic/Bounded computation trick
• Computability and logic/Characteristic function of a semirecursive set
• Computability and logic/Characterization of recursively enumerable sets
• Computability and logic/Comparison of concepts in computability theory
• Computability and logic/Comparison of intuitive notions of computability and proof
• Computability and logic/Computability of the uncountable
• Computability and logic/Decrement command in loop programs
• Computability and logic/Diagonalization lemma
• Computability and logic/Diagonalization lemma (Yanofsky method)
• Computability and logic/Diagonalization out of a class
• Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle
• Computability and logic/Entscheidungsproblem
• Computability and logic/Expresses versus captures
• Computability and logic/First graph principle using a semirecursive relation
• Computability and logic/Function versus algorithm
• Computability and logic/Gödel's completeness theorem
• Computability and logic/Index and program
• Computability and logic/Intended interpretation versus all interpretations
• Computability and logic/Intuitiveness and simplicity tradeoff
• Computability and logic/K (set of natural numbers)
• Computability and logic/K is recursively enumerable
• Computability and logic/Least search operator
• Computability and logic/List of possibilities for completeness and decidability
• Computability and logic/Logic versus theory
• Computability and logic/Model as the representation and as that which is represented
• Computability and logic/Models symbol
• Computability and logic/Motivation for encoding
• Computability and logic/Property table of theories of arithmetic
• Computability and logic/Rogers fixed point theorem using Sipser's notation
• Computability and logic/Semantic completeness
• Computability and logic/Sipser's quine in Python
• Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
• Computability and logic/Summary table of sets in computability
• Computability and logic/S–m–n theorem
• Computability and logic/Theory
• Computability and logic/Uniformity
• Conjunction of subset statements versus Cartesian product subset statement
• Construction of the real numbers
• Convex function
• Degree of polynomial
• Distribution of X over Y
• Ergodicity
• Exponential distribution
• Extreme value theorem
• Faulty mathematical induction proof example
• Formalizing adjustment of epsilons
• Fundamental theorem of calculus
• Gamma distribution
• Generators and relations of dihedral groups
• Implementation details in math
• Increasingly granular measuring stick
• Isometry in metric spaces
• Lebesgue number lemma and Tao's proof that sequential compactness implies covering compactness
• Lebesgue theory
• Linear algebra/
• Linear algebra/A matrix is only similar to itself if and only if it is a scalar multiple of the identity matrix
• Linear algebra/Change of basis example in two dimensions
• Linear algebra/Classification of operators
• Linear algebra/Deriving projection formula and equivalent formulas for dot product
• Linear algebra/Determinant as signed volume of transformation
• Linear algebra/Determinant of matrix equals product of eigenvalues
• Linear algebra/Dual basis
• Linear algebra/Dual space of vector space of polynomials
• Linear algebra/Equivalent statements for injectivity and surjectivity
• Linear algebra/Geometry of linear transformations
• Linear algebra/How to remember the projection formula
• Linear algebra/Invertible equals expressible as change of coordinate matrix
• Linear algebra/Linear transformation vs matrix views
• Linear algebra/List of matrix products
• Linear algebra/Matrix of a linear transformation
• Linear algebra/Outline of linear algebra
• Linear algebra/Properties of a list of vectors and their images
• Linear algebra/Properties preserved under various operations to a matrix
• Linear algebra/Rank
• Linear algebra/Rank of polynomial matrix is constant everywhere except possibly at finitely many points
• Linear algebra/Riesz representation theorem
• Linear algebra/Singular value decomposition
• Linear algebra/Trace of matrix equals sum of eigenvalues
• Linear algebra/Type checking vector spaces
• List of mathematical difficulties
• List of probability distributions
• Little o notation
• Logical induction notation
• Logical inductor construction
• Math resources I like
• Mental representations in mathematics
• Metric space completion
• Metropolis–Hastings algorithm
• Minus notation in game theory
• Monte Carlo tree search
• Moral public goods example
• Multiplicative process
• One-dimensional wave equation
• Pareto distribution
• Partial order summary table
• Poisson distribution
• Proof that assumes the trick
• Pythagorean theorem, law of cosines, angle between vectors, and inner product
• Random variable switching trick
• Reflections on working through Tao's Analysis
• Restricting some class of mathematical objects
• Reviews of undergraduate real analysis books
• Schröder–Bernstein theorem
• Scoring rule
• Self-sampling assumption with large reference class in sleeping beauty
• Shapley value
• Strength of a mathematical statement
• Stringing together relations and binary operations
• Subfield of math as study of concepts preserved under transformation
• Subfield of math that is best for introducing proofs
• Subsets of the reals that can define their own convergence
• Summary of counting techniques
• Taking inf and sup separately
• Tao's notation for limits
• Tiers of learning in mathematics
• Two envelopes problem
• Type checking Pearl's belief propagation notation