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 pre­dic­tor can pre­dict a sys­tem con­tain­ing con­se­quen­tial­ists (e.g. a hu­man in a room), then it is us­ing some kind of con­se­quen­tial­ist 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)