This page does not have a summary which provides an informative overview of the page's primary topic.
By default, a page's
summary (that shows up in the popover when a user hovers over a greenlink) is the page's first paragraph. Sometimes the first paragraph is not well-suited for a popover summary. Add this tag to pages that need to have a custom summary.
Some pages may require an
accessible, technical, or brief summary. All Creators Alexei Andreev,
Eric Rogstad Likes Eric Bruylant,
Eric Rogstad Related Ackermann function The slowest-growing fast-growing function. - Alex Appel Advanced nonagent Hypothetically, cognitively powerful programs that don't follow the loop of "observe, learn, model the consequences, act, observe results" that a standard "agent" would. - Eliezer Yudkowsky Arbital hidden text How to hide text in Markdown behind a button. - Alexei Andreev Church-Turing thesis A thesis about computational models - Jaime Sevilla Molina Convex function A function that only curves upward - Jessica Taylor Convex set A set that contains all line segments between points in the set - Jessica Taylor Extraordinary claims require extraordinary evidence The people who adamantly claim they were abducted by aliens do provide some evidence for aliens. They just don't provide quantitatively enough evidence. - Eliezer Yudkowsky Fractional bits It takes $\log_2(8) = 3$ bits of data to carry one message from a set of 8 possible messages. Simila… - Nate Soares Introductory Bayesian problems Bayesian problems to try to solve yourself, before beginning to learn about Bayes' rule. - Eliezer Yudkowsky Likelihood "Likelihood", when speaking of Bayesian reasoning, denotes *the probability of an observation, sup… - Nate Soares Löb's theorem Löb's theorem - Jaime Sevilla Molina Normal system of provability logic Between the modal systems of provability, the normal systems distinguish themselves by exhibiting ni… - Jaime Sevilla Molina Posterior probability What we believe, after seeing the evidence and doing a Bayesian update. - Eliezer Yudkowsky Prior probability What we believed before seeing the evidence. - Eliezer Yudkowsky Real number A **real number** is any number that can be used to represent a physical quantity.
Intuitively, rea… - Michael Cohen Realistic (Math 1) Real-life examples of Bayesian reasoning - Eliezer Yudkowsky Set product A fundamental way of combining sets is to take their product, making a set that contains all tuples of elements from the originals. - Patrick Stevens Stabiliser (of a group action) If a group acts on a set, it is useful to consider which elements of the group don't move a certain element of the set. - Patrick Stevens Strong Church Turing thesis A strengthening of the Church Turing thesis - Jaime Sevilla Molina Symmetric group The symmetric groups form the fundamental link between group theory and the notion of symmetry. - Patrick Stevens There is only one logarithm All logarithm functions are the same, up to a multiplicative constant. - Nate Soares Totally ordered set A set where all the elements can be compared as greater than or less than. - Joe Zeng