# 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.

- 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
- 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/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
- Distribution of X over Y
- Extreme value theorem
- Increasingly granular measuring stick
- Isometry in metric spaces
- Linear algebra/
- Linear algebra/Change of basis example in two dimensions
- Linear algebra/Classification of operators
- 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
- Reflections on working through Tao's Analysis
- Restricting some class of mathematical objects
- Strength of a mathematical statement
- 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
- Taking inf and sup separately
- Tao's notation for limits
- Tiers of learning in mathematics
- Type checking Pearl's belief propagation notation