# User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

- 23:36, 18 October 2019
(diff | hist) . .
**(+1,748)** . . N User:IssaRice/Boundedness theorem for continuous functions (Created page with "There are two typical proofs of the boundedness theorem: * one uses just the least upper bound property * the other uses some sequences machinery (Bolzano-Weierstrass theorem...") (current) - 22:11, 5 October 2019
(diff | hist) . .
**(+1,264)** . . N User:IssaRice/AI safety/Possibility of act-based agents (Created page with " "If a predictor can predict a system containing consequentialists (e.g. a human in a room), then it is using some kind of consequentialist ma...") - 21:58, 5 October 2019 (diff | hist) . . (+116) . . N User:IssaRice/AI safety/List of critiques of iterated amplification (Created page with "{| class="sortable wikitable" ! Critique !! Links making this critique !! Paul's response !! Resolution status |- |}")
- 20:38, 4 October 2019 (diff | hist) . . (+291) . . N User:IssaRice/AI safety/History of Paul Christiano's views (Created page with "https://www.greaterwrong.com/posts/9zpT9dikrrebdq3Jf/will-humans-build-goal-directed-agents/comment/JzYRLCdjxD2Cuqfgu -- i'd like to get the date ranges for each of these view...") (current)
- 08:13, 27 September 2019 (diff | hist) . . (+451) . . N User:IssaRice/AI safety/Bostrom writing style (Created page with ""I think there is a possible culture where people say a bunch of inside-view things, and run with speculations all the time, and another possible culture where people mostly o...") (current)
- 20:59, 7 September 2019
(diff | hist) . .
**(+527)** . . N User:IssaRice/Implementation details in math (Created page with "ideas similar to software engineering's "implementation details" come up quite often in math, when we are constructing/defining certain objects: * constructing number systems...") (current) - 20:52, 7 September 2019 (diff | hist) . . (+37) . . N User:IssaRice/AI safety/Intelligence amplification (Created page with "https://nickbostrom.com/cognitive.pdf") (current)
- 03:44, 7 September 2019
(diff | hist) . .
**(+2,674)** . . N User:IssaRice/AI safety/Issa's stupid questions about AI safety (Created page with "* there's a bunch of different considerations that people talk about (like different takeoff scenarios, comparisons to nuclear arms control, etc.) and it's unclear to me how t...") - 00:41, 6 September 2019 (diff | hist) . . (+236) . . N User:IssaRice/AI safety/Whole brain emulation (Created page with "==Different kinds of WBE== * hi-fi * lo-fi ==Distinction between magically obtaining and the expected ways of obtaining== ==Timelines== * how many years to WBE under a "de...")
- 01:01, 3 September 2019 (diff | hist) . . (+115) . . N User:IssaRice/AI safety/Asymmetry of risks (Created page with "https://www.greaterwrong.com/posts/aPwNaiSLjYP4XXZQW/ai-alignment-open-thread-august-2019/comment/moZS7T7gGYnTxkqDJ") (current)
- 00:56, 3 September 2019
(diff | hist) . .
**(+537)** . . N User:IssaRice/AI safety/Distribution of AI failures leading up to AGI (Created page with "'''Distribution of AI failures leading up to AGI''' refers to how many and how severe AI-related failures are, in the period leading up to AGI. Each "failure event" has sever...") - 00:47, 3 September 2019 (diff | hist) . . (+117) . . N User:IssaRice/AI safety/ (Created page with "Index of pages in this directory: {{Special:PrefixIndex/User:IssaRice/AI_safety/ | hideredirects=1 | stripprefix=1}}") (current)
- 22:47, 2 September 2019 (diff | hist) . . (+221) . . N User:IssaRice/AI safety/Comparison of terms related to agency (Created page with "{| class="wikitable" ! Term !! Opposite |- | Agent || |- | Optimizer, optimization process || |- | consequentialist || |- | expected utility maximizer || |- | goal-directed, g...")
- 00:19, 1 September 2019
(diff | hist) . .
**(+548)** . . N Bellman equation derivation (Created page with "Bellman equation for <math>v_\pi</math>. We want to show <math>v_\pi(s) = \sum_a \pi(a \mid s) \sum_{s',r} p(s',r\mid s,a) [r + \gamma v_\pi(s')]</math> for all states <math>...") - 01:54, 28 August 2019
(diff | hist) . .
**(+2,010)** . . N User:IssaRice/Two envelopes problem (Created page with "https://en.wikipedia.org/wiki/Two_envelopes_problem {| class="wikitable" ! Step !! Wikipedia !! Formal version |- | 1 || I denote by ''A'' the amount in my selected envelope....") - 05:24, 20 August 2019
(diff | hist) . .
**(+1,270)** . . N User:IssaRice/Computability and logic/Motivation for encoding (Created page with "The idea of numbering things/encoding things comes up a lot in computability and logic, but many books don't really seem to discuss why we do this in the first place (the answ...") - 18:09, 16 August 2019
(diff | hist) . .
**(+3,164)** . . N User:IssaRice/Lebesgue number lemma and Tao's proof that sequential compactness implies covering compactness (Created page with "One typical statement of the Lebesgue number lemma is the following: Let <math>(X,d)</math> be a metric space, and let <math>Y</math> be a subset of <math>X</math>. Let <math>...") - 07:34, 15 August 2019
(diff | hist) . .
**(+1,927)** . . N User:IssaRice/Linear algebra/Deriving projection formula and equivalent formulas for dot product (Created page with "This is based on the symmetry argument given in https://www.youtube.com/watch?v=LyGKycYT2v0 Let <math>u</math> and <math>v</math> be vectors. We want to figure out how to pro...") - 02:12, 14 August 2019
(diff | hist) . .
**(+652)** . . N User:IssaRice/Summary of counting techniques (Created page with "Let <math>A</math> be a set with <math>n</math> elements, and let <math>B</math> be a set with <math>m</math> elements. {| class="wikitable" ! Description !! Set representing...") - 01:07, 14 August 2019
(diff | hist) . .
**(+1,737)** . . N User:IssaRice/Linear algebra/Equivalent statements for injectivity and surjectivity (Created page with "Let <math>A</math> be an <math>m \times n</math> matrix. {| class="wikitable" ! Injective !! Surjective !! Bijective |- | <math>A</math> is injective || <math>A</math> is sur...") - 06:30, 10 August 2019
(diff | hist) . .
**(+1,411)** . . N Translating informal probability statements to formal counterparts (Created page with "(inspired by how Aluffi explains universal properties in ''Algebra: Chapter 0'') I think probability is one of the fields in math where people who have learned the subject of...") - 04:12, 4 August 2019
(diff | hist) . .
**(+1,059)** . . N User:IssaRice/Pythagorean theorem, law of cosines, angle between vectors, and inner product (Created page with "There is something peculiar about the dependency of the following concepts in math: * Pythagorean theorem * Law of cosines * Angle between two vectors * Dot product * Inner p...") - 03:59, 4 August 2019 (diff | hist) . . (+78) . . N User:IssaRice/Stringing together relations (IssaRice moved page User:IssaRice/Stringing together relations to User:IssaRice/Stringing together relations and binary operations) (current)
- 03:28, 3 August 2019
(diff | hist) . .
**(+742)** . . N User:IssaRice/Stringing together relations and binary operations (Created page with "If <math>R</math> is a relation on a set <math>X</math>, and <math>x,y,z</math> are elements of <math>X</math>, we sometimes write <math>x \mathrel{R} y \mathrel{R} z</math> a...") - 21:11, 31 July 2019
(diff | hist) . .
**(+771)** . . N Infinitely often and almost always (Created page with "Let <math>A_1, A_2, A_3, \ldots</math> be a sequence of events in some sample space <math>\Omega</math>. {| class="wikitable" |- ! perspective !! infinitely often !! almost a...") - 05:26, 30 July 2019
(diff | hist) . .
**(+755)** . . N User:IssaRice/Linear algebra/Dual basis (Created page with "see p. 224 of https://terrytao.files.wordpress.com/2011/06/blog-book.pdf the following example is based on p. 115 of https://terrytao.files.wordpress.com/2016/12/linear-algeb...") - 22:54, 29 July 2019
(diff | hist) . .
**(+1,480)** . . N User:IssaRice/Degree of polynomial (Created page with "Why is the definition of degree of polynomial what it is? First attempt: a polynomial like <math>a_n x^n + a_{n-1} x^{n-1} + \cdots + a_2 x^2 + a_1 x + a_0</math> should have...") (current) - 05:38, 25 July 2019 (diff | hist) . . (+367) . . N Lower semicomputable function (Created page with "A function <math>f : X \to \mathbf R</math> is lower semicomputable iff there exists a computable function <math>g : X \times \mathbf N \to \mathbf Q</math> such that: * for...")
- 20:00, 15 July 2019
(diff | hist) . .
**(+1,651)** . . N Shattering (Created page with "Let <math>\mathcal H</math> be a class of functions from <math>\mathcal X</math> to <math>\{0,1\}</math>, called a hypothesis class. Let <math>S = \{p_1, \ldots, p_n\} \subset...") - 20:28, 12 July 2019
(diff | hist) . .
**(+651)** . . N User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation (Created page with "Sipser's textbook presents the recursion theorem, but not the fixed point theorem. Here is one way to state the fixed point theorem using Sipser's notation. '''Theorem''' (Fi...") - 07:24, 6 July 2019
(diff | hist) . .
**(+864)** . . N User:IssaRice/Isometry in metric spaces (Created page with "when playing around with metric spaces, one might notice that certain metric spaces can be "modeled" by other metric spaces. For instance, let <math>X = \{1,2,3\}</math> be a...") - 07:09, 6 July 2019 (diff | hist) . . (+438) . . N User:IssaRice/Construction of the real numbers (Created page with "something that i have seen clarified ''exactly once'' is why constructing the real numbers (for instance via dedekind cuts or equivalence classes of cauchy sequences of ration...")
- 04:24, 6 July 2019
(diff | hist) . .
**(+1,143)** . . N User:IssaRice/Adherent point and limit point (Created page with "Let <math>(X,d)</math> be a metric space, let <math>E</math> be a subset of <math>X</math>, and let <math>x_0\in X</math> be a point. * there exists a sequence <math>(x_n)_{n...") - 03:42, 5 July 2019 (diff | hist) . . (+210) . . N User:IssaRice/Subfield of math that is best for introducing proofs (Created page with "==Real analysis== Pros: Cons: ==Linear algebra== Pros: Cons: ==Abstract algebra== Pros: Cons: ==Computability and logic== Pros: Cons: ==Discrete math== Pros: Con...")
- 21:50, 27 June 2019
(diff | hist) . .
**(+531)** . . N User:IssaRice/Linear algebra/Linear transformation vs matrix views (Created page with "Given an <math>m\times n</math> matrix <math>A</math> we can define a linear map <math>T : \mathbf R^n \to \mathbf R^m</math> by <math>T(x) = Ax</math>. Given a linear map <m...") - 00:46, 25 June 2019 (diff | hist) . . (+1) . . N User:IssaRice/Logical inductor construction (Created page with ".")
- 00:09, 19 June 2019
(diff | hist) . .
**(+1,230)** . . N User:IssaRice/Computability and logic/Sipser's quine in Python (Created page with "Michael Sipser's ''Introduction to the Theory of Computation'' describes a quine using Turing machines. Here is an implementation of the machine ''SELF''. <pre>TAPE = "" de...") - 05:38, 10 June 2019
(diff | hist) . .
**(+2,281)** . . N User:IssaRice/Subsets of the reals that can define their own convergence (Created page with "(probably not very important) Something that has bugged me about the Cauchy sequence construction of the reals is that in the definition of Cauchyness/convergence, a rational...") - 02:34, 7 June 2019 (diff | hist) . . (+440) . . N User:IssaRice/Linear algebra/Rank (Created page with "<math>T : V \to W</math> <math>A</math> is m by n matrix * <math>\dim \operatorname{range} T</math> * dimension of row space of <math>A</math> * dimension of column space of...")
- 22:18, 1 June 2019
(diff | hist) . .
**(+2,063)** . . N User:IssaRice/Extreme value theorem (Created page with "Working through the proof in Pugh's book by filling in the parts he doesn't talk about. Let <math>M = \sup\{f(x) : x \in [a,b]\}</math> and <math>X = \{x \in [a,b] : \sup V_x...") - 08:02, 25 April 2019 (diff | hist) . . (+131) . . N User:IssaRice/Computability and logic/List of important distinctions in mathematical logic (IssaRice moved page User:IssaRice/Computability and logic/List of important distinctions in mathematical logic to User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic) (current)
- 18:03, 17 April 2019
(diff | hist) . .
**(+2,052)** . . N Abstracting sensory data in Solomonoff induction (Created page with "One potential misconception one might have about Solomonoff induction is the degree to which one "abstracts" the sensory information that Solomonoff induction is "allowed...") - 16:56, 17 April 2019
(diff | hist) . .
**(+662)** . . N Proportion of valid programs view of Solomonoff induction (Created page with "'''Proportion of valid programs view of Solomonoff induction''' is one of several ways of viewing the deterministic variant of Solomonoff induction. This view roughly says...") - 00:12, 16 April 2019
(diff | hist) . .
**(+1,252)** . . N Equivalence of random coinflips view and minimal programs view (Created page with "Two of the several ways of viewing the deterministic variant of Solomonoff induction are: * The "random coinflips view": Given a monotone Turing machine, we feed the machine...") - 02:26, 31 March 2019 (diff | hist) . . (+60) . . N Variants of Solomonoff induction (Created page with "This page lists some '''variants of Solomonoff induction'''.")
- 20:25, 25 March 2019 (diff | hist) . . (+118) . . N User:IssaRice/Computability and logic/Computability of the uncountable (Created page with "* http://jdh.hamkins.org/alan-turing-on-computable-numbers/ * stillwell's reverse mathematics, p. 77 * Hay 2007, p. 31")
- 22:08, 24 March 2019 (diff | hist) . . (+422) . . N User:IssaRice/Computability and logic/Bounded computation trick (Created page with "Instead of saying "compute this thing" you can say "compute this thing for <math>n</math> steps", then let <math>n</math> vary. This trick makes the computation bounded, which...")
- 19:51, 21 March 2019 (diff | hist) . . (+493) . . N Solomonoff induction (Created page with "'''Solomonoff induction''' is an idealized method of sequence prediction. ==Variants== There are many variants of Solomonoff induction that seem to all turn out essentially...")
- 19:35, 20 February 2019
(diff | hist) . .
**(+695)** . . N User:IssaRice/Computability and logic/List of possibilities for completeness and decidability (Created page with "{| class="sortable wikitable" |- ! Decidable logic? !! Complete logic? (semantic completeness) !! Decidable theory? !! Complete theory? (negation-completeness) !! Example or p...") - 07:21, 17 February 2019 (diff | hist) . . (+43) . . N Hunting for Simpson's paradox (IssaRice moved page Hunting for Simpson's paradox to Recognizing Simpson's paradox) (current)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)