RSS

Logic & Math­e­mat­ics

TagLast edit: Feb 3, 2023, 3:33 PM by _will_

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.

See also

Log­i­cal Share Splitting

DaemonicSigilSep 11, 2023, 4:08 AM
93 points

45 votes

Overall karma indicates overall quality.

16 comments9 min readLW link
(pbement.com)

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

mako yassSep 28, 2021, 1:54 AM
11 points

5 votes

Overall karma indicates overall quality.

3 comments1 min readLW link

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

RogerDearnaleyJan 5, 2024, 8:46 AM
37 points

19 votes

Overall karma indicates overall quality.

4 comments2 min readLW link

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

Maxwell PetersonDec 8, 2020, 7:23 AM
142 points

75 votes

Overall karma indicates overall quality.

40 comments4 min readLW link

Stan­dard and Non­stan­dard Numbers

Eliezer YudkowskyDec 20, 2012, 3:23 AM
82 points

54 votes

Overall karma indicates overall quality.

89 comments15 min readLW link

Ex­plain­ing a Math Magic Trick

Robert_AIZIMay 5, 2024, 7:41 PM
99 points

52 votes

Overall karma indicates overall quality.

10 comments5 min readLW link

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

Alex_AltairOct 20, 2022, 9:03 PM
246 points

120 votes

Overall karma indicates overall quality.

78 comments18 min readLW link1 review

Con­struc­tive Cauchy se­quences vs. Dedekind cuts

jessicataMar 14, 2024, 11:04 PM
47 points

11 votes

Overall karma indicates overall quality.

23 comments4 min readLW link
(unstableontology.com)

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

DanielFilanFeb 12, 2022, 3:20 AM
15 points

8 votes

Overall karma indicates overall quality.

6 comments1 min readLW link
(danielfilan.com)

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

LawrenceCOct 5, 2022, 4:20 PM
82 points

44 votes

Overall karma indicates overall quality.

18 comments1 min readLW link
(www.deepmind.com)

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

Jan Christian RefsgaardMay 8, 2021, 7:45 PM
21 points

11 votes

Overall karma indicates overall quality.

7 comments3 min readLW link
(www.badprior.com)

Log­i­cal Pinpointing

Eliezer YudkowskyNov 2, 2012, 3:33 PM
133 points

93 votes

Overall karma indicates overall quality.

345 comments10 min readLW link

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

DirectedEvolutionSep 2, 2021, 4:36 PM
16 points

9 votes

Overall karma indicates overall quality.

21 comments11 min readLW link

The Promise and Peril of Finite Sets

davidadDec 10, 2021, 12:29 PM
42 points

19 votes

Overall karma indicates overall quality.

5 comments6 min readLW link

Cir­cu­lar Reasoning

abramdemskiAug 5, 2024, 6:10 PM
91 points

58 votes

Overall karma indicates overall quality.

40 comments8 min readLW link

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

Eliezer YudkowskySep 27, 2007, 11:00 PM
161 points

151 votes

Overall karma indicates overall quality.

410 comments3 min readLW link

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

Stuart_ArmstrongJul 14, 2020, 7:30 PM
82 points

33 votes

Overall karma indicates overall quality.

28 comments4 min readLW link

Con­di­tion­als All The Way Down

lunatic_at_largeSep 30, 2023, 9:06 PM
33 points

14 votes

Overall karma indicates overall quality.

2 comments3 min readLW link

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

Shankar SivarajanFeb 18, 2024, 4:46 PM
20 points

26 votes

Overall karma indicates overall quality.

28 comments3 min readLW link

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

ViliamMar 23, 2022, 11:12 PM
36 points

20 votes

Overall karma indicates overall quality.

28 comments5 min readLW link

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

daozaichApr 22, 2018, 7:41 PM
63 points

55 votes

Overall karma indicates overall quality.

14 comments2 min readLW link

Cat­e­gories: mod­els of models

countedblessingsOct 9, 2019, 2:45 AM
52 points

31 votes

Overall karma indicates overall quality.

18 comments13 min readLW link

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

JonahSFeb 12, 2015, 1:29 AM
103 points

87 votes

Overall karma indicates overall quality.

142 comments12 min readLW link

Payor’s Lemma in Nat­u­ral Language

Andrew_CritchMar 2, 2023, 12:22 PM
65 points

31 votes

Overall karma indicates overall quality.

0 comments2 min readLW link

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

So8resFeb 17, 2014, 8:52 PM
58 points

38 votes

Overall karma indicates overall quality.

14 comments7 min readLW link

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

riceissaJan 19, 2021, 2:09 AM
16 points

5 votes

Overall karma indicates overall quality.

1 comment4 min readLW link

The Geo­met­ric Expectation

Scott GarrabrantNov 23, 2022, 6:05 PM
168 points

70 votes

Overall karma indicates overall quality.

22 comments4 min readLW link

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

Noosphere89Jul 29, 2023, 11:53 PM
6 points

1 vote

Overall karma indicates overall quality.

12 comments1 min readLW link

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

Alex_AltairDec 10, 2022, 12:13 AM
45 points

18 votes

Overall karma indicates overall quality.

3 comments7 min readLW link

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

jimrandomhJul 16, 2021, 10:03 PM
25 points

16 votes

Overall karma indicates overall quality.

21 comments1 min readLW link

Steel­man­ning heuris­tic arguments

Dmitry VaintrobApr 13, 2025, 1:09 AM
78 points

27 votes

Overall karma indicates overall quality.

0 comments17 min readLW link

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

Fabien RogerMar 9, 2023, 4:35 PM
50 points

21 votes

Overall karma indicates overall quality.

6 comments4 min readLW link

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

VipulNaikNov 29, 2023, 6:11 PM
33 points

18 votes

Overall karma indicates overall quality.

16 comments14 min readLW link

The hy­per­finite timeline

Alok SinghDec 30, 2022, 9:30 AM
3 points

5 votes

Overall karma indicates overall quality.

6 comments1 min readLW link
(alok.github.io)

Seek Mis­takes in the Space Between Math and Reality

aphyerMar 1, 2022, 5:58 AM
30 points

19 votes

Overall karma indicates overall quality.

23 comments4 min readLW link

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

Dawn DrainApr 5, 2022, 6:19 AM
6 points

5 votes

Overall karma indicates overall quality.

2 comments4 min readLW link

Fun math facts about 2023

Adam ScherlisJan 1, 2023, 11:38 PM
9 points

4 votes

Overall karma indicates overall quality.

6 comments1 min readLW link

Brun’s the­o­rem and sieve theory

Ege ErdilDec 2, 2022, 8:57 PM
31 points

12 votes

Overall karma indicates overall quality.

1 comment73 min readLW link

Deriva­tive AT a discontinuity

Alok SinghOct 24, 2024, 2:48 AM
10 points

9 votes

Overall karma indicates overall quality.

5 comments10 min readLW link

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

Rafael HarthApr 6, 2022, 7:31 PM
14 points

7 votes

Overall karma indicates overall quality.

1 comment67 min readLW link

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

So8resSep 30, 2013, 4:09 PM
52 points

37 votes

Overall karma indicates overall quality.

21 comments5 min readLW link

Uncer­tainty in all its flavours

Cleo NardoJan 9, 2024, 4:21 PM
34 points

11 votes

Overall karma indicates overall quality.

6 comments35 min readLW link

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

TurnTroutMay 4, 2020, 3:45 PM
126 points

57 votes

Overall karma indicates overall quality.

17 comments4 min readLW link

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

jollybardMay 25, 2020, 5:35 AM
78 points

36 votes

Overall karma indicates overall quality.

15 comments5 min readLW link

What makes math prob­lems hard for re­in­force­ment learn­ing: a case study

Anibal, Bartek, Sergei, Shehper and PiotrSep 2, 2024, 6:11 PM
1 point

3 votes

Overall karma indicates overall quality.

0 comments2 min readLW link
(arxiv.org)

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

Sam MarksSep 29, 2021, 7:03 PM
101 points

62 votes

Overall karma indicates overall quality.

23 comments23 min readLW link1 review

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

Gunnar_ZarnckeMar 16, 2022, 11:58 AM
9 points

11 votes

Overall karma indicates overall quality.

2 comments1 min readLW link

Science and Math

lsusrNov 27, 2022, 4:05 AM
19 points

23 votes

Overall karma indicates overall quality.

6 comments1 min readLW link

The Law of Identity

Chris_LeongFeb 6, 2023, 2:59 AM
5 points

6 votes

Overall karma indicates overall quality.

5 comments4 min readLW link

Con­volu­tion as smoothing

Maxwell PetersonNov 25, 2020, 6:00 AM
29 points

12 votes

Overall karma indicates overall quality.

5 comments3 min readLW link

Log­i­cal Correlation

niplavFeb 10, 2025, 11:29 PM
24 points

7 votes

Overall karma indicates overall quality.

7 comments10 min readLW link

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

Alok SinghDec 19, 2022, 8:40 AM
8 points

4 votes

Overall karma indicates overall quality.

3 comments1 min readLW link
(alok.github.io)

The con­sis­tent guess­ing prob­lem is eas­ier than the halt­ing problem

jessicataMay 20, 2024, 4:02 AM
38 points

9 votes

Overall karma indicates overall quality.

5 comments4 min readLW link
(unstableontology.com)

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

TurnTroutApr 22, 2018, 5:23 AM
40 points

27 votes

Overall karma indicates overall quality.

12 comments10 min readLW link

Wob­bly Table The­o­rem in Practice

MorpheusSep 28, 2023, 2:33 PM
25 points

15 votes

Overall karma indicates overall quality.

0 comments2 min readLW link

The ab­solute ba­sics of rep­re­sen­ta­tion the­ory of finite groups

Dmitry VaintrobJan 8, 2025, 9:47 AM
21 points

8 votes

Overall karma indicates overall quality.

1 comment10 min readLW link

A sim­ple model of math skill

Alex_AltairJul 21, 2024, 6:57 PM
101 points

55 votes

Overall karma indicates overall quality.

16 comments8 min readLW link

Harry Pot­ter and the Method of Entropy

alkjashMar 31, 2018, 8:10 PM
11 points

7 votes

Overall karma indicates overall quality.

12 comments1 min readLW link
(radimentary.wordpress.com)

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

DragonGodFeb 3, 2023, 9:26 PM
8 points

2 votes

Overall karma indicates overall quality.

1 comment1 min readLW link

You Can’t Pre­dict a Game of Pinball

Jeffrey HeningerMar 30, 2023, 12:40 AM
61 points

52 votes

Overall karma indicates overall quality.

13 comments6 min readLW link1 review
(aiimpacts.org)

Em­piri­cal vs. Math­e­mat­i­cal Joints of Nature

Elizabeth and Alex_Altair
Jun 26, 2024, 1:55 AM
35 points

11 votes

Overall karma indicates overall quality.

1 comment5 min readLW link

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

Noosphere89Jul 24, 2023, 5:53 PM
10 points

8 votes

Overall karma indicates overall quality.

10 comments3 min readLW link

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

alyssavanceJan 17, 2024, 5:17 PM
45 points

31 votes

Overall karma indicates overall quality.

9 comments1 min readLW link
(deepmind.google)

What are we do­ing when we do math­e­mat­ics?

epicurusMar 14, 2025, 8:54 PM
7 points

3 votes

Overall karma indicates overall quality.

2 comments1 min readLW link
(asving.com)

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

David UdellFeb 16, 2023, 9:57 PM
29 points

13 votes

Overall karma indicates overall quality.

0 comments18 min readLW link

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

curiAug 25, 2020, 5:09 PM
7 points

7 votes

Overall karma indicates overall quality.

15 comments2 min readLW link

I Fi­nally Worked Through Bayes’ The­o­rem (Per­sonal Achieve­ment)

keltanDec 5, 2024, 2:04 AM
53 points

30 votes

Overall karma indicates overall quality.

7 comments9 min readLW link

Hes­sian and Basin volume

Vivek HebbarJul 10, 2022, 6:59 AM
35 points

16 votes

Overall karma indicates overall quality.

10 comments4 min readLW link

Deal­ing with in­finite entropy

Alex_AltairMar 1, 2023, 3:01 PM
72 points

24 votes

Overall karma indicates overall quality.

9 comments11 min readLW link

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

lsusrDec 22, 2021, 8:03 AM
53 points

44 votes

Overall karma indicates overall quality.

23 comments1 min readLW link

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

Tom LieberumDec 24, 2021, 6:05 PM
16 points

8 votes

Overall karma indicates overall quality.

2 comments3 min readLW link

The Meta-Puzzle

DanielFilanNov 22, 2021, 5:30 AM
23 points

12 votes

Overall karma indicates overall quality.

27 comments3 min readLW link
(danielfilan.com)

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

DirectedEvolutionJul 10, 2020, 6:43 PM
23 points

9 votes

Overall karma indicates overall quality.

27 comments3 min readLW link

Naive Set The­ory, Halmos

David UdellDec 22, 2022, 2:34 AM
11 points

4 votes

Overall karma indicates overall quality.

1 comment8 min readLW link

A Pre­co­cious Baby’s Guide to Anthropics

LinchJul 28, 2025, 10:20 PM
23 points

8 votes

Overall karma indicates overall quality.

0 comments2 min readLW link
(linch.substack.com)

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

adamShimiDec 11, 2022, 3:16 PM
54 points

23 votes

Overall karma indicates overall quality.

18 comments1 min readLW link
(epistemologicalvigilance.substack.com)

Alge­braic Linguistics

abstractapplicDec 7, 2024, 7:18 PM
35 points

13 votes

Overall karma indicates overall quality.

29 comments5 min readLW link

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

AlexMennenJan 25, 2011, 7:32 PM
13 points

10 votes

Overall karma indicates overall quality.

41 comments2 min readLW link

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

TurnTroutApr 4, 2020, 3:38 AM
32 points

7 votes

Overall karma indicates overall quality.

3 comments9 min readLW link

The pur­pose­ful drunkard

Dmitry VaintrobJan 12, 2025, 12:27 PM
98 points

39 votes

Overall karma indicates overall quality.

13 comments6 min readLW link

Are Bayesian meth­ods guaran­teed to overfit?

Ege ErdilJun 17, 2023, 12:52 PM
52 points

24 votes

Overall karma indicates overall quality.

5 comments3 min readLW link
(www.yulingyao.com)

Per­ma­nents: much more than you wanted to know

Dmitry VaintrobJan 16, 2025, 8:04 AM
17 points

7 votes

Overall karma indicates overall quality.

2 comments15 min readLW link

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

JonahSFeb 18, 2015, 11:11 AM
78 points

53 votes

Overall karma indicates overall quality.

140 comments9 min readLW link

Ba­sic In­framea­sure Theory

DiffractorAug 27, 2020, 8:02 AM
41 points

15 votes

Overall karma indicates overall quality.

20 comments29 min readLW link

A Primer On Chaos

johnswentworthMar 28, 2023, 6:01 PM
53 points

25 votes

Overall karma indicates overall quality.

9 comments9 min readLW link

Come join Dove­tail’s agent foun­da­tions fel­low­ship talks & discussion

Alex_AltairFeb 15, 2025, 10:10 PM
24 points

8 votes

Overall karma indicates overall quality.

0 comments1 min readLW link

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

lsusrSep 22, 2021, 10:22 PM
25 points

27 votes

Overall karma indicates overall quality.

4 comments4 min readLW link

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

JsevillamolNov 15, 2020, 6:37 PM
55 points

33 votes

Overall karma indicates overall quality.

11 comments2 min readLW link1 review

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

Eliezer YudkowskyAug 17, 2008, 8:35 PM
45 points

36 votes

Overall karma indicates overall quality.

105 comments1 min readLW link

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

J BostockJul 30, 2021, 12:36 PM
13 points

6 votes

Overall karma indicates overall quality.

7 comments3 min readLW link

Against Epistemic Democ­racy: A Epistemic Tier List of What Ac­tu­ally Works

LinchAug 13, 2025, 9:28 PM
9 points

8 votes

Overall karma indicates overall quality.

3 comments1 min readLW link
(linch.substack.com)

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

Scott GarrabrantApr 11, 2018, 6:19 PM
61 points

40 votes

Overall karma indicates overall quality.

5 comments1 min readLW link
(arxiv.org)

In­con­sis­tent math is great

Alok SinghDec 25, 2022, 3:20 AM
1 point

8 votes

Overall karma indicates overall quality.

2 comments1 min readLW link

Dis­con­tin­u­ous Lin­ear Func­tions?!

Zack_M_DavisJun 6, 2025, 12:29 AM
45 points

23 votes

Overall karma indicates overall quality.

10 comments2 min readLW link
(zackmdavis.net)

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

Maxwell PetersonNov 21, 2020, 4:09 AM
38 points

18 votes

Overall karma indicates overall quality.

16 comments4 min readLW link

A ker­nel of Lie theory

Alok SinghJan 2, 2023, 9:20 AM
−1 points

10 votes

Overall karma indicates overall quality.

8 comments1 min readLW link
(alok.github.io)

Hyperpolation

Gunnar_ZarnckeSep 15, 2024, 9:37 PM
23 points

12 votes

Overall karma indicates overall quality.

6 comments1 min readLW link
(arxiv.org)

Rec­og­niz­ing Numbers

johnswentworthJan 20, 2021, 7:50 PM
29 points

10 votes

Overall karma indicates overall quality.

3 comments7 min readLW link

How to elimi­nate cut?

jessicataJun 11, 2024, 3:54 PM
22 points

9 votes

Overall karma indicates overall quality.

0 comments14 min readLW link
(unstableontology.com)

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

TurnTroutJun 1, 2018, 6:16 PM
28 points

22 votes

Overall karma indicates overall quality.

8 comments9 min readLW link

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

Matthias G. MayerOct 2, 2023, 3:16 PM
17 points

8 votes

Overall karma indicates overall quality.

0 comments3 min readLW link

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

Ege ErdilJun 23, 2023, 4:09 PM
83 points

28 votes

Overall karma indicates overall quality.

7 comments6 min readLW link

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

aysajanJan 31, 2022, 8:18 PM
13 points

8 votes

Overall karma indicates overall quality.

0 comments6 min readLW link

Mud­dling Through Some Thoughts on the Na­ture of Historiography

E.G. Blee-GoldmanMay 9, 2025, 7:04 PM
2 points

1 vote

Overall karma indicates overall quality.

0 comments4 min readLW link

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

Alex_AltairNov 23, 2022, 8:15 PM
21 points

7 votes

Overall karma indicates overall quality.

9 comments1 min readLW link

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

HazardJun 28, 2020, 6:50 PM
45 points

21 votes

Overall karma indicates overall quality.

11 comments12 min readLW link

Mis­takes peo­ple make when think­ing about units

Isaac KingJun 25, 2024, 3:39 AM
74 points

35 votes

Overall karma indicates overall quality.

14 comments7 min readLW link

“AI achieves silver-medal stan­dard solv­ing In­ter­na­tional Math­e­mat­i­cal Olympiad prob­lems”

gjmJul 25, 2024, 3:58 PM
133 points

70 votes

Overall karma indicates overall quality.

38 comments2 min readLW link
(deepmind.google)

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

YitzJan 17, 2024, 9:48 AM
82 points

37 votes

Overall karma indicates overall quality.

11 comments9 min readLW link

On polytopes

Dmitry VaintrobJan 25, 2025, 1:56 PM
56 points

16 votes

Overall karma indicates overall quality.

5 comments12 min readLW link

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

Sunny from QADJul 16, 2020, 12:36 PM
6 points

2 votes

Overall karma indicates overall quality.

7 comments1 min readLW link
(questionsanddaylight.com)

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

RaemonJan 1, 2019, 9:29 PM
31 points

11 votes

Overall karma indicates overall quality.

12 comments1 min readLW link

Proof as mere strong evidence

adamShimiDec 14, 2022, 8:56 AM
28 points

11 votes

Overall karma indicates overall quality.

16 comments2 min readLW link
(epistemologicalvigilance.substack.com)

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

lsusrApr 3, 2022, 8:52 PM
22 points

27 votes

Overall karma indicates overall quality.

29 comments6 min readLW link

Why Real­ity Has A Well-Known Math Bias

LinchJul 21, 2025, 10:13 PM
42 points

20 votes

Overall karma indicates overall quality.

18 comments1 min readLW link
(linch.substack.com)

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

lsusrMar 3, 2022, 5:06 AM
14 points

10 votes

Overall karma indicates overall quality.

4 comments1 min readLW link

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

Stuart_ArmstrongJul 9, 2021, 5:35 PM
9 points

1 vote

Overall karma indicates overall quality.

0 comments8 min readLW link

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

Yudhister KumarNov 28, 2023, 10:27 AM
80 points

29 votes

Overall karma indicates overall quality.

14 comments6 min readLW link

In­fra-Topology

DiffractorApr 22, 2022, 2:10 AM
36 points

13 votes

Overall karma indicates overall quality.

1 comment17 min readLW link

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

Stuart_ArmstrongJan 28, 2018, 11:14 AM
69 points

45 votes

Overall karma indicates overall quality.

31 comments1 min readLW link

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

BunthutAug 8, 2020, 10:14 PM
6 points

4 votes

Overall karma indicates overall quality.

2 comments2 min readLW link

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

Alok SinghSep 23, 2022, 6:30 AM
6 points

5 votes

Overall karma indicates overall quality.

3 comments1 min readLW link
(alok.github.io)

Re: Se­cond-Order Logic: The Controversy

abramdemskiJan 5, 2013, 10:33 AM
22 points

11 votes

Overall karma indicates overall quality.

7 comments5 min readLW link

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

ViktoriaMalyasovaMar 14, 2023, 7:10 AM
31 points

9 votes

Overall karma indicates overall quality.

0 comments12 min readLW link
(www.lesswrong.com)

Black ravens and red herrings

Matthew BarnettJul 27, 2021, 5:46 PM
52 points

27 votes

Overall karma indicates overall quality.

17 comments1 min readLW link

De­quan­tify­ing first-or­der theories

jessicataApr 23, 2024, 7:04 PM
40 points

14 votes

Overall karma indicates overall quality.

9 comments8 min readLW link
(unstableontology.com)

Se­cond-Order Logic: The Controversy

Eliezer YudkowskyJan 4, 2013, 7:51 PM
68 points

49 votes

Overall karma indicates overall quality.

192 comments15 min readLW link

Un­der­stand­ing Gödel’s com­plete­ness theorem

jessicataMay 27, 2024, 6:55 PM
40 points

11 votes

Overall karma indicates overall quality.

0 comments15 min readLW link
(unstableontology.com)

Topolog­i­cal Fixed Point Exercises

Scott Garrabrant and SamEisenstat
Nov 17, 2018, 1:40 AM
71 points

30 votes

Overall karma indicates overall quality.

51 comments3 min readLW link

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

paulfchristianoFeb 25, 2011, 6:06 PM
66 points

46 votes

Overall karma indicates overall quality.

53 comments3 min readLW link

[Question] What is the alpha in one bit of ev­i­dence?

J BostockOct 22, 2024, 9:57 PM
20 points

6 votes

Overall karma indicates overall quality.

13 comments1 min readLW link

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

CallumMcDougallJul 4, 2023, 7:23 PM
72 points

35 votes

Overall karma indicates overall quality.

1 comment1 min readLW link

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

Alex_AltairApr 6, 2022, 4:57 AM
21 points

8 votes

Overall karma indicates overall quality.

5 comments5 min readLW link

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

muzammilSep 1, 2022, 5:56 PM
0 points

4 votes

Overall karma indicates overall quality.

3 comments1 min readLW link

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

Noosphere89Jul 30, 2023, 2:33 PM
−5 points

5 votes

Overall karma indicates overall quality.

16 comments15 min readLW link

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

cousin_itOct 4, 2010, 11:30 AM
27 points

23 votes

Overall karma indicates overall quality.

16 comments1 min readLW link

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

johnswentworthMay 16, 2023, 9:31 PM
40 points

14 votes

Overall karma indicates overall quality.

11 comments2 min readLW link

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

VipulNaikDec 23, 2022, 8:26 PM
22 points

6 votes

Overall karma indicates overall quality.

2 comments38 min readLW link

Plau­si­bly Fac­tor­ing Con­jec­tures

Quinn and dspivak
Nov 22, 2024, 8:11 PM
22 points

6 votes

Overall karma indicates overall quality.

4 comments10 min readLW link

Lin­ear Alge­bra Done Right, Axler

David UdellJan 2, 2023, 10:54 PM
57 points

23 votes

Overall karma indicates overall quality.

6 comments9 min readLW link

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

Andrew_CritchJan 1, 2023, 5:39 PM
23 points

13 votes

Overall karma indicates overall quality.

8 comments7 min readLW link

In­tro­duc­tion to Rep­re­sent­ing Sen­tences as Log­i­cal Statements

Towards_KeeperhoodApr 5, 2025, 8:35 PM
22 points

11 votes

Overall karma indicates overall quality.

9 comments16 min readLW link

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

David_ChapmanSep 17, 2013, 12:02 AM
60 points

59 votes

Overall karma indicates overall quality.

73 comments5 min readLW link

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

carboniferous_umbraculum Feb 9, 2023, 1:45 AM
64 points

31 votes

Overall karma indicates overall quality.

8 comments6 min readLW link

Hyper­finite graphs ~ manifolds

Alok SinghDec 25, 2022, 12:24 PM
11 points

7 votes

Overall karma indicates overall quality.

5 comments2 min readLW link

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

Sam EnrightAug 31, 2021, 11:11 PM
33 points

19 votes

Overall karma indicates overall quality.

5 comments5 min readLW link

[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?

Noosphere89Dec 20, 2023, 3:36 PM
11 points

3 votes

Overall karma indicates overall quality.

15 comments1 min readLW link

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

johnswentworthSep 8, 2020, 8:44 PM
41 points

14 votes

Overall karma indicates overall quality.

1 comment4 min readLW link

Refer­ences & Re­sources for LessWrong

XiXiDuOct 10, 2010, 2:54 PM
168 points

135 votes

Overall karma indicates overall quality.

104 comments20 min readLW link

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

Charlie SteinerDec 19, 2017, 1:57 PM
3 points

5 votes

Overall karma indicates overall quality.

10 comments5 min readLW link

Gen­er­al­ized Stat Mech: The Boltz­mann Approach

David Lorell and johnswentworth
Apr 12, 2024, 5:47 PM
71 points

24 votes

Overall karma indicates overall quality.

7 comments20 min readLW link

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

So8resSep 19, 2013, 3:06 AM
51 points

35 votes

Overall karma indicates overall quality.

23 comments4 min readLW link

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

vlad.proexSep 27, 2020, 3:12 PM
81 points

38 votes

Overall karma indicates overall quality.

29 comments9 min readLW link

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

jessicataAug 16, 2023, 6:57 PM
79 points

22 votes

Overall karma indicates overall quality.

0 comments17 min readLW link
(unstableontology.com)

Re­place­able Ax­ioms give more cre­dence than ir­re­place­able axioms

Yoav RavidDec 20, 2024, 12:51 AM
6 points

3 votes

Overall karma indicates overall quality.

2 comments2 min readLW link

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

mako yassOct 17, 2023, 8:03 PM
22 points

19 votes

Overall karma indicates overall quality.

0 comments1 min readLW link
(blog.eleuther.ai)

Ac­cel­er­ated [Honors] Calculus

lsusrMar 6, 2022, 10:34 AM
33 points

20 votes

Overall karma indicates overall quality.

3 comments1 min readLW link

Is Scott Alexan­der bad at math?

JonahSMay 4, 2015, 5:11 AM
71 points

58 votes

Overall karma indicates overall quality.

220 comments6 min readLW link

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

Eliezer YudkowskyDec 25, 2012, 1:16 AM
80 points

55 votes

Overall karma indicates overall quality.

87 comments11 min readLW link

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

Donald HobsonJul 29, 2022, 12:12 AM
11 points

5 votes

Overall karma indicates overall quality.

4 comments1 min readLW link

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

Andrew_CritchDec 24, 2022, 2:02 AM
37 points

14 votes

Overall karma indicates overall quality.

17 comments3 min readLW link

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

SniffnoyNov 28, 2012, 12:05 AM
101 points

62 votes

Overall karma indicates overall quality.

25 comments2 min readLW link

Cat­e­gory The­ory Without The Baggage

johnswentworthFeb 3, 2020, 8:03 PM
139 points

62 votes

Overall karma indicates overall quality.

53 comments13 min readLW link

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

Thoth HermesSep 18, 2023, 6:53 PM
−11 points

10 votes

Overall karma indicates overall quality.

46 comments5 min readLW link
(thothhermes.substack.com)

Sets and Functions

countedblessingsOct 11, 2019, 5:06 AM
31 points

18 votes

Overall karma indicates overall quality.

22 comments10 min readLW link

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

TurnTroutJan 16, 2019, 7:48 PM
42 points

10 votes

Overall karma indicates overall quality.

17 comments8 min readLW link

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

Scott GarrabrantFeb 13, 2018, 1:45 AM
63 points

35 votes

Overall karma indicates overall quality.

47 comments1 min readLW link

Semi-Sim­pli­cial Types, Part I: Mo­ti­va­tion and History

astradiolMar 9, 2024, 10:07 PM
20 points

5 votes

Overall karma indicates overall quality.

3 comments10 min readLW link

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

abramdemskiJul 20, 2018, 5:24 AM
81 points

37 votes

Overall karma indicates overall quality.

21 comments6 min readLW link

A puzzle

ThomasApr 25, 2009, 2:33 AM
−11 points

28 votes

Overall karma indicates overall quality.

45 comments1 min readLW link

Gödel Refute

Jai DozMay 8, 2025, 6:54 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments2 min readLW link

Ex­am­ples of Measures

Maxwell PetersonNov 15, 2020, 1:44 AM
23 points

10 votes

Overall karma indicates overall quality.

20 comments2 min readLW link

For­mal­ized math: dream vs reality

cousin_itJul 9, 2009, 8:51 PM
19 points

22 votes

Overall karma indicates overall quality.

10 comments2 min readLW link

The Power of Pos­i­tivist Thinking

Scott AlexanderMar 21, 2009, 8:55 PM
95 points

94 votes

Overall karma indicates overall quality.

57 comments9 min readLW link

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

Bill BenzonJun 6, 2022, 8:34 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments4 min readLW link

Knowl­edge and Prov­abil­ity Inclusion

milanroskoMay 28, 2025, 10:50 AM
6 points

3 votes

Overall karma indicates overall quality.

0 comments3 min readLW link

The Type II In­ner-Com­pass Theorem

Tristan MianoMar 6, 2023, 2:35 AM
−16 points

7 votes

Overall karma indicates overall quality.

0 comments22 min readLW link

But Where do the Vari­ables of my Causal Model come from?

DalcyAug 9, 2024, 10:07 PM
38 points

13 votes

Overall karma indicates overall quality.

2 comments8 min readLW link

The Quo­ta­tion is not the Referent

Eliezer YudkowskyMar 13, 2008, 12:53 AM
77 points

54 votes

Overall karma indicates overall quality.

14 comments3 min readLW link

Ex­pected Utility, Geo­met­ric Utility, and Other Equiv­a­lent Representations

StrivingForLegibilityNov 20, 2024, 11:28 PM
10 points

2 votes

Overall karma indicates overall quality.

0 comments11 min readLW link

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

jessicataAug 20, 2018, 12:51 AM
59 points

20 votes

Overall karma indicates overall quality.

12 comments6 min readLW link

The Math­e­mat­i­cal Rea­son You should have 9 Kids

Zero ContradictionsJan 16, 2025, 11:24 AM
−9 points

13 votes

Overall karma indicates overall quality.

6 comments1 min readLW link
(eternalanglo.com)

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

ACrackedPotJan 3, 2024, 4:41 PM
−4 points

7 votes

Overall karma indicates overall quality.

2 comments2 min readLW link

A List of things I might do with a Proof Oracle

Logan ZoellnerFeb 5, 2023, 6:14 PM
−14 points

12 votes

Overall karma indicates overall quality.

13 comments3 min readLW link

The De­duc­tive Prob­lem: The Struc­tural Im­po­si­tion of a Creator/​Telos (Pur­pose)

barisyurtseverMay 30, 2025, 6:31 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments16 min readLW link

The Emer­gence of Math

AnotherIdiotNov 2, 2012, 1:08 AM
0 points

9 votes

Overall karma indicates overall quality.

44 comments4 min readLW link

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

Thomas KehrenbergDec 28, 2022, 8:16 PM
5 points

4 votes

Overall karma indicates overall quality.

0 comments16 min readLW link

A new math and one AI introduction

Tambet VäliApr 10, 2025, 4:47 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments1 min readLW link

Math­e­mat­i­cal Ev­i­dence for Con­fi­dent Delu­sion States in Re­cur­sive Systems

formslipSep 23, 2025, 4:54 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments4 min readLW link

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

Kaarel, gekaklam, Walter Laurito , Kay Kozaronek, AlexMennen and June Ku
Feb 23, 2023, 8:14 PM
51 points

30 votes

Overall karma indicates overall quality.

0 comments19 min readLW link

Holo­mor­phic sur­jec­tion the­o­rem (Pi­card’s lit­tle the­o­rem)

dkl9Jul 21, 2024, 1:24 PM
15 points

6 votes

Overall karma indicates overall quality.

0 comments2 min readLW link
(dkl9.net)

Toward a Dy­namic Defi­ni­tion of Eth­i­cal Vio­la­tion in AI Sys­tems: A Risk-Based Sys­tems Perspective

ParthivJun 21, 2025, 10:28 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments4 min readLW link

What if Be­ing Less Wrong is at the Base of the Uni­verse?

Aldo CernutoMar 13, 2025, 8:11 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments3 min readLW link

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

Eliezer YudkowskyMar 24, 2013, 4:37 PM
112 points

72 votes

Overall karma indicates overall quality.

168 comments3 min readLW link

Some things I’ve learned in college

Aaron BergmanMar 25, 2021, 9:30 PM
22 points

11 votes

Overall karma indicates overall quality.

1 comment7 min readLW link
(aaronbergman.substack.com)

Chu are you?

Adele LopezNov 6, 2021, 5:39 PM
60 points

19 votes

Overall karma indicates overall quality.

10 comments9 min readLW link
(adelelopez.com)

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

nullMay 4, 2018, 1:01 PM
8 points

7 votes

Overall karma indicates overall quality.

4 comments1 min readLW link

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

BenyaDec 15, 2013, 8:32 AM
37 points

26 votes

Overall karma indicates overall quality.

20 comments6 min readLW link

In­finity Is Not a Number

AdainApr 23, 2025, 2:46 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments3 min readLW link

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

Psy-KoshMay 9, 2009, 8:14 AM
2 points

7 votes

Overall karma indicates overall quality.

17 comments6 min readLW link

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

ZaneOct 23, 2023, 2:26 AM
35 points

18 votes

Overall karma indicates overall quality.

22 comments1 min readLW link

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

azsantoskMay 11, 2023, 2:46 PM
37 points

21 votes

Overall karma indicates overall quality.

31 comments1 min readLW link

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

Rafael HarthJul 13, 2019, 6:24 PM
54 points

25 votes

Overall karma indicates overall quality.

18 comments9 min readLW link

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

So8resMay 11, 2019, 8:32 PM
39 points

11 votes

Overall karma indicates overall quality.

23 comments5 min readLW link

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

habrykaMar 31, 2018, 8:38 PM
6 points

5 votes

Overall karma indicates overall quality.

0 comments3 min readLW link

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

Jordan TaylorOct 4, 2023, 8:04 AM
141 points

72 votes

Overall karma indicates overall quality.

11 comments19 min readLW link

Sam Har­ris and the Is–Ought Gap

Tyrrell_McAllisterNov 16, 2018, 1:04 AM
91 points

54 votes

Overall karma indicates overall quality.

46 comments6 min readLW link

An­nounce­ment: Learn­ing The­ory On­line Course

Yegreg and Alex Flint
Jan 20, 2025, 7:55 PM
63 points

23 votes

Overall karma indicates overall quality.

33 comments4 min readLW link

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

ojorgensenSep 28, 2022, 2:10 PM
20 points

11 votes

Overall karma indicates overall quality.

6 comments18 min readLW link

Data Pro­cess­ing. syl­l­o­gism and syl­l­o­gis­tic. syl­l­o­gis­tics in­tel­lec­tus cognitum

Mikhail FedorchenkoOct 29, 2024, 8:51 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments1 min readLW link

Un­known Probabilities

transhumanist_atom_understanderNov 27, 2023, 2:30 AM
22 points

13 votes

Overall karma indicates overall quality.

1 comment4 min readLW link

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

Samuel Nellessen and Jan
Dec 25, 2022, 8:58 PM
15 points

8 votes

Overall karma indicates overall quality.

2 comments6 min readLW link
(www.snellessen.com)

Don’t Get Dis­tracted by the Boilerplate

johnswentworthJul 26, 2018, 2:15 AM
96 points

64 votes

Overall karma indicates overall quality.

19 comments2 min readLW link

Deriv­ing the Geo­met­ric Utili­tar­ian Weights

StrivingForLegibilityAug 7, 2024, 1:39 AM
2 points

2 votes

Overall karma indicates overall quality.

0 comments11 min readLW link

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

Stuart_ArmstrongJan 16, 2012, 5:38 PM
79 points

49 votes

Overall karma indicates overall quality.

39 comments11 min readLW link

Distill­ing the In­ter­nal Model Prin­ci­ple part II

JoseFaustinoApr 30, 2025, 5:56 PM
15 points

11 votes

Overall karma indicates overall quality.

0 comments19 min readLW link

math ter­minol­ogy as convolution

bhauthOct 30, 2023, 1:05 AM
34 points

19 votes

Overall karma indicates overall quality.

1 comment4 min readLW link
(www.bhauth.com)

My thoughts on cor­re­la­tion and causation

Victor PortonDec 11, 2024, 5:08 AM
−13 points

5 votes

Overall karma indicates overall quality.

3 comments1 min readLW link

[Question] Can any LLM be rep­re­sented as an Equa­tion?

Valentin BaltadzhievMar 14, 2024, 9:51 AM
1 point

4 votes

Overall karma indicates overall quality.

2 comments1 min readLW link

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

JanApr 26, 2022, 8:05 AM
17 points

16 votes

Overall karma indicates overall quality.

3 comments9 min readLW link
(universalprior.substack.com)

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

Abhimanyu Pallavi SudhirDec 12, 2022, 4:03 PM
16 points

9 votes

Overall karma indicates overall quality.

14 comments14 min readLW link

Five views of Bayes’ Theorem

Adam ScherlisJul 2, 2022, 2:25 AM
38 points

13 votes

Overall karma indicates overall quality.

4 comments1 min readLW link

Why Gra­di­ents Van­ish and Explode

Matthew BarnettAug 9, 2019, 2:54 AM
25 points

14 votes

Overall karma indicates overall quality.

9 comments3 min readLW link

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

BoraskoDec 31, 2021, 5:55 PM
67 points

40 votes

Overall karma indicates overall quality.

10 comments10 min readLW link

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

jdcampolargoAug 12, 2020, 10:52 PM
−2 points

3 votes

Overall karma indicates overall quality.

0 comments4 min readLW link

Guilt by Association

AnnoyanceJun 24, 2009, 5:29 PM
1 point

8 votes

Overall karma indicates overall quality.

38 comments2 min readLW link

In set the­ory, ev­ery­thing is a set

Jacob G-WFeb 23, 2024, 2:35 PM
11 points

8 votes

Overall karma indicates overall quality.

9 comments2 min readLW link

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

JanOct 17, 2021, 8:28 PM
9 points

5 votes

Overall karma indicates overall quality.

9 comments6 min readLW link
(universalprior.substack.com)

Un­der­stand­ing Shap­ley Values with Venn Diagrams

Carson LDec 6, 2024, 9:56 PM
217 points

105 votes

Overall karma indicates overall quality.

36 comments4 min readLW link
(medium.com)

(Geo­met­ri­cally) Max­i­mal Lot­tery-Lot­ter­ies Exist

LorxusMay 3, 2024, 7:29 PM
13 points

11 votes

Overall karma indicates overall quality.

11 comments26 min readLW link

Straw­berry Causal Fields For­ever: Prov­ing (or Icarus­ing) Unified Causal Field The­ory, the Fi­nal Fron­tier of Causality

Cognitive JewometryJul 26, 2025, 6:29 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments3 min readLW link
(zenodo.org)

The Fun­da­men­tal Cir­cu­lar­ity The­o­rem: Why Some Math­e­mat­i­cal Be­havi­ours Are In­her­ently Unprovable

Alister MundayJan 22, 2025, 6:20 PM
−11 points

7 votes

Overall karma indicates overall quality.

2 comments4 min readLW link

Why Time Is Spe­cial: The Only Non-Ne­go­tiable Di­men­sion of Consciousness

Tsundere_dogJun 25, 2025, 12:01 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments4 min readLW link

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

Thomas KehrenbergDec 15, 2022, 2:54 PM
49 points

21 votes

Overall karma indicates overall quality.

9 comments13 min readLW link

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

Yaakov TOct 27, 2022, 11:23 AM
5 points

5 votes

Overall karma indicates overall quality.

9 comments1 min readLW link

A defi­ni­tion that counts (new­bie, try­ing to find my place and my voice, no na­tive en­glish speaker)

AxiomWriterMar 22, 2024, 6:03 PM
0 points

2 votes

Overall karma indicates overall quality.

0 comments1 min readLW link

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

Ben PaceMay 26, 2019, 4:14 AM
29 points

11 votes

Overall karma indicates overall quality.

4 comments3 min readLW link

What if Sub­trac­tion was the Mistake

SreeJun 16, 2025, 6:28 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments1 min readLW link

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

Ege ErdilMar 20, 2022, 5:18 PM
42 points

20 votes

Overall karma indicates overall quality.

84 comments1 min readLW link

In­te­gers as Compression

Chris_LeongOct 28, 2020, 7:36 AM
9 points

3 votes

Overall karma indicates overall quality.

7 comments2 min readLW link

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

Maxwell PetersonNov 27, 2021, 5:48 AM
23 points

13 votes

Overall karma indicates overall quality.

11 comments3 min readLW link

The Na­ture of Logic

Eliezer YudkowskyNov 15, 2008, 6:20 AM
42 points

34 votes

Overall karma indicates overall quality.

12 comments10 min readLW link

Ex­pect­ing Beauty

Eliezer YudkowskyJan 12, 2008, 3:00 AM
27 points

24 votes

Overall karma indicates overall quality.

7 comments3 min readLW link

Book Re­view: The MANIAC

AnnapurnaJul 31, 2025, 3:18 PM
15 points

5 votes

Overall karma indicates overall quality.

6 comments2 min readLW link
(jorgevelez.substack.com)

The Knock­down Ar­gu­ment Paradox

Bryan FrancesJan 28, 2023, 7:23 PM
−12 points

7 votes

Overall karma indicates overall quality.

6 comments8 min readLW link

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

Joseph Van NameAug 19, 2023, 7:52 PM
16 points

7 votes

Overall karma indicates overall quality.

2 comments5 min readLW link

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

aaqDec 1, 2019, 3:40 PM
19 points

11 votes

Overall karma indicates overall quality.

9 comments2 min readLW link

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

TurnTroutAug 24, 2018, 5:54 PM
36 points

11 votes

Overall karma indicates overall quality.

6 comments6 min readLW link

Precom­mit­ting to pay­ing Omega.

topynateMar 20, 2009, 4:33 AM
5 points

18 votes

Overall karma indicates overall quality.

33 comments7 min readLW link

The Crack­pot Offer

Eliezer YudkowskySep 8, 2007, 2:32 PM
130 points

109 votes

Overall karma indicates overall quality.

73 comments3 min readLW link

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

multifoliateroseOct 11, 2010, 11:50 AM
33 points

30 votes

Overall karma indicates overall quality.

7 comments6 min readLW link

[Question] Toward a Math­e­mat­i­cal Defi­ni­tion of Ra­tion­al­ity in Multi-Agent Systems

nekofuguFeb 23, 2025, 5:29 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments1 min readLW link

A Par­tic­u­lar Equilibrium

AlgonFeb 8, 2023, 3:16 PM
13 points

3 votes

Overall karma indicates overall quality.

0 comments2 min readLW link
(algon-33.github.io)

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

DragonGodDec 14, 2022, 4:17 PM
16 points

6 votes

Overall karma indicates overall quality.

1 comment13 min readLW link
(arxiv.org)

A Scien­tific Invitation

Oleksandr KoidaJun 3, 2025, 3:38 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments1 min readLW link
(zenodo.org)

Declar­a­tive Mathematics

johnswentworthMar 21, 2019, 7:05 PM
59 points

28 votes

Overall karma indicates overall quality.

10 comments3 min readLW link

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

Gabriel WuMay 30, 2023, 2:37 AM
20 points

11 votes

Overall karma indicates overall quality.

1 comment10 min readLW link
(gabrieldwu.github.io)

Three more sto­ries about causation

cousin_itNov 3, 2020, 3:51 PM
15 points

8 votes

Overall karma indicates overall quality.

6 comments1 min readLW link

#SAT with Ten­sor Networks

Adam JermynJun 17, 2022, 1:20 PM
4 points

2 votes

Overall karma indicates overall quality.

0 comments2 min readLW link

Are Nat­u­ral Num­bers Truly Im­mutable? Or Just a Math­e­mat­i­cal Con­ven­tion?

Joan Balaguer ArdanuyMar 10, 2025, 7:40 PM
1 point

1 vote

Overall karma indicates overall quality.

1 comment1 min readLW link

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

Aidan RockeOct 1, 2023, 11:55 PM
13 points

7 votes

Overall karma indicates overall quality.

19 comments4 min readLW link

In­di­vi­d­ual Utilities Shift Con­tin­u­ously as Geo­met­ric Weights Shift

StrivingForLegibilityAug 7, 2024, 1:41 AM
2 points

2 votes

Overall karma indicates overall quality.

0 comments17 min readLW link

Un­der­stand­ing Agent Preferences

martinkunevFeb 24, 2025, 5:46 PM
6 points

3 votes

Overall karma indicates overall quality.

2 comments14 min readLW link

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

Eliezer YudkowskyOct 30, 2012, 1:02 PM
134 points

96 votes

Overall karma indicates overall quality.

218 comments12 min readLW link

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

Stuart_ArmstrongApr 24, 2018, 12:56 PM
6 points

3 votes

Overall karma indicates overall quality.

11 comments8 min readLW link

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

shevJan 20, 2017, 9:31 AM
38 points

26 votes

Overall karma indicates overall quality.

23 comments5 min readLW link

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

intersticeDec 4, 2019, 11:11 PM
83 points

32 votes

Overall karma indicates overall quality.

9 comments9 min readLW link

You Prov­ably Can’t Trust Yourself

Eliezer YudkowskyAug 19, 2008, 8:35 PM
49 points

30 votes

Overall karma indicates overall quality.

19 comments6 min readLW link

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

vinnik.dmitry07May 31, 2023, 5:54 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments10 min readLW link

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

James PayorFeb 21, 2023, 9:11 PM
13 points

6 votes

Overall karma indicates overall quality.

0 comments2 min readLW link

“It’s a 10% chance which I did 10 times, so it should be 100%”

egor.timatkovNov 18, 2024, 1:14 AM
159 points

126 votes

Overall karma indicates overall quality.

59 comments2 min readLW link

[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?

Noosphere89Apr 17, 2023, 3:14 PM
−11 points

10 votes

Overall karma indicates overall quality.

12 comments1 min readLW link

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

So8resDec 13, 2013, 3:23 AM
29 points

20 votes

Overall karma indicates overall quality.

18 comments21 min readLW link

Log-odds (or log­its)

brileeNov 28, 2011, 1:11 AM
31 points

22 votes

Overall karma indicates overall quality.

21 comments1 min readLW link

Cat­e­gory-The­o­retic Wan­der­ings into Interpretability

unruly abstractionsSep 2, 2025, 12:03 AM
18 points

7 votes

Overall karma indicates overall quality.

2 comments1 min readLW link
(www.unrulyabstractions.com)

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

Maxwell PetersonJan 17, 2021, 8:27 AM
5 points

2 votes

Overall karma indicates overall quality.

0 comments3 min readLW link

Com­pact Proofs of Model Perfor­mance via Mechanis­tic Interpretability

LawrenceC, rajashree, Adrià Garriga-alonso and Jason Gross
Jun 24, 2024, 7:27 PM
104 points

44 votes

Overall karma indicates overall quality.

4 comments8 min readLW link
(arxiv.org)

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

Maxwell PetersonDec 18, 2020, 7:48 AM
8 points

7 votes

Overall karma indicates overall quality.

4 comments6 min readLW link

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

TurnTroutFeb 28, 2018, 2:01 AM
32 points

26 votes

Overall karma indicates overall quality.

40 comments3 min readLW link

Lan­guage, logic, and the fu­ture of AI: An early-Wittgen­stei­nian perspective

Konstantinos TsermenidisMay 25, 2025, 2:23 PM
0 points

0 votes

Overall karma indicates overall quality.

0 comments2 min readLW link

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

intersticeDec 31, 2017, 8:15 PM
16 points

10 votes

Overall karma indicates overall quality.

8 comments3 min readLW link

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

Matthias G. MayerOct 5, 2023, 6:36 PM
25 points

8 votes

Overall karma indicates overall quality.

0 comments2 min readLW link

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

Matthew BarnettAug 12, 2019, 11:44 PM
25 points

12 votes

Overall karma indicates overall quality.

4 comments7 min readLW link

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

CrimsonChinNov 3, 2023, 7:42 PM
8 points

6 votes

Overall karma indicates overall quality.

2 comments1 min readLW link

Finite Field Assem­bly : A CUDA al­ter­na­tive rooted in Num­berThe­ory and Pure Mathematics

murage kibichoJan 12, 2025, 9:36 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments3 min readLW link

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

JoshuaOSHickmanDec 6, 2021, 6:26 PM
15 points

5 votes

Overall karma indicates overall quality.

5 comments4 min readLW link

Beau­tiful Math

Eliezer YudkowskyJan 10, 2008, 10:43 PM
34 points

30 votes

Overall karma indicates overall quality.

35 comments3 min readLW link

The Math of Mean­ing: A Po­ten­tial Law of Se­man­tic Structure

Erichcurtis91Aug 13, 2025, 3:34 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments2 min readLW link

In­fra-Bayesian Logic

harfe and Yegreg
Jul 5, 2023, 7:16 PM
15 points

6 votes

Overall karma indicates overall quality.

2 comments1 min readLW link

Whence the de­ter­mi­nant?

Ege ErdilMar 13, 2022, 7:38 PM
28 points

15 votes

Overall karma indicates overall quality.

27 comments6 min readLW link

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

acgtNov 29, 2021, 10:45 AM
6 points

2 votes

Overall karma indicates overall quality.

3 comments3 min readLW link

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

Daniel AbolafiaFeb 3, 2021, 1:03 AM
11 points

7 votes

Overall karma indicates overall quality.

6 comments18 min readLW link

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

London L.Jun 12, 2023, 7:19 PM
1 point

7 votes

Overall karma indicates overall quality.

10 comments9 min readLW link
(medium.com)

Bel­l­man’s Curse on Advice

nibnalinApr 19, 2021, 2:30 AM
2 points

2 votes

Overall karma indicates overall quality.

0 comments3 min readLW link

The power of finite and the weak­ness of in­finite bi­nary point numbers

AxiomWriterApr 20, 2024, 6:03 AM
−3 points

6 votes

Overall karma indicates overall quality.

6 comments2 min readLW link

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

homotowatFeb 27, 2022, 6:37 AM
27 points

11 votes

Overall karma indicates overall quality.

4 comments7 min readLW link

Worked Ex­am­ples of Shap­ley Values

lalaithionJun 24, 2022, 5:13 PM
75 points

35 votes

Overall karma indicates overall quality.

11 comments8 min readLW link

Pick­ing favourites is hard

dkl9Dec 4, 2024, 8:46 PM
11 points

3 votes

Overall karma indicates overall quality.

3 comments1 min readLW link
(dkl9.net)

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

JonathanHallJan 14, 2024, 11:56 PM
−4 points

5 votes

Overall karma indicates overall quality.

27 comments11 min readLW link

Gra­di­ent As­cen­ders Reach the Harsanyi Hyperplane

StrivingForLegibilityAug 7, 2024, 1:40 AM
4 points

3 votes

Overall karma indicates overall quality.

0 comments6 min readLW link

[Question] In­finite tower of meta-probability

fryolysisOct 19, 2023, 4:44 PM
6 points

7 votes

Overall karma indicates overall quality.

5 comments3 min readLW link

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

Eliezer YudkowskyMay 26, 2008, 9:25 AM
22 points

20 votes

Overall karma indicates overall quality.

22 comments8 min readLW link

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

SniffnoyDec 24, 2010, 4:52 AM
42 points

29 votes

Overall karma indicates overall quality.

25 comments12 min readLW link

(Geo­met­ri­cally) Max­i­mal Lot­tery-Lot­ter­ies Are Prob­a­bly Not Unique

LorxusMay 10, 2024, 4:00 PM
16 points

7 votes

Overall karma indicates overall quality.

1 comment14 min readLW link

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

Stuart_ArmstrongJan 9, 2019, 6:07 PM
21 points

6 votes

Overall karma indicates overall quality.

0 comments6 min readLW link

[Question] I Tried to For­mal­ize Mean­ing. I May Have Ac­ci­den­tally De­scribed Con­scious­ness.

Erichcurtis91Apr 30, 2025, 3:16 AM
0 points

0 votes

Overall karma indicates overall quality.

0 comments2 min readLW link

PvsNp Refute

Jai DozMay 8, 2025, 6:56 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments21 min readLW link

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

JamesColeJun 15, 2009, 2:30 PM
0 points

11 votes

Overall karma indicates overall quality.

80 comments3 min readLW link

Why We Use Money? - A Walrasian View

Savio CoelhoOct 3, 2023, 12:02 PM
4 points

5 votes

Overall karma indicates overall quality.

3 comments8 min readLW link

Very Ba­sic Model Theory

So8resOct 31, 2013, 7:06 AM
50 points

34 votes

Overall karma indicates overall quality.

15 comments10 min readLW link

Aver­ages and sam­ple sizes

mruwnikNov 2, 2023, 9:52 AM
15 points

7 votes

Overall karma indicates overall quality.

2 comments8 min readLW link

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

shevJan 21, 2017, 2:16 AM
27 points

19 votes

Overall karma indicates overall quality.

59 comments7 min readLW link

You only need faith in two things

Eliezer YudkowskyMar 10, 2013, 11:45 PM
47 points

41 votes

Overall karma indicates overall quality.

86 comments2 min readLW link

~100 In­ter­est­ing Questions

RohanSMar 30, 2023, 1:57 PM
53 points

29 votes

Overall karma indicates overall quality.

18 comments9 min readLW link

LDL 2: Non­con­vex Optimization

magfrumpOct 20, 2017, 6:20 PM
13 points

11 votes

Overall karma indicates overall quality.

13 comments4 min readLW link

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

Haziq MuhammadAug 11, 2021, 9:25 AM
13 points

7 votes

Overall karma indicates overall quality.

7 comments1 min readLW link

The Power of Noise

jsteinhardtJun 16, 2014, 5:26 PM
60 points

36 votes

Overall karma indicates overall quality.

80 comments11 min readLW link

Laplace Approximation

johnswentworthJul 18, 2019, 3:23 PM
30 points

12 votes

Overall karma indicates overall quality.

3 comments3 min readLW link

Fun With DAGs

johnswentworthMay 13, 2018, 7:35 PM
15 points

17 votes

Overall karma indicates overall quality.

21 comments6 min readLW link

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

Adam ScherlisDec 4, 2021, 9:47 PM
10 points

4 votes

Overall karma indicates overall quality.

0 comments2 min readLW link
(adam.scherlis.com)

In­sights from Munkres’ Topology

Rafael HarthMar 17, 2019, 4:52 PM
30 points

12 votes

Overall karma indicates overall quality.

0 comments14 min readLW link

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

SniffnoyMay 22, 2011, 7:56 PM
84 points

46 votes

Overall karma indicates overall quality.

92 comments13 min readLW link

Learn­ing as you play: an­thropic shadow in deadly games

dr_sAug 12, 2023, 7:34 AM
37 points

26 votes

Overall karma indicates overall quality.

28 comments35 min readLW link

Without models

Richard_KennawayMay 4, 2009, 11:31 AM
23 points

33 votes

Overall karma indicates overall quality.

55 comments7 min readLW link

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

cousin_itDec 16, 2011, 9:36 PM
28 points

23 votes

Overall karma indicates overall quality.

54 comments1 min readLW link

redacted

Tomas Rolin (nos)Aug 9, 2024, 11:23 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments1 min readLW link

Joy in Dis­cov­ery: Galois theory

Eigil RischelSep 2, 2019, 7:16 PM
30 points

10 votes

Overall karma indicates overall quality.

2 comments3 min readLW link

The Prin­ci­ple of Pre­dicted Improvement

Ronny FernandezApr 23, 2019, 9:21 PM
80 points

27 votes

Overall karma indicates overall quality.

17 comments3 min readLW link

IS INFINITY REALLY INFINITE?

MAYANK RAIApr 2, 2025, 3:32 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments3 min readLW link

When wish­ful think­ing works

AlexMennenSep 1, 2018, 11:43 PM
41 points

19 votes

Overall karma indicates overall quality.

1 comment3 min readLW link

The Truth About False

Thoth HermesApr 15, 2023, 1:01 AM
−21 points

8 votes

Overall karma indicates overall quality.

4 comments17 min readLW link
(thothhermes.substack.com)

What’s the weirdest way to win this game?

Adam ScherlisNov 21, 2021, 5:18 AM
9 points

5 votes

Overall karma indicates overall quality.

5 comments1 min readLW link
(adam.scherlis.com)

Es­cap­ing the Löbian Obstacle

Morgan_RogersJun 16, 2021, 12:02 AM
19 points

9 votes

Overall karma indicates overall quality.

10 comments7 min readLW link

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

DiffractorAug 27, 2020, 7:52 AM
8 points

3 votes

Overall karma indicates overall quality.

0 comments46 min readLW link

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

PhosphorousJan 8, 2023, 9:07 PM
31 points

14 votes

Overall karma indicates overall quality.

2 comments7 min readLW link

Distill­ing and ap­proaches to the determinant

AprilSRApr 6, 2022, 6:34 AM
6 points

2 votes

Overall karma indicates overall quality.

0 comments6 min readLW link

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

ataMar 26, 2010, 9:26 AM
97 points

102 votes

Overall karma indicates overall quality.

124 comments11 min readLW link

Real­ity and re­al­ity-boxes

Jim PivarskiMay 13, 2023, 2:14 PM
37 points

13 votes

Overall karma indicates overall quality.

11 comments21 min readLW link

Sev­eral Ar­gu­ments Against the Math­e­mat­i­cal Uni­verse Hy­poth­e­sis

Vittu PerkeleFeb 19, 2025, 10:13 PM
−4 points

5 votes

Overall karma indicates overall quality.

6 comments3 min readLW link
(open.substack.com)

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

abramdemskiJul 11, 2018, 1:57 AM
58 points

29 votes

Overall karma indicates overall quality.

37 comments13 min readLW link

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

JonahSJun 3, 2013, 4:42 AM
38 points

24 votes

Overall karma indicates overall quality.

44 comments5 min readLW link

Prov­ing the Geo­met­ric Utili­tar­ian Theorem

StrivingForLegibilityAug 7, 2024, 1:39 AM
25 points

10 votes

Overall karma indicates overall quality.

0 comments8 min readLW link

What makes teach­ing math special

ViliamDec 17, 2023, 2:15 PM
45 points

20 votes

Overall karma indicates overall quality.

27 comments11 min readLW link

Why math­e­mat­ics works

Douglas_ReayMar 8, 2018, 6:00 PM
7 points

9 votes

Overall karma indicates overall quality.

4 comments5 min readLW link

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

[deleted]Sep 25, 2014, 9:17 PM
35 points

25 votes

Overall karma indicates overall quality.

28 comments7 min readLW link

The Quick Bayes Table

farsanApr 18, 2012, 6:00 PM
61 points

42 votes

Overall karma indicates overall quality.

32 comments2 min readLW link

[Question] Search­ing for Im­pos­si­bil­ity Re­sults or No-Go The­o­rems for prov­able safety.

MaelstromSep 27, 2024, 8:12 PM
2 points

2 votes

Overall karma indicates overall quality.

1 comment1 min readLW link

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

Liam CarrollJun 24, 2023, 5:22 PM
34 points

18 votes

Overall karma indicates overall quality.

3 comments16 min readLW link

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

DalcyOct 10, 2023, 3:28 AM
26 points

10 votes

Overall karma indicates overall quality.

2 comments3 min readLW link

Belief Func­tions And De­ci­sion Theory

DiffractorAug 27, 2020, 8:00 AM
20 points

11 votes

Overall karma indicates overall quality.

7 comments39 min readLW link

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

Ben PaceApr 25, 2019, 4:54 AM
37 points

12 votes

Overall karma indicates overall quality.

10 comments1 min readLW link

The case for hypocrisy

Aaron BergmanMay 13, 2021, 3:36 AM
37 points

23 votes

Overall karma indicates overall quality.

12 comments5 min readLW link
(aaronbergman.substack.com)

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

Liam CarrollJun 16, 2023, 9:50 AM
89 points

44 votes

Overall karma indicates overall quality.

7 comments5 min readLW link

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

Eliezer YudkowskyJun 6, 2013, 8:24 PM
88 points

58 votes

Overall karma indicates overall quality.

259 comments3 min readLW link

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

Peter BerggrenFeb 11, 2024, 5:42 PM
55 points

19 votes

Overall karma indicates overall quality.

4 comments1 min readLW link

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

Adam ScherlisDec 24, 2022, 9:12 PM
83 points

33 votes

Overall karma indicates overall quality.

4 comments3 min readLW link

The Ge­net­ics of Space Ama­zons

Jan Christian RefsgaardDec 30, 2021, 10:14 PM
12 points

8 votes

Overall karma indicates overall quality.

12 comments5 min readLW link

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

DiffractorAug 27, 2020, 7:49 AM
8 points

3 votes

Overall karma indicates overall quality.

0 comments31 min readLW link

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

johnswentworthJan 21, 2020, 8:04 PM
37 points

11 votes

Overall karma indicates overall quality.

0 comments3 min readLW link

The Ogdoad

Tristan MianoMar 5, 2023, 8:01 PM
−15 points

8 votes

Overall karma indicates overall quality.

1 comment37 min readLW link

Causal­ity does not im­ply correlation

Richard_KennawayJul 8, 2009, 12:52 AM
18 points

21 votes

Overall karma indicates overall quality.

58 comments4 min readLW link

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

Cleo NardoNov 11, 2023, 3:59 PM
70 points

28 votes

Overall karma indicates overall quality.

18 comments19 min readLW link

Distill­ing the In­ter­nal Model Principle

JoseFaustinoFeb 8, 2025, 2:59 PM
21 points

12 votes

Overall karma indicates overall quality.

0 comments16 min readLW link

Op­tional stopping

Ege ErdilApr 2, 2022, 1:58 PM
14 points

7 votes

Overall karma indicates overall quality.

6 comments7 min readLW link

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

JohnicholasMar 6, 2009, 8:22 PM
3 points

25 votes

Overall karma indicates overall quality.

27 comments2 min readLW link

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

Haziq MuhammadSep 4, 2021, 5:45 AM
−2 points

4 votes

Overall karma indicates overall quality.

89 comments1 min readLW link

Two Per­co­la­tion Puzzles

Adam ScherlisJul 4, 2023, 5:34 AM
43 points

21 votes

Overall karma indicates overall quality.

14 comments1 min readLW link
(adam.scherlis.com)

Ar­bital scrape

emmabJun 6, 2019, 11:11 PM
90 points

32 votes

Overall karma indicates overall quality.

23 comments1 min readLW link

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

senDec 7, 2022, 12:44 PM
11 points

6 votes

Overall karma indicates overall quality.

12 comments1 min readLW link
(paperclip.substack.com)

A (para­con­sis­tent) logic to deal with in­con­sis­tent preferences

B JacobsJul 14, 2024, 11:17 AM
6 points

3 votes

Overall karma indicates overall quality.

2 comments4 min readLW link
(bobjacobs.substack.com)

Mes­sage Length

Zack_M_DavisOct 20, 2020, 5:52 AM
134 points

64 votes

Overall karma indicates overall quality.

25 comments12 min readLW link

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

Yudhister KumarApr 22, 2023, 10:38 AM
17 points

24 votes

Overall karma indicates overall quality.

3 comments2 min readLW link
(www.ykumar.org)

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

bhauthJun 19, 2023, 12:09 AM
44 points

22 votes

Overall karma indicates overall quality.

6 comments2 min readLW link
(www.bhauth.com)

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

Joseph Van NameAug 2, 2023, 9:06 PM
7 points

7 votes

Overall karma indicates overall quality.

1 comment3 min readLW link

The Stag Hunt—cul­ti­vat­ing co­op­er­a­tion to reap rewards

James Stephen BrownFeb 25, 2025, 11:45 PM
7 points

3 votes

Overall karma indicates overall quality.

0 comments4 min readLW link
(nonzerosum.games)

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

Thomas KehrenbergJan 19, 2023, 10:36 PM
6 points

4 votes

Overall karma indicates overall quality.

2 comments16 min readLW link

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

ksvanhornJul 6, 2017, 7:14 PM
37 points

17 votes

Overall karma indicates overall quality.

40 comments4 min readLW link

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

cousin_itSep 19, 2014, 1:01 PM
54 points

32 votes

Overall karma indicates overall quality.

8 comments3 min readLW link

Math-to-English Cheat Sheet

nahojApr 8, 2024, 9:19 AM
54 points

32 votes

Overall karma indicates overall quality.

5 comments6 min readLW link

The Apol­lo­nian Gas­ket and AI’s Hid­den Geo­met­ric Structure

LikaMenchMar 7, 2025, 8:06 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments3 min readLW link

The Sin­gu­lar­ity Con­straint Oper­a­tor: A Struc­tural Gate for Lawful Cog­ni­tive Activation

Professor_PriestJun 16, 2025, 2:14 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments14 min readLW link

The Self-Refer­ence Trap in Mathematics

Alister MundayFeb 3, 2025, 4:12 PM
−41 points

11 votes

Overall karma indicates overall quality.

23 comments2 min readLW link

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

Vanessa KosoyFeb 14, 2020, 6:46 PM
36 points

18 votes

Overall karma indicates overall quality.

8 comments9 min readLW link1 review

Ex­am­ples of Categories

countedblessingsOct 10, 2019, 1:25 AM
27 points

20 votes

Overall karma indicates overall quality.

2 comments5 min readLW link

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

nullMay 18, 2018, 5:21 PM
5 points

8 votes

Overall karma indicates overall quality.

1 comment1 min readLW link

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

Maxwell PetersonNov 6, 2020, 3:19 AM
26 points

9 votes

Overall karma indicates overall quality.

0 comments6 min readLW link

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

OrfeasApr 28, 2021, 12:00 AM
24 points

10 votes

Overall karma indicates overall quality.

2 comments6 min readLW link

Hyper­re­als in a Nutshell

Yudhister KumarOct 15, 2023, 2:23 PM
35 points

16 votes

Overall karma indicates overall quality.

27 comments5 min readLW link
(ykumar.org)

Why sig­moids are so hard to predict

Stuart_ArmstrongMar 18, 2021, 6:21 PM
62 points

27 votes

Overall karma indicates overall quality.

7 comments5 min readLW link

Ther­mo­dy­namic en­tropy = Kol­mogorov complexity

Aram EbtekarFeb 17, 2025, 5:56 AM
76 points

31 votes

Overall karma indicates overall quality.

14 comments1 min readLW link
(doi.org)

Prob­a­bil­ity space has 2 metrics

Donald HobsonFeb 10, 2019, 12:28 AM
92 points

45 votes

Overall karma indicates overall quality.

11 comments1 min readLW link

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

abramdemskiMar 20, 2018, 12:00 AM
173 points

125 votes

Overall karma indicates overall quality.

38 comments1 min readLW link1 review

Us­ing LLM Search to Aug­ment (Math­e­mat­ics) Research

kalebDec 19, 2024, 6:59 PM
5 points

4 votes

Overall karma indicates overall quality.

0 comments6 min readLW link

Draw­ing Two Aces

Eliezer YudkowskyJan 3, 2010, 10:33 AM
18 points

20 votes

Overall karma indicates overall quality.

92 comments1 min readLW link

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

Maxwell PetersonApr 1, 2022, 9:25 PM
10 points

8 votes

Overall karma indicates overall quality.

11 comments4 min readLW link

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

riceissaAug 4, 2019, 5:44 PM
25 points

9 votes

Overall karma indicates overall quality.

3 comments5 min readLW link

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

Wei DaiJun 7, 2009, 9:18 AM
26 points

28 votes

Overall karma indicates overall quality.

79 comments3 min readLW link

Con­scious­ness as Re­cur­sive Struc­ture: A For­mal The­ory of Self­hood, Time, and Perception

Tsundere_dogJun 24, 2025, 1:16 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments15 min readLW link

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

johnswentworthDec 22, 2022, 6:57 AM
103 points

44 votes

Overall karma indicates overall quality.

8 comments1 min readLW link

the un­der­es­ti­ma­tion of cir­cu­lar thinking

AxiomWriterMar 30, 2024, 9:45 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments2 min readLW link

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

transhumanist_atom_understanderOct 1, 2023, 8:15 AM
16 points

8 votes

Overall karma indicates overall quality.

1 comment2 min readLW link

A But­terfly’s View of Probability

Gabriel WuJun 15, 2022, 2:14 AM
29 points

17 votes

Overall karma indicates overall quality.

17 comments11 min readLW link

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

lunatic_at_largeOct 7, 2023, 5:06 AM
3 points

2 votes

Overall karma indicates overall quality.

2 comments1 min readLW link

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

DiffractorAug 27, 2020, 7:59 AM
8 points

5 votes

Overall karma indicates overall quality.

0 comments26 min readLW link

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

zefMar 27, 2023, 7:12 PM
7 points

3 votes

Overall karma indicates overall quality.

2 comments1 min readLW link

Tak­ing non­log­i­cal con­cepts seriously

Kris BrownOct 15, 2024, 6:16 PM
7 points

6 votes

Overall karma indicates overall quality.

5 comments18 min readLW link
(topos.site)

When does ra­tio­nal­ity-as-search have non­triv­ial im­pli­ca­tions?

nostalgebraistNov 4, 2018, 10:42 PM
72 points

29 votes

Overall karma indicates overall quality.

12 comments3 min readLW link

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

Vladimir_NesovJul 27, 2009, 2:28 PM
50 points

25 votes

Overall karma indicates overall quality.

37 comments2 min readLW link

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

Alok SinghDec 29, 2022, 10:41 AM
5 points

5 votes

Overall karma indicates overall quality.

2 comments1 min readLW link

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

Thomas KehrenbergJan 3, 2023, 2:33 PM
5 points

4 votes

Overall karma indicates overall quality.

1 comment13 min readLW link

[Question] Why do Min­i­mal Bayes Nets of­ten cor­re­spond to Causal Models of Real­ity?

DalcyAug 3, 2024, 12:39 PM
27 points

14 votes

Overall karma indicates overall quality.

1 comment1 min readLW link

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

Stuart_ArmstrongApr 13, 2018, 2:58 PM
19 points

10 votes

Overall karma indicates overall quality.

5 comments5 min readLW link

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

johnswentworthSep 1, 2019, 7:19 PM
52 points

25 votes

Overall karma indicates overall quality.

10 comments6 min readLW link

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

Adam ScherlisJul 1, 2022, 4:05 AM
14 points

8 votes

Overall karma indicates overall quality.

0 comments1 min readLW link
(adam.scherlis.com)

Against but­terfly effect

ForensicOceanographyFeb 9, 2021, 7:46 AM
5 points

7 votes

Overall karma indicates overall quality.

10 comments1 min readLW link
(forensicoceanography.wordpress.com)

A Ther­mo­dy­namic The­ory of In­tel­li­gence: Why Ex­treme Op­ti­miza­tion May Be Math­e­mat­i­cally Impossible

AdreiusMay 29, 2025, 12:18 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments3 min readLW link

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

Andrew_CritchFeb 5, 2023, 12:58 AM
134 points

48 votes

Overall karma indicates overall quality.

34 comments3 min readLW link1 review

A Cor­re­spon­dence Theorem

johnswentworthOct 26, 2020, 11:28 PM
30 points

7 votes

Overall karma indicates overall quality.

6 comments7 min readLW link

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

Stuart_ArmstrongApr 26, 2013, 6:45 PM
51 points

32 votes

Overall karma indicates overall quality.

40 comments3 min readLW link

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

James PayorMar 21, 2023, 4:12 PM
43 points

12 votes

Overall karma indicates overall quality.

3 comments4 min readLW link

The Gödelian Con­straint on Epistemic Free­dom (GCEF): A Topolog­i­cal Frame for Align­ment, Col­lapse, and Si­mu­la­tion Drift

austin.millerJul 14, 2025, 4:17 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments1 min readLW link

Com­putabil­ity and Complexity

Ege Erdil and Metaculus
Feb 5, 2022, 2:53 PM
21 points

10 votes

Overall karma indicates overall quality.

5 comments11 min readLW link
(www.metaculus.com)

P=NP

OnePolynomialOct 17, 2024, 5:56 PM
−25 points

9 votes

Overall karma indicates overall quality.

0 comments8 min readLW link

Unified Causal Field The­ory: A Proof of Geo­met­ric Sub­sump­tion and Ex­ten­sion of Causal In­fer­ence Meth­ods Into Unified Framework

Cognitive JewometryJul 27, 2025, 10:00 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments3 min readLW link
(doi.org)

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

Joseph Van NameSep 4, 2023, 4:19 PM
3 points

3 votes

Overall karma indicates overall quality.

4 comments12 min readLW link

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

YegregFeb 16, 2023, 7:31 PM
27 points

8 votes

Overall karma indicates overall quality.

0 comments7 min readLW link

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

paulfchristianoSep 14, 2019, 5:00 PM
92 points

34 votes

Overall karma indicates overall quality.

21 comments2 min readLW link
(sideways-view.com)

En­tropy, and Short Codes

Eliezer YudkowskyFeb 23, 2008, 3:16 AM
88 points

80 votes

Overall karma indicates overall quality.

27 comments4 min readLW link

Sums and products

Ege Erdil and Metaculus
Mar 27, 2022, 9:57 PM
23 points

9 votes

Overall karma indicates overall quality.

11 comments12 min readLW link
(www.metaculus.com)

Sus­tained Strong Recursion

Eliezer YudkowskyDec 5, 2008, 9:03 PM
19 points

17 votes

Overall karma indicates overall quality.

47 comments9 min readLW link

Op­ti­mis­ing un­der ar­bi­trar­ily many con­straint equations

dkl9Sep 12, 2024, 2:59 PM
6 points

8 votes

Overall karma indicates overall quality.

0 comments3 min readLW link
(dkl9.net)

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

DiffractorAug 27, 2020, 7:57 AM
8 points

3 votes

Overall karma indicates overall quality.

0 comments14 min readLW link

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

Abhimanyu Pallavi SudhirNov 14, 2023, 9:11 PM
13 points

7 votes

Overall karma indicates overall quality.

0 comments15 min readLW link

An Opinionated Look at In­fer­ence Rules

Gianluca CalcagniSep 3, 2024, 1:32 PM
−5 points

6 votes

Overall karma indicates overall quality.

2 comments13 min readLW link

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

NisanFeb 3, 2012, 2:58 AM
35 points

23 votes

Overall karma indicates overall quality.

34 comments11 min readLW link

A Pois­son pro­cess paradox

nerfhammerApr 6, 2012, 5:20 AM
29 points

23 votes

Overall karma indicates overall quality.

11 comments2 min readLW link

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

Christopher KingFeb 11, 2023, 7:57 AM
5 points

3 votes

Overall karma indicates overall quality.

4 comments5 min readLW link

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

carboniferous_umbraculum Dec 22, 2022, 5:21 PM
18 points

10 votes

Overall karma indicates overall quality.

1 comment12 min readLW link

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

Ege ErdilMar 11, 2022, 4:10 PM
17 points

8 votes

Overall karma indicates overall quality.

7 comments5 min readLW link

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

DiffractorAug 27, 2020, 7:54 AM
8 points

3 votes

Overall karma indicates overall quality.

0 comments36 min readLW link

The Gabian His­tory of Mathematics

remember and Gabriel Alfour
Aug 29, 2025, 1:48 PM
21 points

11 votes

Overall karma indicates overall quality.

9 comments2 min readLW link
(cognition.cafe)

Dense Math Notation

JK_RavenclawApr 1, 2011, 3:37 AM
33 points

25 votes

Overall karma indicates overall quality.

23 comments1 min readLW link

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

Andrew QuinnJun 13, 2018, 4:39 AM
25 points

13 votes

Overall karma indicates overall quality.

8 comments2 min readLW link

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

Peter ChatainOct 3, 2021, 3:23 AM
29 points

17 votes

Overall karma indicates overall quality.

5 comments21 min readLW link

Bad at Arith­metic, Promis­ing at Math

cohenmacaulayDec 18, 2022, 5:40 AM
102 points

54 votes

Overall karma indicates overall quality.

19 comments20 min readLW link1 review

How my math skills im­proved dramatically

JonahSMar 5, 2014, 8:27 PM
35 points

27 votes

Overall karma indicates overall quality.

25 comments2 min readLW link

Harry Pot­ter in The World of Path Semantics

Sven NilsenMar 22, 2023, 8:22 PM
−3 points

4 votes

Overall karma indicates overall quality.

17 comments1 min readLW link
(raw.githubusercontent.com)

Su­per­nat­u­ral Math

saturnMay 19, 2009, 11:31 AM
5 points

15 votes

Overall karma indicates overall quality.

58 comments1 min readLW link

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

Liam CarrollJun 18, 2023, 12:23 AM
31 points

16 votes

Overall karma indicates overall quality.

15 comments17 min readLW link

Men­tal Con­text for Model Theory

So8resOct 30, 2013, 6:35 AM
118 points

69 votes

Overall karma indicates overall quality.

47 comments8 min readLW link

Metauncertainty

jimmyApr 10, 2009, 11:41 PM
26 points

24 votes

Overall karma indicates overall quality.

4 comments2 min readLW link

Com­ple­tion Estimates

Commander ZanderMar 9, 2024, 10:56 PM
7 points

4 votes

Overall karma indicates overall quality.

2 comments3 min readLW link

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

Matthew BarnettAug 15, 2019, 1:13 AM
22 points

10 votes

Overall karma indicates overall quality.

7 comments7 min readLW link

Hand-writ­ing MathML

jefftkSep 23, 2023, 11:20 AM
16 points

7 votes

Overall karma indicates overall quality.

40 comments1 min readLW link
(www.jefftk.com)

The Logic of Science: 2.2

mprFeb 21, 2018, 5:28 PM
9 points

7 votes

Overall karma indicates overall quality.

3 comments1 min readLW link
(pulsarcoffee.com)

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

Stuart_ArmstrongDec 19, 2019, 1:55 PM
24 points

8 votes

Overall karma indicates overall quality.

18 comments7 min readLW link

The Le­gacy of Com­puter Science

Johannes C. MayerDec 29, 2024, 1:15 PM
18 points

14 votes

Overall karma indicates overall quality.

0 comments1 min readLW link
(groups.csail.mit.edu)

Co-Proofs

abramdemskiMay 21, 2018, 9:10 PM
41 points

28 votes

Overall karma indicates overall quality.

15 comments1 min readLW link

Some les­sons from the OpenAI-Fron­tierMath debacle

7vikJan 19, 2025, 9:09 PM
71 points

40 votes

Overall karma indicates overall quality.

9 comments4 min readLW link

[Question] Can you prove that 0 = 1?

purplelightFeb 4, 2022, 9:31 PM
−10 points

12 votes

Overall karma indicates overall quality.

4 comments1 min readLW link

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

Sunny from QADOct 13, 2019, 3:59 AM
23 points

10 votes

Overall karma indicates overall quality.

22 comments1 min readLW link

Boundary Con­di­tions: A Solu­tion to the Sym­bol Ground­ing Prob­lem, and a Warning

ISCApr 8, 2025, 6:42 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments5 min readLW link

Please Understand

samhealyApr 1, 2024, 12:33 PM
28 points

14 votes

Overall karma indicates overall quality.

11 comments6 min readLW link

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

mattmacdermott and Alexander Gietelink Oldenziel
Aug 7, 2023, 3:52 PM
36 points

20 votes

Overall karma indicates overall quality.

9 comments1 min readLW link

For ELK truth is mostly a distraction

c.troutNov 4, 2022, 9:14 PM
44 points

17 votes

Overall karma indicates overall quality.

0 comments21 min readLW link

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

Gordon Seidoh WorleyMay 6, 2009, 2:58 AM
2 points

24 votes

Overall karma indicates overall quality.

43 comments2 min readLW link

DSLT 3. Neu­ral Net­works are Singular

Liam CarrollJun 20, 2023, 8:20 AM
36 points

15 votes

Overall karma indicates overall quality.

5 comments19 min readLW link

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

gwernMay 8, 2011, 3:44 PM
60 points

46 votes

Overall karma indicates overall quality.

49 comments1 min readLW link

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

TurnTroutFeb 22, 2020, 9:58 PM
30 points

9 votes

Overall karma indicates overall quality.

4 comments4 min readLW link

My PhD the­sis: Al­gorith­mic Bayesian Epistemology

Eric NeymanMar 16, 2024, 10:56 PM
262 points

125 votes

Overall karma indicates overall quality.

14 comments7 min readLW link
(arxiv.org)

The Man­sion of State­ments: A Re­fu­ta­tion of Gödel’s First In­com­plete­ness Theorem

Ángel Huerta ÁlvarezSep 4, 2025, 11:09 PM
−3 points

2 votes

Overall karma indicates overall quality.

0 comments8 min readLW link

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

Alexander Gietelink OldenzielFeb 6, 2023, 12:00 AM
51 points

24 votes

Overall karma indicates overall quality.

1 comment16 min readLW link

In­ter­pretable by De­sign—Con­straint Sets with Disjoint Limit Points

Ronak_MehtaMay 8, 2025, 9:08 PM
24 points

8 votes

Overall karma indicates overall quality.

2 comments9 min readLW link
(ronakrm.github.io)

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

Logan RiggsMay 13, 2018, 6:34 PM
9 points

8 votes

Overall karma indicates overall quality.

4 comments2 min readLW link

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

carboniferous_umbraculum Jun 1, 2023, 11:31 AM
104 points

46 votes

Overall karma indicates overall quality.

12 comments2 min readLW link

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

Charlie SteinerDec 2, 2017, 6:20 PM
11 points

11 votes

Overall karma indicates overall quality.

14 comments3 min readLW link

Time com­plex­ity for de­ter­minis­tic string machines

alcatalApr 21, 2024, 10:35 PM
21 points

5 votes

Overall karma indicates overall quality.

2 comments21 min readLW link

The In­ner-Com­pass Theorem

Tristan MianoMar 5, 2023, 3:21 PM
−18 points

9 votes

Overall karma indicates overall quality.

12 comments16 min readLW link

Al­gorithms as Case Stud­ies in Rationality

abramdemskiFeb 14, 2011, 6:27 PM
38 points

34 votes

Overall karma indicates overall quality.

40 comments6 min readLW link

A di­a­log with the ax­iom of choice

AxiomWriterMar 30, 2024, 7:47 AM
−2 points

3 votes

Overall karma indicates overall quality.

0 comments6 min readLW link

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

DanielVargaAug 15, 2011, 10:51 PM
31 points

21 votes

Overall karma indicates overall quality.

2 comments1 min readLW link

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

evhubMar 10, 2020, 7:36 PM
85 points

30 votes

Overall karma indicates overall quality.

11 comments2 min readLW link
(distill.pub)

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

CallumMcDougall, Avery and Lucius Bushnaq
Aug 27, 2022, 5:29 PM
36 points

17 votes

Overall karma indicates overall quality.

21 comments6 min readLW link

How valuable is it to learn math deeply?

JonahSSep 2, 2013, 6:01 PM
33 points

24 votes

Overall karma indicates overall quality.

79 comments3 min readLW link

How to pick your categories

[deleted]Nov 11, 2010, 3:13 PM
78 points

61 votes

Overall karma indicates overall quality.

22 comments6 min readLW link

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

Ulisse MiniApr 18, 2022, 1:22 AM
38 points

22 votes

Overall karma indicates overall quality.

3 comments2 min readLW link

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

Adam ShaiSep 29, 2023, 2:38 PM
49 points

24 votes

Overall karma indicates overall quality.

6 comments9 min readLW link

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

GololApr 12, 2023, 4:49 PM
4 points

6 votes

Overall karma indicates overall quality.

6 comments4 min readLW link

men­tal num­ber lines

bhauthJul 19, 2023, 9:01 PM
10 points

5 votes

Overall karma indicates overall quality.

5 comments1 min readLW link

Re­cre­at­ing logic in type theory

Thomas KehrenbergDec 21, 2022, 3:19 PM
18 points

8 votes

Overall karma indicates overall quality.

0 comments13 min readLW link

How Logic “Really” Works: An Eng­ineer­ing Perspective

Daniil StrizhovApr 16, 2025, 5:34 AM
6 points

7 votes

Overall karma indicates overall quality.

0 comments11 min readLW link

When Are Re­sults from Com­pu­ta­tional Com­plex­ity Not Too Coarse?

DalcyJul 3, 2024, 7:06 PM
42 points

19 votes

Overall karma indicates overall quality.

8 comments3 min readLW link

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

Andrew QuinnMay 22, 2018, 12:59 PM
10 points

11 votes

Overall karma indicates overall quality.

2 comments2 min readLW link

The sen­tence struc­ture of mathematics

countedblessingsOct 7, 2019, 6:58 PM
41 points

30 votes

Overall karma indicates overall quality.

15 comments2 min readLW link

[Question] What’s the Right Way to think about In­for­ma­tion The­o­retic quan­tities in Neu­ral Net­works?

DalcyJan 19, 2025, 8:04 AM
45 points

15 votes

Overall karma indicates overall quality.

13 comments3 min readLW link

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

Noosphere89Jul 26, 2023, 5:54 PM
6 points

10 votes

Overall karma indicates overall quality.

13 comments5 min readLW link

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

Abhimanyu Pallavi SudhirJul 26, 2020, 7:16 AM
6 points

3 votes

Overall karma indicates overall quality.

4 comments1 min readLW link

“Gashi Method­ol­ogy”: π as a Con­clu­sion, Not a Pos­tu­late — A Tri­an­gle-Based Ap­proach to Cir­cu­lar Geometry

Mohmmad GashiJun 18, 2025, 3:27 AM
1 point

1 vote

Overall karma indicates overall quality.

0 comments1 min readLW link

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

EpiritoApr 6, 2022, 1:03 PM
4 points

4 votes

Overall karma indicates overall quality.

6 comments2 min readLW link

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

Eliezer YudkowskyApr 12, 2007, 3:24 AM
53 points

32 votes

Overall karma indicates overall quality.

20 comments4 min readLW link

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

Liam CarrollJun 16, 2023, 9:50 AM
59 points

27 votes

Overall karma indicates overall quality.

10 comments15 min readLW link

The Meta-Re­cur­sive Trap in New­comb’s Para­dox and Millen­nium Problems

Drew RemmengaJun 3, 2025, 12:10 PM
1 point

1 vote

Overall karma indicates overall quality.

0 comments3 min readLW link

Math­e­mat­ics As Physics

Nox MLDec 6, 2023, 10:27 PM
−2 points

9 votes

Overall karma indicates overall quality.

10 comments5 min readLW link
No comments.