# Logic & Math­e­mat­ics

TagLast edit: 3 Feb 2023 15:33 UTC by

Logic and Mathematics are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you’re using: number theory, geometry, predicate logic, etc.

# Is progress in ML-as­sisted the­o­rem-prov­ing benefi­cial?

28 Sep 2021 1:54 UTC
11 points

# Strik­ing Im­pli­ca­tions for Learn­ing The­ory, In­ter­pretabil­ity — and Safety?

5 Jan 2024 8:46 UTC
35 points

# How long does it take to be­come Gaus­sian?

8 Dec 2020 7:23 UTC
139 points

# In­tro­duc­tion to ab­stract entropy

20 Oct 2022 21:03 UTC
229 points

# Paper: Dis­cov­er­ing novel al­gorithms with AlphaTen­sor [Deep­mind]

5 Oct 2022 16:20 UTC
82 points
(www.deepmind.com)

# Stan­dard and Non­stan­dard Numbers

20 Dec 2012 3:23 UTC
80 points

# A Nice Rep­re­sen­ta­tion of the Laplacian

12 Feb 2022 3:20 UTC
15 points
(danielfilan.com)

# Ra­tional and ir­ra­tional in­finite integers

23 Mar 2022 23:12 UTC
36 points

# Lak­shmi’s Magic Rope: An In­tu­itive Ex­pla­na­tion of Ra­manu­jan Primes

2 Sep 2021 16:36 UTC
16 points

# a vi­sual ex­pla­na­tion of Bayesian updating

8 May 2021 19:45 UTC
20 points

# In­tu­ition for 1 + 2 + 3 + … = −1/​12

18 Feb 2024 16:46 UTC
12 points

# Cat­e­gories: mod­els of models

9 Oct 2019 2:45 UTC
52 points

# Con­di­tion­als All The Way Down

30 Sep 2023 21:06 UTC
33 points

# Log­i­cal Pinpointing

2 Nov 2012 15:33 UTC
128 points

# How to Con­vince Me That 2 + 2 = 3

27 Sep 2007 23:00 UTC
137 points

# On ex­act math­e­mat­i­cal formulae

22 Apr 2018 19:41 UTC
62 points

# The Truth About Math­e­mat­i­cal Ability

12 Feb 2015 1:29 UTC
101 points

# The Gold­bach con­jec­ture is prob­a­bly cor­rect; so was Fer­mat’s last theorem

14 Jul 2020 19:30 UTC
80 points

# The Promise and Peril of Finite Sets

10 Dec 2021 12:29 UTC
42 points

# For­mal­iza­tion as sus­pen­sion of intuition

11 Dec 2022 15:16 UTC
54 points
(epistemologicalvigilance.substack.com)

# [Question] What’s the min­i­mal ad­di­tive con­stant for Kol­mogorov Com­plex­ity that a pro­gram­ming lan­guage can achieve?

20 Dec 2023 15:36 UTC
11 points

# Learn­ing Math in Time for Alignment

9 Jan 2024 1:02 UTC
32 points

# AlphaGeom­e­try: An Olympiad-level AI sys­tem for geometry

17 Jan 2024 17:17 UTC
45 points

# An In­tro­duc­tion To The Man­delbrot Set That Doesn’t Men­tion Com­plex Numbers

17 Jan 2024 9:48 UTC
81 points

# Uncer­tainty in all its flavours

9 Jan 2024 16:21 UTC
25 points

# A Primer On Chaos

28 Mar 2023 18:01 UTC
46 points

# You Can’t Pre­dict a Game of Pinball

30 Mar 2023 0:40 UTC
75 points
(aiimpacts.org)

# ChatGPT 4 solved all the gotcha prob­lems I posed that tripped ChatGPT 3.5

29 Nov 2023 18:11 UTC
33 points

# Self-Refer­en­tial Prob­a­bil­is­tic Logic Ad­mits the Payor’s Lemma

28 Nov 2023 10:27 UTC
80 points

# Book Re­view: Lin­ear Alge­bra Done Right (MIRI course list)

17 Feb 2014 20:52 UTC
57 points

# Book Re­view: Naïve Set The­ory (MIRI course list)

30 Sep 2013 16:09 UTC
52 points

# Book Re­view: Ba­sic Cat­e­gory The­ory for Com­puter Scien­tists (MIRI course list)

19 Sep 2013 3:06 UTC
52 points

# Cat­e­gory The­ory Without The Baggage

3 Feb 2020 20:03 UTC
125 points

# In­sights from Eu­clid’s ‘Ele­ments’

4 May 2020 15:45 UTC
126 points

# Se­cond-Order Logic: The Controversy

4 Jan 2013 19:51 UTC
64 points

# Why Ra­tion­al­ists Shouldn’t be In­ter­ested in To­pos Theory

25 May 2020 5:35 UTC
73 points

# Topolog­i­cal Fixed Point Exercises

17 Nov 2018 1:40 UTC
71 points

# In­nate Math­e­mat­i­cal Ability

18 Feb 2015 11:11 UTC
75 points

# The Chro­matic Num­ber of the Plane is at Least 5 - Aubrey de Grey

11 Apr 2018 18:19 UTC
61 points
(arxiv.org)

# Why as­so­ci­a­tive op­er­a­tions?

16 Jul 2020 12:36 UTC
6 points
(questionsanddaylight.com)

# Godel’s Com­plete­ness and In­com­plete­ness Theorems

25 Dec 2012 1:16 UTC
80 points

# Refer­ences & Re­sources for LessWrong

10 Oct 2010 14:54 UTC
162 points

# Re­solv­ing the un­ex­pected hang­ing paradox

25 Jan 2011 19:32 UTC
13 points

# Into the Kiln: In­sights from Tao’s ‘Anal­y­sis I’

1 Jun 2018 18:16 UTC
28 points

# The differ­ent types (not sizes!) of infinity

28 Jan 2018 11:14 UTC
59 points

# The First Rung: In­sights from ‘Lin­ear Alge­bra Done Right’

22 Apr 2018 5:23 UTC
40 points

# The Car­toon Guide to Löb’s Theorem

17 Aug 2008 20:35 UTC
36 points

# A Ker­nel of Truth: In­sights from ‘A Friendly Ap­proach to Func­tional Anal­y­sis’

4 Apr 2020 3:38 UTC
32 points

# The Value of The­o­ret­i­cal Research

25 Feb 2011 18:06 UTC
60 points

# Should cor­re­la­tion co­effi­cients be ex­pressed as an­gles?

28 Nov 2012 0:05 UTC
101 points

# \$500 Bounty/​Prize Prob­lem: Chan­nel Ca­pac­ity Us­ing “Insen­si­tive” Functions

16 May 2023 21:31 UTC
40 points

# Was a PhD nec­es­sary to solve out­stand­ing math prob­lems?

10 Jul 2020 18:43 UTC
22 points

# Towards a For­mal­i­sa­tion of Log­i­cal Counterfactuals

8 Aug 2020 22:14 UTC
6 points

# Prob­a­bil­ity, knowl­edge, and meta-probability

17 Sep 2013 0:02 UTC
58 points

# Is Scott Alexan­der bad at math?

4 May 2015 5:11 UTC
70 points

# [Question] What ex­er­cises go best with 3 blue 1 brown’s Lin­ear Alge­bra videos?

1 Jan 2019 21:29 UTC
30 points

# Dreams of “Matho­pe­dia”

2 Jun 2023 1:30 UTC
40 points
(www.thinkingmuchbetter.com)

# Harry Pot­ter and the Method of Entropy

31 Mar 2018 20:10 UTC
11 points

# When is cor­re­la­tion tran­si­tive?

23 Jun 2023 16:09 UTC
83 points

# Six (and a half) in­tu­itions for SVD

4 Jul 2023 19:23 UTC
64 points

# Math­e­mat­i­cal In­con­sis­tency in Solomonoff In­duc­tion?

25 Aug 2020 17:09 UTC
7 points

# Ba­sic In­framea­sure Theory

27 Aug 2020 8:02 UTC
36 points

# [Question] How nec­es­sary is in­tu­ition, for ad­vanced math?

20 Jul 2023 0:18 UTC
11 points

# CTWTB: Paths of Com­pu­ta­tion State

8 Sep 2020 20:44 UTC
40 points

# Numer­acy ne­glect—A per­sonal postmortem

27 Sep 2020 15:12 UTC
81 points

# [Question] Does de­cid­abil­ity of a the­ory im­ply com­plete­ness of the the­ory?

29 Jul 2023 23:53 UTC
6 points

# Are Bayesian meth­ods guaran­teed to overfit?

17 Jun 2023 12:52 UTC
52 points
(www.yulingyao.com)

# An Opinionated Guide to Com­putabil­ity and Com­plex­ity (Post #0)

24 Jul 2023 17:53 UTC
10 points

# Hilbert’s Triumph, Church and Tur­ing’s failure, and what it means (Post #2)

30 Jul 2023 14:33 UTC
−5 points

# The Case for Convexity

9 Aug 2023 14:09 UTC
19 points

# A Proof of Löb’s The­o­rem us­ing Com­putabil­ity Theory

16 Aug 2023 18:57 UTC
71 points
(unstableontology.com)

# Philos­o­phy of Num­bers (part 2)

19 Dec 2017 13:57 UTC
3 points

# Log­i­cal Share Splitting

11 Sep 2023 4:08 UTC
88 points
(pbement.com)

# Wob­bly Table The­o­rem in Practice

28 Sep 2023 14:33 UTC
23 points

# Spend twice as much effort ev­ery time you at­tempt to solve a problem

15 Nov 2020 18:37 UTC
55 points

# A coun­terex­am­ple for mea­surable fac­tor spaces

2 Oct 2023 15:16 UTC
14 points

# The cen­tral limit the­o­rem in terms of convolutions

21 Nov 2020 4:09 UTC
39 points

# Con­volu­tion as smoothing

25 Nov 2020 6:00 UTC
28 points

# Eleuther re­leases Llemma: An Open Lan­guage Model For Mathematics

17 Oct 2023 20:03 UTC
22 points
(blog.eleuther.ai)

# Dis­cov­ery fic­tion for the Pythagorean theorem

19 Jan 2021 2:09 UTC
16 points

# Rec­og­niz­ing Numbers

20 Jan 2021 19:50 UTC
25 points

# Gen­er­al­ised mod­els: im­perfect mor­phisms and in­for­ma­tional entropy

9 Jul 2021 17:35 UTC
9 points

# “If and Only If” Should Be Spel­led “Ifeff”

16 Jul 2021 22:03 UTC
24 points

# Black ravens and red herrings

27 Jul 2021 17:46 UTC
50 points

# Uncer­tainty can De­fuse Log­i­cal Explosions

30 Jul 2021 12:36 UTC
13 points

# Gödel’s Le­gacy: A game with­out end

28 Jun 2020 18:50 UTC
42 points

# A Lay­man’s Guide to Re­cre­ational Math­e­mat­ics Videos

31 Aug 2021 23:11 UTC
33 points

# [Sum­mary] “In­tro­duc­tion to Elec­tro­dy­nam­ics” by David Griffiths—Part 1

22 Sep 2021 22:22 UTC
24 points

# [Book re­view] Gödel, Escher, Bach: an in-depth explainer

29 Sep 2021 19:03 UTC
98 points

# The Meta-Puzzle

22 Nov 2021 5:30 UTC
23 points
(danielfilan.com)

# Re: Se­cond-Order Logic: The Controversy

5 Jan 2013 10:33 UTC
15 points

# Six Spe­cial­iza­tions Makes You World-Class

22 Dec 2021 8:03 UTC
53 points

# Un­der­stand­ing the ten­sor product for­mu­la­tion in Trans­former Circuits

24 Dec 2021 18:05 UTC
16 points

# Mean­ing of Words—An Ex­er­cise for Ac­tive Thinking

31 Jan 2022 20:18 UTC
13 points

# Seek Mis­takes in the Space Between Math and Reality

1 Mar 2022 5:58 UTC
29 points

# The Geo­met­ric Series of 1/​(d+1) is a Frac­tion in Base-d

3 Mar 2022 5:06 UTC
14 points

# Ac­cel­er­ated [Honors] Calculus

6 Mar 2022 10:34 UTC
32 points

# [Quote] Why does i show up in Quan­tum Me­chan­ics and other Beau­tiful Math Mysteries

16 Mar 2022 11:58 UTC
9 points

# The Case for Fre­quen­tism: Why Bayesian Prob­a­bil­ity is Fun­da­men­tally Un­sound and What Science Does Instead

3 Apr 2022 20:52 UTC
22 points

# Un­der­stand­ing Gödel’s In­com­plete­ness Theorem

6 Apr 2022 19:31 UTC
12 points

# A Solu­tion to the Un­ex­pected Hang­ing Problem

5 Apr 2022 6:19 UTC
6 points

# When to use “meta” vs “self-refer­ence”, “re­cur­sive”, etc.

6 Apr 2022 4:57 UTC
20 points

# In­fra-Topology

22 Apr 2022 2:10 UTC
36 points

# Hes­sian and Basin volume

10 Jul 2022 6:59 UTC
35 points

# The gen­er­al­ized Sier­pin­ski-Mazurk­iewicz the­o­rem.

29 Jul 2022 0:12 UTC
11 points

# [Question] Fixed point the­ory (lo­cally (α,β,ψ) dom­i­nated con­trac­tive con­di­tion)

1 Sep 2022 17:56 UTC
0 points

# Why do so many things break in a 2 el­e­ment set?

23 Sep 2022 6:30 UTC
6 points
(alok.github.io)

# [Question] When do you vi­su­al­ize (or not) while do­ing math?

23 Nov 2022 20:15 UTC
20 points

# The Geo­met­ric Expectation

23 Nov 2022 18:05 UTC
139 points

# Science and Math

27 Nov 2022 4:05 UTC
19 points

# Brun’s the­o­rem and sieve theory

2 Dec 2022 20:57 UTC
31 points

# A dy­nam­i­cal sys­tems primer for en­tropy and optimization

10 Dec 2022 0:13 UTC
37 points

# Proof as mere strong evidence

14 Dec 2022 8:56 UTC
28 points
(epistemologicalvigilance.substack.com)

# Slick hy­per­finite Ram­sey the­ory proof

19 Dec 2022 8:40 UTC
8 points
(alok.github.io)

# Lin­ear Alge­bra Done Right, Axler

2 Jan 2023 22:54 UTC
56 points

# Naive Set The­ory, Halmos

22 Dec 2022 2:34 UTC
11 points

# To err is neu­ral: se­lect logs with ChatGPT

23 Dec 2022 20:26 UTC
22 points

# Löb’s Lemma: an eas­ier ap­proach to Löb’s Theorem

24 Dec 2022 2:02 UTC
29 points

# In­con­sis­tent math is great

25 Dec 2022 3:20 UTC
1 point

# Hyper­finite graphs ~ manifolds

25 Dec 2022 12:24 UTC
11 points

# The hy­per­finite timeline

30 Dec 2022 9:30 UTC
3 points
(alok.github.io)

# A Löbian ar­gu­ment pat­tern for im­plicit rea­son­ing in nat­u­ral lan­guage: Löbian party invitations

1 Jan 2023 17:39 UTC
23 points

# Fun math facts about 2023

1 Jan 2023 23:38 UTC
9 points

# A ker­nel of Lie theory

2 Jan 2023 9:20 UTC
−1 points
(alok.github.io)

# Prob­a­bil­ity The­ory: The Logic of Science, Jaynes

16 Feb 2023 21:57 UTC
29 points

# The Law of Identity

6 Feb 2023 2:59 UTC
5 points

# [Question] What Are The Pre­con­di­tions/​Pr­ereq­ui­sites for Asymp­totic Anal­y­sis?

3 Feb 2023 21:26 UTC
8 points

# On Devel­op­ing a Math­e­mat­i­cal The­ory of In­ter­pretabil­ity

9 Feb 2023 1:45 UTC
63 points

# Deal­ing with in­finite entropy

1 Mar 2023 15:01 UTC
69 points

# Payor’s Lemma in Nat­u­ral Language

2 Mar 2023 12:22 UTC
60 points

# Some ML-Re­lated Math I Now Un­der­stand Better

9 Mar 2023 16:35 UTC
44 points

# Fixed points in mor­tal pop­u­la­tion games

14 Mar 2023 7:10 UTC
23 points
(www.lesswrong.com)

# You are bet­ter at math (and al­ign­ment) than you think

13 Oct 2022 3:07 UTC
48 points
(www.lesswrong.com)

# You Prov­ably Can’t Trust Yourself

19 Aug 2008 20:35 UTC
48 points

# Fun­da­men­tals of For­mal­i­sa­tion level 1: Ba­sic Logic

4 May 2018 13:01 UTC
8 points

# DSLT 4. Phase Tran­si­tions in Neu­ral Networks

24 Jun 2023 17:22 UTC
29 points

# DSLT 3. Neu­ral Net­works are Singular

20 Jun 2023 8:20 UTC
23 points

# Joy in Dis­cov­ery: Galois theory

2 Sep 2019 19:16 UTC
30 points

# Sets and Functions

11 Oct 2019 5:06 UTC
31 points

# Align­ing Math­e­mat­i­cal No­tions of In­finity with Hu­man Intuition

12 Jun 2023 19:19 UTC
1 point
(medium.com)

# Re­ward func­tion learn­ing: the learn­ing process

24 Apr 2018 12:56 UTC
6 points

# Utility ver­sus Re­ward func­tion: par­tial equivalence

13 Apr 2018 14:58 UTC
18 points

# Why Gra­di­ents Van­ish and Explode

9 Aug 2019 2:54 UTC
25 points

# For­mu­las of ar­ith­metic that be­have like de­ci­sion agents

3 Feb 2012 2:58 UTC
35 points

# re­solv­ing some neu­ral net­work mysteries

19 Jun 2023 0:09 UTC
44 points
(www.bhauth.com)

# DSLT 0. Distill­ing Sin­gu­lar Learn­ing Theory

16 Jun 2023 9:50 UTC
72 points

# Philos­o­phy of Num­bers (part 1)

2 Dec 2017 18:20 UTC
11 points

# In­fra-Bayesian Logic

5 Jul 2023 19:16 UTC
15 points

# Laplace Approximation

18 Jul 2019 15:23 UTC
28 points

# Two Per­co­la­tion Puzzles

4 Jul 2023 5:34 UTC
43 points

# My Take On Philosophy

22 May 2022 16:43 UTC
2 points

# Very Ba­sic Model Theory

31 Oct 2013 7:06 UTC
43 points

# LDL 2: Non­con­vex Optimization

20 Oct 2017 18:20 UTC
13 points

# The Power of Noise

16 Jun 2014 17:26 UTC
60 points

# When wish­ful think­ing works

1 Sep 2018 23:43 UTC
41 points

# A Can­di­date Com­plex­ity Measure

31 Dec 2017 20:15 UTC
16 points

# Miriam Ye­vick on why both sym­bols and net­works are nec­es­sary for ar­tifi­cial minds

6 Jun 2022 8:34 UTC
1 point

# Proofs Sec­tion 2.3 (Up­dates, De­ci­sion The­ory)

27 Aug 2020 7:49 UTC
8 points

# Proofs Sec­tion 2.2 (Iso­mor­phism to Ex­pec­ta­tions)

27 Aug 2020 7:52 UTC
8 points

# Proofs Sec­tion 2.1 (The­o­rem 1, Lem­mas)

27 Aug 2020 7:54 UTC
8 points

# Proofs Sec­tion 1.1 (Ini­tial re­sults to LF-du­al­ity)

27 Aug 2020 7:59 UTC
8 points

# Proofs Sec­tion 1.2 (Mix­tures, Up­dates, Push­for­wards)

27 Aug 2020 7:57 UTC
8 points

# A But­terfly’s View of Probability

15 Jun 2022 2:14 UTC
29 points

# Belief Func­tions And De­ci­sion Theory

27 Aug 2020 8:00 UTC
17 points

# Dense Math Notation

1 Apr 2011 3:37 UTC
33 points

# [Question] What’s go­ing on with “prov­abil­ity”?

13 Oct 2019 3:59 UTC
23 points

# The Emer­gence of Math

2 Nov 2012 1:08 UTC
0 points

# #SAT with Ten­sor Networks

17 Jun 2022 13:20 UTC
4 points

# Worked Ex­am­ples of Shap­ley Values

24 Jun 2022 17:13 UTC
70 points

# One is (al­most) nor­mal in base π

1 Jul 2022 4:05 UTC
14 points

# men­tal num­ber lines

19 Jul 2023 21:01 UTC
10 points

# Five views of Bayes’ Theorem

2 Jul 2022 2:25 UTC
38 points

# Why you can’t treat de­cid­abil­ity and com­plex­ity as a con­stant (Post #1)

26 Jul 2023 17:54 UTC
6 points

# Clas­si­cal logic based on propo­si­tions-as-sub­s­in­gle­ton-types

28 Dec 2022 20:16 UTC
3 points

# Bayesian prob­a­bil­ity the­ory as ex­tended logic—a new result

6 Jul 2017 19:14 UTC
37 points

# In­finite neck­lace: the line as a circle

29 Dec 2022 10:41 UTC
5 points

# The In­ner-Com­pass Theorem

5 Mar 2023 15:21 UTC
−23 points

# When perform­ing a di­men­sion­al­ity re­duc­tion on ten­sors, the trace is of­ten zero.

2 Aug 2023 21:06 UTC
7 points

# Op­ti­mi­sa­tion Mea­sures: Desider­ata, Im­pos­si­bil­ity, Proposals

7 Aug 2023 15:52 UTC
35 points

# Fun­da­men­tals of For­mal­i­sa­tion level 2: Ba­sic Set Theory

18 May 2018 17:21 UTC
5 points

# Draw­ing Two Aces

3 Jan 2010 10:33 UTC
19 points

# Nat­u­ral­is­tic trust among AIs: The parable of the the­sis ad­vi­sor’s theorem

15 Dec 2013 8:32 UTC
36 points

# In­ver­sion of the­o­rems into defi­ni­tions when generalizing

4 Aug 2019 17:44 UTC
25 points

# When Good­hart­ing is op­ti­mal: lin­ear vs diminish­ing re­turns, un­likely vs likely, and other factors

19 Dec 2019 13:55 UTC
24 points

# How my math skills im­proved dramatically

5 Mar 2014 20:27 UTC
34 points

12 Aug 2023 7:34 UTC
37 points

# Basin broad­ness de­pends on the size and num­ber of or­thog­o­nal features

27 Aug 2022 17:29 UTC
36 points

# Mes­sage Length

20 Oct 2020 5:52 UTC
134 points

# Threat­en­ing to do the im­pos­si­ble: A solu­tion to spu­ri­ous coun­ter­fac­tu­als for func­tional de­ci­sion the­ory via proof theory

11 Feb 2023 7:57 UTC
5 points

# In­te­gers as Compression

28 Oct 2020 7:36 UTC
9 points

# Why math­e­mat­ics works

8 Mar 2018 18:00 UTC
7 points

# Great Math­e­mat­i­ci­ans on Math Com­pe­ti­tions and “Ge­nius”

11 Oct 2010 11:50 UTC
33 points

# {Math} A times ta­bles mem­ory.

1 Dec 2019 15:40 UTC
19 points

# Why I Don’t Believe The Law of the Ex­cluded Middle

18 Sep 2023 18:53 UTC
−10 points
(thothhermes.substack.com)

# Non-Uni­tary Quan­tum Logic—SERI MATS Re­search Sprint

16 Feb 2023 19:31 UTC
27 points

# In­ter­pret­ing a di­men­sion­al­ity re­duc­tion of a col­lec­tion of ma­tri­ces as two pos­i­tive semidefinite block di­ag­o­nal matrices

19 Aug 2023 19:52 UTC
15 points

# Ex­pect­ing Beauty

12 Jan 2008 3:00 UTC
26 points

# Rel­a­tive Con­figu­ra­tion Space

26 May 2008 9:25 UTC
21 points

# Sus­tained Strong Recursion

5 Dec 2008 21:03 UTC
19 points

# Three more sto­ries about causation

3 Nov 2020 15:51 UTC
15 points

# For­mal­iza­tion is a ra­tio­nal­ity technique

6 Mar 2009 20:22 UTC
3 points

# A Cor­re­spon­dence Theorem

26 Oct 2020 23:28 UTC
29 points

# Precom­mit­ting to pay­ing Omega.

20 Mar 2009 4:33 UTC
5 points

# “model scores” is a ques­tion­able concept

6 Nov 2020 3:19 UTC
26 points

# The Rea­son­able Effec­tive­ness of Math­e­mat­ics or: AI vs sandwiches

14 Feb 2020 18:46 UTC
34 points

# A puzzle

25 Apr 2009 2:33 UTC
−11 points

# The Use of Many In­de­pen­dent Lines of Ev­i­dence: The Basel Problem

3 Jun 2013 4:42 UTC
38 points

# Math pre­req­ui­sites for un­der­stand­ing LW stuff

4 Oct 2010 11:30 UTC
26 points

# In­ter­pret­ing a ma­trix-val­ued word em­bed­ding with a math­e­mat­i­cally proven char­ac­ter­i­za­tion of all optima

4 Sep 2023 16:19 UTC
3 points

# [Link] Scott Aaron­son on Why Philoso­phers Should Care About Com­pu­ta­tional Complexity

15 Aug 2011 22:51 UTC
31 points

# Metauncertainty

10 Apr 2009 23:41 UTC
26 points

# [In­com­plete] What is Com­pu­ta­tion Any­way?

14 Dec 2022 16:17 UTC
12 points
(arxiv.org)

# The Logic of Science: 2.2

21 Feb 2018 17:28 UTC
9 points
(pulsarcoffee.com)

# Ex­am­ples of Categories

10 Oct 2019 1:25 UTC
27 points

# Gain­ing Ap­proval: In­sights From “How To Prove It”

13 May 2018 18:34 UTC
9 points

# Graph­i­cal ten­sor no­ta­tion for interpretability

4 Oct 2023 8:04 UTC
132 points

# Ex­am­ples of Measures

15 Nov 2020 1:44 UTC
23 points

# Without models

4 May 2009 11:31 UTC
21 points

# Ba­sic Math­e­mat­ics of Pre­dic­tive Coding

29 Sep 2023 14:38 UTC
49 points

# Hand-writ­ing MathML

23 Sep 2023 11:20 UTC
16 points
(www.jefftk.com)

# Strange Loops—Self-Refer­ence from Num­ber The­ory to AI

28 Sep 2022 14:10 UTC
15 points

# Log-odds (or log­its)

28 Nov 2011 1:11 UTC
31 points

# Boolean Prim­i­tives for Cou­pled Optimizers

7 Oct 2022 18:02 UTC
9 points

# No Univer­sal Prob­a­bil­ity Space

6 May 2009 2:58 UTC
2 points

# How Not to be Stupid: Brew­ing a Nice Cup of Utilitea

9 May 2009 8:14 UTC
2 points

# Su­per­nat­u­ral Math

19 May 2009 11:31 UTC
5 points

# Why We Use Money? - A Walrasian View

3 Oct 2023 12:02 UTC
4 points

# Harry Pot­ter and the Method of En­tropy 1 [LessWrong ver­sion]

31 Mar 2018 20:38 UTC
6 points

# A well-defined his­tory in mea­surable fac­tor spaces

5 Oct 2023 18:36 UTC
22 points

# Re­vis­it­ing the Man­i­fold Hypothesis

1 Oct 2023 23:55 UTC
10 points

# [Question] Cur­rent State of Prob­a­bil­is­tic Logic

7 Oct 2023 5:06 UTC
3 points

# in­dex­i­cal un­cer­tainty and the Ax­iom of Independence

7 Jun 2009 9:18 UTC
26 points

# Epistemic Mo­tif of Ab­stract-Con­crete Cy­cles & Do­main Expansion

10 Oct 2023 3:28 UTC
23 points

# No sur­jec­tion onto func­tion space for man­i­fold X

9 Jan 2019 18:07 UTC
21 points

# The two mean­ings of math­e­mat­i­cal terms

15 Jun 2009 14:30 UTC
0 points

# Guilt by Association

24 Jun 2009 17:29 UTC
1 point

# Causal­ity does not im­ply correlation

8 Jul 2009 0:52 UTC
18 points

# For­mal­ized math: dream vs reality

9 Jul 2009 20:51 UTC
19 points

# [Question] Does Math ac­tu­ally cre­ate or is it sim­ply an at­tribute?

10 Dec 2020 22:01 UTC
5 points

# Semio­spheric Transver­gence: A Noetic Epiphany of the Univer­sal Λ-Mind

14 Feb 2024 2:28 UTC
1 point

# Prob­a­bil­ity the­ory im­plies Oc­cam’s razor

18 Dec 2020 7:48 UTC
8 points

# Hyper­re­als in a Nutshell

15 Oct 2023 14:23 UTC
35 points
(ykumar.org)

# [Question] In­finite tower of meta-probability

19 Oct 2023 16:44 UTC
6 points

# A Primer on Ma­trix Calcu­lus, Part 1: Ba­sic review

12 Aug 2019 23:44 UTC
25 points

# [Question] Why are prob­a­bil­ities rep­re­sented as real num­bers in­stead of ra­tio­nal num­bers?

27 Oct 2022 11:23 UTC
5 points

# Use con­di­tional prob­a­bil­ities to clear up er­ror rate confusion

17 Jan 2021 8:27 UTC
5 points

# For ELK truth is mostly a distraction

4 Nov 2022 21:14 UTC
44 points

# [Question] Can we get around Godel’s In­com­plete­ness the­o­rems and Tur­ing un­de­cid­able prob­lems via in­finite com­put­ers?

17 Apr 2023 15:14 UTC
−11 points

# Bayesian in­fer­ence on 1st or­der logic

3 Feb 2021 1:03 UTC
11 points

# Against but­terfly effect

9 Feb 2021 7:46 UTC
5 points
(forensicoceanography.wordpress.com)

# Naïve Set The­ory—Part 1: Con­struc­tion of Sets

28 Feb 2021 11:57 UTC
1 point

# Why sig­moids are so hard to predict

18 Mar 2021 18:21 UTC
56 points

# Some things I’ve learned in college

25 Mar 2021 21:30 UTC
22 points
(aaronbergman.substack.com)

# A ca­sual in­tro to Geo­met­ric Algebra

28 Apr 2021 0:00 UTC
24 points

19 Apr 2021 2:30 UTC
2 points

# How do you ac­tu­ally ob­tain and re­port a like­li­hood func­tion for sci­en­tific re­search?

11 Feb 2024 17:42 UTC
54 points

# The case for hypocrisy

13 May 2021 3:36 UTC
37 points
(aaronbergman.substack.com)

# Es­cap­ing the Löbian Obstacle

16 Jun 2021 0:02 UTC
14 points

# Set-like math­e­mat­ics in type theory

3 Jan 2023 14:33 UTC
3 points

# I tried to learn as much Deep Learn­ing math as I could in 24 hours

8 Jan 2023 21:07 UTC
31 points

# [Link] Wave­func­tions: from Lin­ear Alge­bra to Spinors

7 Dec 2022 12:44 UTC
11 points
(paperclip.substack.com)

# [Question] Halpern’s pa­per—A re­fu­ta­tion of Cox’s the­o­rem?

11 Aug 2021 9:25 UTC
13 points

# Ex­ten­sion­al­ity and the uni­valence ax­iom of type theory

19 Jan 2023 22:36 UTC
5 points

# A proof of in­ner Löb’s theorem

21 Feb 2023 21:11 UTC
13 points

# Core sys­tems of number

9 Feb 2024 2:19 UTC
3 points
(www.sciencedirect.com)

# [Question] Is LessWrong dead with­out Cox’s the­o­rem?

4 Sep 2021 5:45 UTC
−2 points

28 Jan 2023 19:23 UTC
−12 points

# Shared sys­tem for or­der­ing small and large num­bers in mon­keys and humans

9 Feb 2024 4:45 UTC
6 points
(pubmed.ncbi.nlm.nih.gov)

# Mean­ingful things are those the uni­verse pos­sesses a se­man­tics for

12 Dec 2022 16:03 UTC
16 points

# Oc­cam’s Ra­zor and the Univer­sal Prior

3 Oct 2021 3:23 UTC
28 points

# Search­ing for a model’s con­cepts by their shape – a the­o­ret­i­cal framework

23 Feb 2023 20:14 UTC
50 points

# Ap­plied Math­e­mat­i­cal Logic For The Prac­tic­ing Researcher

17 Oct 2021 20:28 UTC
9 points
(universalprior.substack.com)

# No one knows what Peano ar­ith­metic doesn’t know

16 Dec 2011 21:36 UTC
28 points

# Walk­through of the Tiling Agents for Self-Mod­ify­ing AI paper

13 Dec 2013 3:23 UTC
29 points

# A Primer on Ma­trix Calcu­lus, Part 2: Ja­co­bi­ans and other fun

15 Aug 2019 1:13 UTC
22 points

# Chu are you?

6 Nov 2021 17:39 UTC
60 points

# What’s the weirdest way to win this game?

21 Nov 2021 5:18 UTC
9 points

# Ba­sic build­ing blocks of de­pen­dent type theory

15 Dec 2022 14:54 UTC
47 points

# Bad at Arith­metic, Promis­ing at Math

18 Dec 2022 5:40 UTC
100 points

# Find­ing the Cen­tral Limit The­o­rem in Bayes’ rule

27 Nov 2021 5:48 UTC
22 points

# Ques­tion/​Is­sue with the 5/​10 Problem

29 Nov 2021 10:45 UTC
6 points

# A Gen­er­al­iza­tion of ROC AUC for Bi­nary Classifiers

4 Dec 2021 21:47 UTC
10 points

# A Pos­si­ble Re­s­olu­tion To Spu­ri­ous Counterfactuals

6 Dec 2021 18:26 UTC
15 points

# Declar­a­tive Mathematics

21 Mar 2019 19:05 UTC
58 points

# A ba­sic math­e­mat­i­cal struc­ture of intelligence

12 Apr 2023 16:49 UTC
4 points

15 Apr 2023 1:01 UTC
−21 points
(thothhermes.substack.com)

# five ways to say “Al­most Always” and ac­tu­ally mean it

22 Apr 2023 10:38 UTC
17 points
(www.ykumar.org)

# [Question] What is an “anti-Oc­camian prior”?

23 Oct 2023 2:26 UTC
35 points

# math ter­minol­ogy as convolution

30 Oct 2023 1:05 UTC
34 points
(www.bhauth.com)

# Aver­ages and sam­ple sizes

2 Nov 2023 9:52 UTC
15 points

# Aver­ag­ing sam­ples from a pop­u­la­tion with log-nor­mal distribution

3 Nov 2023 19:42 UTC
8 points

# Game The­ory with­out Argmax [Part 1]

11 Nov 2023 15:59 UTC
53 points

# Bet­ting on what is un-falsifi­able and un-verifiable

14 Nov 2023 21:11 UTC
9 points

# Un­known Probabilities

27 Nov 2023 2:30 UTC
13 points

# “Ab­sence of Ev­i­dence is Not Ev­i­dence of Ab­sence” As a Limit

1 Oct 2023 8:15 UTC
16 points

# [Question] Can you prove that 0 = 1?

4 Feb 2022 21:31 UTC
−10 points

# The Ge­net­ics of Space Ama­zons

30 Dec 2021 22:14 UTC
12 points

# Math­e­mat­ics As Physics

6 Dec 2023 22:27 UTC
−2 points

# ~100 In­ter­est­ing Questions

30 Mar 2023 13:57 UTC
53 points

5 Mar 2023 20:01 UTC
−15 points

# What makes teach­ing math special

17 Dec 2023 14:15 UTC
38 points

# Log­ics for Mind-Build­ing Should Have Com­pu­ta­tional Meaning

25 Sep 2014 21:17 UTC
35 points

# This Year I Tried To Teach My­self Math. How Did It Go?

31 Dec 2021 17:55 UTC
65 points

# Com­putabil­ity and Complexity

5 Feb 2022 14:53 UTC
21 points
(www.metaculus.com)

# The Type II In­ner-Com­pass Theorem

6 Mar 2023 2:35 UTC
−16 points

# Is the uni­verse all there is? ‘Ev­i­dence’ for ob­jects out­side the uni­verse...

14 Jan 2024 23:56 UTC
−4 points

# Rel­a­tivized Defi­ni­tions as a Method to Sidestep the Löbian Obstacle

27 Feb 2022 6:37 UTC
27 points

# Re­cre­at­ing logic in type theory

21 Dec 2022 15:19 UTC
12 points

# Ap­plied Lin­ear Alge­bra Lec­ture Series

22 Dec 2022 6:57 UTC
102 points

# Some Notes on the math­e­mat­ics of Toy Au­toen­cod­ing Problems

22 Dec 2022 17:21 UTC
14 points

# If your solu­tion doesn’t work, make it work

11 Mar 2022 16:10 UTC
17 points

# [Question] Re­sources to see how peo­ple think/​ap­proach math­e­mat­ics and prob­lem-solving

27 Mar 2023 19:12 UTC
7 points

# [Question] Godel in sec­ond-or­der logic?

26 Jul 2020 7:16 UTC
6 points

# Whence the de­ter­mi­nant?

13 Mar 2022 19:38 UTC
23 points

# Mo­dal Fix­point Co­op­er­a­tion with­out Löb’s Theorem

5 Feb 2023 0:58 UTC
133 points

# [Question] What are the best el­e­men­tary math prob­lems you know?

20 Mar 2022 17:18 UTC
40 points

# Ar­bital scrape

6 Jun 2019 23:11 UTC
89 points

# Triv­ial Math­e­mat­ics as a Path Forward

3 Jan 2024 16:41 UTC
−4 points

# Sam Har­ris and the Is–Ought Gap

16 Nov 2018 1:04 UTC
89 points

# Co-Proofs

21 May 2018 21:10 UTC
39 points

# A Proper Scor­ing Rule for Con­fi­dence Intervals

13 Feb 2018 1:45 UTC
63 points

# The math­e­mat­i­cal uni­verse: the map that is the territory

26 Mar 2010 9:26 UTC
102 points

# The Power of Pos­i­tivist Thinking

21 Mar 2009 20:55 UTC
90 points

# Zoom In: An In­tro­duc­tion to Circuits

10 Mar 2020 19:36 UTC
85 points
(distill.pub)

# Sums and products

27 Mar 2022 21:57 UTC
23 points
(www.metaculus.com)

# Proofs, Im­pli­ca­tions, and Models

30 Oct 2012 13:02 UTC
125 points

# Refram­ing the evolu­tion­ary benefit of sex

14 Sep 2019 17:00 UTC
91 points
(sideways-view.com)

# Prob­a­bil­ity space has 2 metrics

10 Feb 2019 0:28 UTC
88 points

# Reflec­tion in Prob­a­bil­is­tic Logic

24 Mar 2013 16:37 UTC
112 points

# Re­cent Progress in the The­ory of Neu­ral Networks

4 Dec 2019 23:11 UTC
83 points

# An Un­trol­lable Math­e­mat­i­cian Illustrated

20 Mar 2018 0:00 UTC
157 points

# The me­dian and mode use less in­for­ma­tion than the mean does

1 Apr 2022 21:25 UTC
10 points

# Op­tional stopping

2 Apr 2022 13:58 UTC
14 points

# Set Up for Suc­cess: In­sights from ‘Naïve Set The­ory’

28 Feb 2018 2:01 UTC
29 points

# Tiling Agents for Self-Mod­ify­ing AI (OPFAI #2)

6 Jun 2013 20:24 UTC
88 points

# The Crack­pot Offer

8 Sep 2007 14:32 UTC
100 points

# Re­duc­ing col­lec­tive ra­tio­nal­ity to in­di­vi­d­ual op­ti­miza­tion in com­mon-pay­off games us­ing MCMC

20 Aug 2018 0:51 UTC
59 points

# En­tropy, and Short Codes

23 Feb 2008 3:16 UTC
75 points

# In­sights from Lin­ear Alge­bra Done Right

13 Jul 2019 18:24 UTC
53 points

# The Quo­ta­tion is not the Referent

13 Mar 2008 0:53 UTC
71 points

# Prob­a­bil­ity is Real, and Value is Complex

20 Jul 2018 5:24 UTC
77 points

# [Question] Why does cat­e­gory the­ory ex­ist?

25 Apr 2019 4:54 UTC
37 points

# Turn­ing Up the Heat: In­sights from Tao’s ‘Anal­y­sis II’

24 Aug 2018 17:54 UTC
36 points

# Against Not Read­ing Math Books Prob­lems-First (If You’ve Found It Helpful Be­fore)

22 May 2018 12:59 UTC
10 points

# Harry Pot­ter in The World of Path Semantics

22 Mar 2023 20:22 UTC
−3 points
(raw.githubusercontent.com)

# I bet \$500 on AI win­ning the IMO gold medal by 2026

11 May 2023 14:46 UTC
37 points

# The Prin­ci­ple of Pre­dicted Improvement

23 Apr 2019 21:21 UTC
69 points

# And My Ax­iom! In­sights from ‘Com­putabil­ity and Logic’

16 Jan 2019 19:48 UTC
42 points

# In­sights from Munkres’ Topology

17 Mar 2019 16:52 UTC
30 points

# Real­ity and re­al­ity-boxes

13 May 2023 14:14 UTC
37 points

# How to pick your categories

11 Nov 2010 15:13 UTC
78 points

# A hun­dredth of a bit of ex­tra entropy

24 Dec 2022 21:12 UTC
83 points

# A List of things I might do with a Proof Oracle

5 Feb 2023 18:14 UTC
−14 points

# DSLT 1. The RLCT Mea­sures the Effec­tive Di­men­sion of Neu­ral Networks

16 Jun 2023 9:50 UTC
44 points

# Men­tal Con­text for Model Theory

30 Oct 2013 6:35 UTC
113 points

# The sen­tence struc­ture of mathematics

7 Oct 2019 18:58 UTC
41 points

# Prob­a­bil­ity as Min­i­mal Map

1 Sep 2019 19:19 UTC
48 points

# A sum­mary of Sav­age’s foun­da­tions for prob­a­bil­ity and util­ity.

22 May 2011 19:56 UTC
81 points

# Fun With DAGs

13 May 2018 19:35 UTC
15 points

# Don’t Get Dis­tracted by the Boilerplate

26 Jul 2018 2:15 UTC
55 points

# Some con­struc­tions for proof-based co­op­er­a­tion with­out Löb

21 Mar 2023 16:12 UTC
43 points

# Com­plete­ness, in­com­plete­ness, and what it all means: first ver­sus sec­ond or­der logic

16 Jan 2012 17:38 UTC
79 points

6 Apr 2012 5:20 UTC
29 points

# In­ter­view Daniel Mur­fet on Univer­sal Phenom­ena in Learn­ing Machines

6 Feb 2023 0:00 UTC
43 points

# Distill­ing and ap­proaches to the determinant

6 Apr 2022 6:34 UTC
6 points

# Com­plete Class: Con­se­quen­tial­ist Foundations

11 Jul 2018 1:57 UTC
53 points

# Prob­a­bil­ity in­ter­pre­ta­tions: Examples

11 May 2019 20:32 UTC
38 points

# Solv­ing the Brazilian Chil­dren’s Game of 007

6 Apr 2022 13:03 UTC
4 points

# Al­gorithms as Case Stud­ies in Rationality

14 Feb 2011 18:27 UTC
38 points

# Log­i­cal Rep­re­sen­ta­tion of Causal Models

21 Jan 2020 20:04 UTC
37 points

# Death Note, Anonymity, and In­for­ma­tion Theory

8 May 2011 15:44 UTC
55 points

# A proof of Löb’s the­o­rem in Haskell

19 Sep 2014 13:01 UTC
52 points

# Pri­ors as Math­e­mat­i­cal Objects

12 Apr 2007 3:24 UTC
51 points

# Beau­tiful Math

10 Jan 2008 22:43 UTC
33 points

# Imag­ine a World Where Govern­ments Treated COVID-19 Properly

12 Aug 2020 22:52 UTC
−2 points

# Draft/​wiki: In­fini­ties and mea­sur­ing in­finite sets: A quick reference

24 Dec 2010 4:52 UTC
42 points

# Von Neu­mann’s cri­tique of au­tomata the­ory and logic in com­puter science

26 May 2019 4:14 UTC
29 points

# You only need faith in two things

10 Mar 2013 23:45 UTC
46 points

# The Na­ture of Logic

15 Nov 2008 6:20 UTC
42 points

# In­finite Sum­ma­tions: A Ra­tion­al­ity Lit­mus Test

20 Jan 2017 9:31 UTC
38 points

# 0.999...=1: Another Ra­tion­al­ity Lit­mus Test

21 Jan 2017 2:16 UTC
28 points

# Con­tin­u­ous Im­prove­ment: In­sights from ‘Topol­ogy’

22 Feb 2020 21:58 UTC
30 points

# The Quick Bayes Table

18 Apr 2012 18:00 UTC
60 points

# [Math] Towards Proof Writ­ing as a Skill In Itself

13 Jun 2018 4:39 UTC
25 points

# Neu­roevolu­tion, So­cial In­tel­li­gence, and Logic

31 May 2023 17:54 UTC
1 point

# The­o­ret­i­cal Limi­ta­tions of Au­tore­gres­sive Models

30 May 2023 2:37 UTC
20 points
(gabrieldwu.github.io)

# Don’t be afraid of the thou­sand-year-old vampire

18 Apr 2022 1:22 UTC
37 points

# How valuable is it to learn math deeply?

2 Sep 2013 18:01 UTC
33 points

# DSLT 2. Why Neu­ral Net­works obey Oc­cam’s Razor

18 Jun 2023 0:23 UTC
20 points

# [Heb­bian Nat­u­ral Ab­strac­tions] Math­e­mat­i­cal Foundations

25 Dec 2022 20:58 UTC
15 points
(www.snellessen.com)

# Short Re­mark on the (sub­jec­tive) math­e­mat­i­cal ‘nat­u­ral­ness’ of the Nanda—Lie­berum ad­di­tion mod­ulo 113 algorithm

1 Jun 2023 11:31 UTC
104 points

# Con­ti­nen­tal Philos­o­phy as Un­der­grad­u­ate Mathematics

26 Apr 2022 8:05 UTC
16 points
(universalprior.substack.com)

# Prob­a­bil­is­tic Löb theorem

26 Apr 2013 18:45 UTC
51 points

# Bayesian Utility: Rep­re­sent­ing Prefer­ence by Prob­a­bil­ity Measures

27 Jul 2009 14:28 UTC
48 points