# User:IssaRice

From Machinelearning

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.

- AI safety/
- AI safety/Asymmetry of risks
- AI safety/Bostrom writing style
- AI safety/Comparison of terms related to agency
- AI safety/Distribution of AI failures leading up to AGI
- AI safety/History of Paul Christiano's views
- AI safety/Intelligence amplification
- AI safety/Issa's stupid questions about AI safety
- AI safety/List of critiques of iterated amplification
- AI safety/Possibility of act-based agents
- AI safety/Whole brain emulation
- Adherent point and limit point
- Adverb negative adjective
- Aumann's agreement theorem
- Belief propagation and cognitive biases
- Belief propagation two coins and a bell example
- Boundedness theorem for continuous functions
- Chain rule proofs
- 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 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/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
- Degree of polynomial
- Distribution of X over Y
- Extreme value theorem
- 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
- Linear algebra/
- 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/Dual basis
- Linear algebra/Equivalent statements for injectivity and surjectivity
- 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/Rank
- Linear algebra/Riesz representation theorem
- Linear algebra/Type checking vector spaces
- Little o notation
- Logical induction notation
- Logical inductor construction
- Mental representations in mathematics
- Minus notation in game theory
- Multiplicative process
- Proof that assumes the trick
- Pythagorean theorem, law of cosines, angle between vectors, and inner product
- Reflections on working through Tao's Analysis
- Restricting some class of mathematical objects
- 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