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