Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• User:IssaRice/Logical induction notation  + (00:51:13, 25 June 2019)
• User:IssaRice/Computability and logic/Sipser's quine in Python  + (00:59:11, 25 June 2019)
• User:IssaRice/Adherent point and limit point  + (05:02:32, 6 July 2019)
• User:IssaRice/Isometry in metric spaces  + (07:37:53, 6 July 2019)
• User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation  + (21:43:01, 12 July 2019)
• Vapnik–Chervonenkis dimension  + (19:53:47, 15 July 2019)
• Shattering  + (20:02:25, 15 July 2019)
• User:IssaRice/Construction of the real numbers  + (18:52:32, 18 July 2019)
• User:IssaRice/Computability and logic/List of possibilities for completeness and decidability  + (07:22:16, 24 July 2019)
• Lower semicomputable function  + (06:03:00, 25 July 2019)
• User:IssaRice/Extreme value theorem  + (05:18:24, 29 July 2019)
• User:IssaRice/Degree of polynomial  + (22:54:00, 29 July 2019)
• Variance  + (00:36:54, 31 July 2019)
• User:IssaRice/Linear algebra/Linear transformation vs matrix views  + (03:26:12, 31 July 2019)
• Covariance  + (05:21:54, 31 July 2019)
• Infinitely often and almost always  + (22:37:35, 31 July 2019)
• User:IssaRice/Logical inductor construction  + (05:35:59, 1 August 2019)
• User:IssaRice/Stringing together relations and binary operations  + (03:59:56, 4 August 2019)
• User:IssaRice/Restricting some class of mathematical objects  + (04:53:40, 4 August 2019)
• User:IssaRice/Pythagorean theorem, law of cosines, angle between vectors, and inner product  + (22:41:47, 6 August 2019)
• User:IssaRice/Summary of counting techniques  + (02:38:18, 14 August 2019)
• User:IssaRice/Linear algebra/Deriving projection formula and equivalent formulas for dot product  + (07:57:39, 15 August 2019)
• User:IssaRice/Lebesgue number lemma and Tao's proof that sequential compactness implies covering compactness  + (21:29:06, 16 August 2019)
• User:IssaRice/Computability and logic/Motivation for encoding  + (05:27:01, 20 August 2019)
• User:IssaRice/Two envelopes problem  + (02:58:23, 28 August 2019)

• Bellman equation derivation  + (04:03:45, 1 September 2019)

• User:IssaRice/AI safety/  + (00:47:40, 3 September 2019)
• User:IssaRice/AI safety/Distribution of AI failures leading up to AGI  + (00:57:54, 3 September 2019)
• User:IssaRice/Implementation details in math  + (20:59:42, 7 September 2019)
• Creation of causal graphs  + (00:59:11, 15 September 2019)
• User:IssaRice/AI safety/Bostrom writing style  + (08:13:51, 27 September 2019)
• User:IssaRice/AI safety/History of Paul Christiano's views  + (20:38:19, 4 October 2019)
• User:IssaRice/AI safety/Possibility of act-based agents  + (06:52:07, 11 October 2019)
• User:IssaRice/Computability and logic/Semantic completeness  + (22:27:53, 17 October 2019)
• User:IssaRice/Boundedness theorem for continuous functions  + (23:36:29, 18 October 2019)
• User:IssaRice/Proof that assumes the trick  + (21:11:42, 25 December 2019)
• User:IssaRice/Linear algebra/Determinant as signed volume of transformation  + (04:35:45, 28 December 2019)
• User:IssaRice/Generators and relations of dihedral groups  + (06:06:46, 1 January 2020)
• Attribute  + (21:16:45, 1 January 2020)
• User:IssaRice/Computability and logic/Theory  + (10:18:56, 7 January 2020)
• Quantities defined for a random variable that depend only on the distribution  + (10:51:18, 7 January 2020)
• Expectation  + (22:21:44, 7 January 2020)
• User:IssaRice/Scoring rule  + (05:04:28, 8 January 2020)
• User:IssaRice/Convex function  + (00:05:12, 14 January 2020)
• User:IssaRice/Linear algebra/Dual space of vector space of polynomials  + (22:14:56, 14 January 2020)
• User:IssaRice/Linear algebra/Properties preserved under various operations to a matrix  + (05:47:00, 17 January 2020)
• User:IssaRice/Computability and logic/Entscheidungsproblem  + (10:59:55, 20 January 2020)
• User:IssaRice/Poisson distribution  + (03:29:52, 24 January 2020)
• User:IssaRice/Moral public goods example  + (20:19:02, 26 January 2020)
• User:IssaRice/Aumann's agreement theorem  + (01:45:45, 29 January 2020)
• Major machine learning techniques  + (17:25:03, 1 February 2020)