RSS

Logic & Math­e­mat­ics

TagLast edit: 3 Feb 2023 15:33 UTC 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

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

Eliezer Yudkowsky12 Apr 2007 3:24 UTC
51 points
20 comments4 min readLW link

The Crack­pot Offer

Eliezer Yudkowsky8 Sep 2007 14:32 UTC
101 points
72 comments3 min readLW link

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

Eliezer Yudkowsky27 Sep 2007 23:00 UTC
139 points
408 comments3 min readLW link

Beau­tiful Math

Eliezer Yudkowsky10 Jan 2008 22:43 UTC
33 points
35 comments3 min readLW link

Ex­pect­ing Beauty

Eliezer Yudkowsky12 Jan 2008 3:00 UTC
26 points
7 comments3 min readLW link

En­tropy, and Short Codes

Eliezer Yudkowsky23 Feb 2008 3:16 UTC
75 points
27 comments4 min readLW link

The Quo­ta­tion is not the Referent

Eliezer Yudkowsky13 Mar 2008 0:53 UTC
73 points
14 comments3 min readLW link

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

Eliezer Yudkowsky26 May 2008 9:25 UTC
21 points
22 comments8 min readLW link

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

Eliezer Yudkowsky17 Aug 2008 20:35 UTC
40 points
104 comments1 min readLW link

You Prov­ably Can’t Trust Yourself

Eliezer Yudkowsky19 Aug 2008 20:35 UTC
48 points
18 comments6 min readLW link

The Na­ture of Logic

Eliezer Yudkowsky15 Nov 2008 6:20 UTC
42 points
12 comments10 min readLW link

Sus­tained Strong Recursion

Eliezer Yudkowsky5 Dec 2008 21:03 UTC
19 points
47 comments9 min readLW link

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

Johnicholas6 Mar 2009 20:22 UTC
3 points
27 comments2 min readLW link

Precom­mit­ting to pay­ing Omega.

topynate20 Mar 2009 4:33 UTC
5 points
33 comments7 min readLW link

The Power of Pos­i­tivist Thinking

Scott Alexander21 Mar 2009 20:55 UTC
91 points
57 comments9 min readLW link

Metauncertainty

jimmy10 Apr 2009 23:41 UTC
26 points
4 comments2 min readLW link

A puzzle

Thomas25 Apr 2009 2:33 UTC
−11 points
45 comments1 min readLW link

Without models

Richard_Kennaway4 May 2009 11:31 UTC
21 points
55 comments7 min readLW link

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

Gordon Seidoh Worley6 May 2009 2:58 UTC
2 points
43 comments2 min readLW link

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

Psy-Kosh9 May 2009 8:14 UTC
2 points
17 comments6 min readLW link

Su­per­nat­u­ral Math

saturn19 May 2009 11:31 UTC
5 points
58 comments1 min readLW link

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

Wei Dai7 Jun 2009 9:18 UTC
26 points
79 comments3 min readLW link

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

JamesCole15 Jun 2009 14:30 UTC
0 points
80 comments3 min readLW link

Guilt by Association

Annoyance24 Jun 2009 17:29 UTC
1 point
38 comments2 min readLW link

Causal­ity does not im­ply correlation

Richard_Kennaway8 Jul 2009 0:52 UTC
18 points
58 comments4 min readLW link

For­mal­ized math: dream vs reality

cousin_it9 Jul 2009 20:51 UTC
19 points
10 comments2 min readLW link

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

Vladimir_Nesov27 Jul 2009 14:28 UTC
48 points
37 comments2 min readLW link

Draw­ing Two Aces

Eliezer Yudkowsky3 Jan 2010 10:33 UTC
19 points
92 comments1 min readLW link

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

ata26 Mar 2010 9:26 UTC
102 points
124 comments11 min readLW link

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

cousin_it4 Oct 2010 11:30 UTC
26 points
16 comments1 min readLW link

Refer­ences & Re­sources for LessWrong

XiXiDu10 Oct 2010 14:54 UTC
162 points
104 comments20 min readLW link

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

multifoliaterose11 Oct 2010 11:50 UTC
33 points
7 comments6 min readLW link

How to pick your categories

[deleted]11 Nov 2010 15:13 UTC
78 points
22 comments6 min readLW link

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

Sniffnoy24 Dec 2010 4:52 UTC
42 points
25 comments12 min readLW link

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

AlexMennen25 Jan 2011 19:32 UTC
13 points
41 comments2 min readLW link

Al­gorithms as Case Stud­ies in Rationality

abramdemski14 Feb 2011 18:27 UTC
38 points
40 comments6 min readLW link

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

paulfchristiano25 Feb 2011 18:06 UTC
65 points
53 comments3 min readLW link

Dense Math Notation

JK_Ravenclaw1 Apr 2011 3:37 UTC
33 points
23 comments1 min readLW link

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

gwern8 May 2011 15:44 UTC
58 points
49 comments1 min readLW link

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

Sniffnoy22 May 2011 19:56 UTC
81 points
91 comments13 min readLW link

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

DanielVarga15 Aug 2011 22:51 UTC
31 points
2 comments1 min readLW link

Log-odds (or log­its)

brilee28 Nov 2011 1:11 UTC
31 points
21 comments1 min readLW link

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

cousin_it16 Dec 2011 21:36 UTC
28 points
54 comments1 min readLW link

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

Stuart_Armstrong16 Jan 2012 17:38 UTC
79 points
39 comments11 min readLW link

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

Nisan3 Feb 2012 2:58 UTC
35 points
34 comments11 min readLW link

A Pois­son pro­cess paradox

nerfhammer6 Apr 2012 5:20 UTC
29 points
11 comments2 min readLW link

The Quick Bayes Table

farsan18 Apr 2012 18:00 UTC
60 points
31 comments2 min readLW link

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

Eliezer Yudkowsky30 Oct 2012 13:02 UTC
126 points
218 comments12 min readLW link

The Emer­gence of Math

AnotherIdiot2 Nov 2012 1:08 UTC
0 points
44 comments4 min readLW link

Log­i­cal Pinpointing

Eliezer Yudkowsky2 Nov 2012 15:33 UTC
128 points
345 comments10 min readLW link

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

Sniffnoy28 Nov 2012 0:05 UTC
101 points
25 comments2 min readLW link

Stan­dard and Non­stan­dard Numbers

Eliezer Yudkowsky20 Dec 2012 3:23 UTC
80 points
88 comments15 min readLW link

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

Eliezer Yudkowsky25 Dec 2012 1:16 UTC
80 points
87 comments11 min readLW link

Se­cond-Order Logic: The Controversy

Eliezer Yudkowsky4 Jan 2013 19:51 UTC
64 points
192 comments15 min readLW link

Re: Se­cond-Order Logic: The Controversy

abramdemski5 Jan 2013 10:33 UTC
15 points
7 comments5 min readLW link

You only need faith in two things

Eliezer Yudkowsky10 Mar 2013 23:45 UTC
46 points
86 comments2 min readLW link

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

Eliezer Yudkowsky24 Mar 2013 16:37 UTC
112 points
168 comments3 min readLW link

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

Stuart_Armstrong26 Apr 2013 18:45 UTC
51 points
40 comments3 min readLW link

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

JonahS3 Jun 2013 4:42 UTC
38 points
44 comments5 min readLW link

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

Eliezer Yudkowsky6 Jun 2013 20:24 UTC
88 points
259 comments3 min readLW link

How valuable is it to learn math deeply?

JonahS2 Sep 2013 18:01 UTC
33 points
79 comments3 min readLW link

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

David_Chapman17 Sep 2013 0:02 UTC
58 points
73 comments5 min readLW link

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

So8res19 Sep 2013 3:06 UTC
52 points
23 comments4 min readLW link

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

So8res30 Sep 2013 16:09 UTC
52 points
21 comments5 min readLW link

Men­tal Con­text for Model Theory

So8res30 Oct 2013 6:35 UTC
113 points
47 comments8 min readLW link

Very Ba­sic Model Theory

So8res31 Oct 2013 7:06 UTC
47 points
15 comments10 min readLW link

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

So8res13 Dec 2013 3:23 UTC
29 points
18 comments21 min readLW link

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

Benya15 Dec 2013 8:32 UTC
36 points
20 comments6 min readLW link

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

So8res17 Feb 2014 20:52 UTC
57 points
14 comments7 min readLW link

How my math skills im­proved dramatically

JonahS5 Mar 2014 20:27 UTC
34 points
25 comments2 min readLW link

The Power of Noise

jsteinhardt16 Jun 2014 17:26 UTC
60 points
80 comments11 min readLW link

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

cousin_it19 Sep 2014 13:01 UTC
52 points
8 comments3 min readLW link

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

[deleted]25 Sep 2014 21:17 UTC
35 points
28 comments7 min readLW link

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

JonahS12 Feb 2015 1:29 UTC
102 points
142 comments12 min readLW link

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

JonahS18 Feb 2015 11:11 UTC
75 points
140 comments9 min readLW link

Is Scott Alexan­der bad at math?

JonahS4 May 2015 5:11 UTC
70 points
223 comments6 min readLW link

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

shev20 Jan 2017 9:31 UTC
38 points
23 comments5 min readLW link

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

shev21 Jan 2017 2:16 UTC
28 points
59 comments7 min readLW link

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

ksvanhorn6 Jul 2017 19:14 UTC
37 points
40 comments4 min readLW link

LDL 2: Non­con­vex Optimization

magfrump20 Oct 2017 18:20 UTC
13 points
13 comments4 min readLW link

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

Charlie Steiner2 Dec 2017 18:20 UTC
11 points
14 comments3 min readLW link

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

Charlie Steiner19 Dec 2017 13:57 UTC
3 points
10 comments5 min readLW link

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

interstice31 Dec 2017 20:15 UTC
16 points
8 comments3 min readLW link

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

Stuart_Armstrong28 Jan 2018 11:14 UTC
59 points
31 comments1 min readLW link

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

Scott Garrabrant13 Feb 2018 1:45 UTC
63 points
47 comments1 min readLW link

The Logic of Science: 2.2

mpr21 Feb 2018 17:28 UTC
9 points
3 comments1 min readLW link
(pulsarcoffee.com)

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

TurnTrout28 Feb 2018 2:01 UTC
30 points
40 comments3 min readLW link

Why math­e­mat­ics works

Douglas_Reay8 Mar 2018 18:00 UTC
7 points
4 comments5 min readLW link

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

abramdemski20 Mar 2018 0:00 UTC
157 points
38 comments1 min readLW link1 review

Harry Pot­ter and the Method of Entropy

alkjash31 Mar 2018 20:10 UTC
11 points
12 comments1 min readLW link
(radimentary.wordpress.com)

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

habryka31 Mar 2018 20:38 UTC
6 points
0 comments3 min readLW link

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

Scott Garrabrant11 Apr 2018 18:19 UTC
61 points
5 comments1 min readLW link
(arxiv.org)

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

Stuart_Armstrong13 Apr 2018 14:58 UTC
18 points
5 comments5 min readLW link

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

TurnTrout22 Apr 2018 5:23 UTC
40 points
12 comments10 min readLW link

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

daozaich22 Apr 2018 19:41 UTC
62 points
14 comments2 min readLW link

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

Stuart_Armstrong24 Apr 2018 12:56 UTC
6 points
11 comments8 min readLW link

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

null4 May 2018 13:01 UTC
8 points
4 comments1 min readLW link

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

Logan Riggs13 May 2018 18:34 UTC
9 points
4 comments2 min readLW link

Fun With DAGs

johnswentworth13 May 2018 19:35 UTC
15 points
21 comments6 min readLW link

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

null18 May 2018 17:21 UTC
5 points
1 comment1 min readLW link

Co-Proofs

abramdemski21 May 2018 21:10 UTC
39 points
13 comments1 min readLW link

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

Andrew Quinn22 May 2018 12:59 UTC
10 points
2 comments2 min readLW link

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

TurnTrout1 Jun 2018 18:16 UTC
28 points
8 comments9 min readLW link

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

Andrew Quinn13 Jun 2018 4:39 UTC
25 points
8 comments2 min readLW link

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

abramdemski11 Jul 2018 1:57 UTC
53 points
34 comments13 min readLW link

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

abramdemski20 Jul 2018 5:24 UTC
79 points
20 comments6 min readLW link

Don’t Get Dis­tracted by the Boilerplate

johnswentworth26 Jul 2018 2:15 UTC
58 points
16 comments2 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

jessicata20 Aug 2018 0:51 UTC
59 points
12 comments6 min readLW link

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

TurnTrout24 Aug 2018 17:54 UTC
36 points
6 comments6 min readLW link

When wish­ful think­ing works

AlexMennen1 Sep 2018 23:43 UTC
41 points
1 comment3 min readLW link

Sam Har­ris and the Is–Ought Gap

Tyrrell_McAllister16 Nov 2018 1:04 UTC
89 points
46 comments6 min readLW link

Topolog­i­cal Fixed Point Exercises

17 Nov 2018 1:40 UTC
71 points
51 comments3 min readLW link

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

Raemon1 Jan 2019 21:29 UTC
30 points
12 comments1 min readLW link

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

Stuart_Armstrong9 Jan 2019 18:07 UTC
21 points
0 comments6 min readLW link

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

TurnTrout16 Jan 2019 19:48 UTC
42 points
17 comments8 min readLW link

Prob­a­bil­ity space has 2 metrics

Donald Hobson10 Feb 2019 0:28 UTC
88 points
11 comments1 min readLW link

In­sights from Munkres’ Topology

Rafael Harth17 Mar 2019 16:52 UTC
30 points
0 comments14 min readLW link

Declar­a­tive Mathematics

johnswentworth21 Mar 2019 19:05 UTC
58 points
10 comments3 min readLW link

The Prin­ci­ple of Pre­dicted Improvement

Ronny Fernandez23 Apr 2019 21:21 UTC
69 points
17 comments3 min readLW link

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

Ben Pace25 Apr 2019 4:54 UTC
37 points
10 comments1 min readLW link

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

So8res11 May 2019 20:32 UTC
38 points
23 comments5 min readLW link

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

Ben Pace26 May 2019 4:14 UTC
29 points
4 comments3 min readLW link

Ar­bital scrape

emmab6 Jun 2019 23:11 UTC
89 points
23 comments1 min readLW link

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

Rafael Harth13 Jul 2019 18:24 UTC
53 points
18 comments9 min readLW link

Laplace Approximation

johnswentworth18 Jul 2019 15:23 UTC
29 points
3 comments3 min readLW link

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

riceissa4 Aug 2019 17:44 UTC
25 points
3 comments5 min readLW link

Why Gra­di­ents Van­ish and Explode

Matthew Barnett9 Aug 2019 2:54 UTC
25 points
9 comments3 min readLW link

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

Matthew Barnett12 Aug 2019 23:44 UTC
25 points
3 comments7 min readLW link

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

Matthew Barnett15 Aug 2019 1:13 UTC
22 points
7 comments6 min readLW link

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

johnswentworth1 Sep 2019 19:19 UTC
48 points
10 comments5 min readLW link

Joy in Dis­cov­ery: Galois theory

Eigil Rischel2 Sep 2019 19:16 UTC
30 points
2 comments2 min readLW link

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

paulfchristiano14 Sep 2019 17:00 UTC
91 points
21 comments2 min readLW link
(sideways-view.com)

The sen­tence struc­ture of mathematics

countedblessings7 Oct 2019 18:58 UTC
41 points
15 comments2 min readLW link

Cat­e­gories: mod­els of models

countedblessings9 Oct 2019 2:45 UTC
52 points
18 comments12 min readLW link

Ex­am­ples of Categories

countedblessings10 Oct 2019 1:25 UTC
27 points
2 comments5 min readLW link

Sets and Functions

countedblessings11 Oct 2019 5:06 UTC
31 points
22 comments10 min readLW link

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

Sunny from QAD13 Oct 2019 3:59 UTC
23 points
22 comments1 min readLW link

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

aaq1 Dec 2019 15:40 UTC
19 points
9 comments2 min readLW link

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

interstice4 Dec 2019 23:11 UTC
83 points
9 comments9 min readLW link

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

Stuart_Armstrong19 Dec 2019 13:55 UTC
24 points
18 comments7 min readLW link

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

johnswentworth21 Jan 2020 20:04 UTC
37 points
0 comments3 min readLW link

Cat­e­gory The­ory Without The Baggage

johnswentworth3 Feb 2020 20:03 UTC
125 points
49 comments13 min readLW link

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

Vanessa Kosoy14 Feb 2020 18:46 UTC
34 points
8 comments9 min readLW link1 review

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

TurnTrout22 Feb 2020 21:58 UTC
30 points
4 comments4 min readLW link

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

evhub10 Mar 2020 19:36 UTC
85 points
11 comments2 min readLW link
(distill.pub)

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

TurnTrout4 Apr 2020 3:38 UTC
32 points
3 comments9 min readLW link

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

TurnTrout4 May 2020 15:45 UTC
126 points
17 comments4 min readLW link

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

jollybard25 May 2020 5:35 UTC
73 points
14 comments5 min readLW link

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

Hazard28 Jun 2020 18:50 UTC
42 points
11 comments12 min readLW link

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

DirectedEvolution10 Jul 2020 18:43 UTC
22 points
26 comments3 min readLW link

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

Stuart_Armstrong14 Jul 2020 19:30 UTC
80 points
27 comments4 min readLW link

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

Sunny from QAD16 Jul 2020 12:36 UTC
6 points
7 comments1 min readLW link
(questionsanddaylight.com)

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

Abhimanyu Pallavi Sudhir26 Jul 2020 7:16 UTC
6 points
4 comments1 min readLW link

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

Bunthut8 Aug 2020 22:14 UTC
6 points
2 comments2 min readLW link

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

jdcampolargo12 Aug 2020 22:52 UTC
−2 points
0 comments4 min readLW link

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

curi25 Aug 2020 17:09 UTC
7 points
15 comments2 min readLW link

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

Diffractor27 Aug 2020 7:49 UTC
8 points
0 comments31 min readLW link

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

Diffractor27 Aug 2020 7:52 UTC
8 points
0 comments46 min readLW link

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

Diffractor27 Aug 2020 7:54 UTC
8 points
0 comments36 min readLW link

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

Diffractor27 Aug 2020 7:57 UTC
8 points
0 comments14 min readLW link

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

Diffractor27 Aug 2020 7:59 UTC
8 points
0 comments20 min readLW link

Belief Func­tions And De­ci­sion Theory

Diffractor27 Aug 2020 8:00 UTC
17 points
7 comments39 min readLW link

Ba­sic In­framea­sure Theory

Diffractor27 Aug 2020 8:02 UTC
36 points
19 comments25 min readLW link

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

johnswentworth8 Sep 2020 20:44 UTC
40 points
1 comment4 min readLW link

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

vlad.proex27 Sep 2020 15:12 UTC
81 points
29 comments9 min readLW link

Mes­sage Length

Zack_M_Davis20 Oct 2020 5:52 UTC
134 points
25 comments12 min readLW link

A Cor­re­spon­dence Theorem

johnswentworth26 Oct 2020 23:28 UTC
29 points
4 comments9 min readLW link

In­te­gers as Compression

Chris_Leong28 Oct 2020 7:36 UTC
9 points
7 comments2 min readLW link

Three more sto­ries about causation

cousin_it3 Nov 2020 15:51 UTC
15 points
6 comments1 min readLW link

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

Maxwell Peterson6 Nov 2020 3:19 UTC
26 points
0 comments6 min readLW link

Ex­am­ples of Measures

Maxwell Peterson15 Nov 2020 1:44 UTC
23 points
20 comments2 min readLW link

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

Jsevillamol15 Nov 2020 18:37 UTC
55 points
11 comments2 min readLW link1 review

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

Maxwell Peterson21 Nov 2020 4:09 UTC
39 points
14 comments3 min readLW link

Con­volu­tion as smoothing

Maxwell Peterson25 Nov 2020 6:00 UTC
28 points
5 comments3 min readLW link

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

Maxwell Peterson8 Dec 2020 7:23 UTC
139 points
40 comments4 min readLW link

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

Insomnimatic10 Dec 2020 22:01 UTC
5 points
1 comment1 min readLW link

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

Maxwell Peterson18 Dec 2020 7:48 UTC
8 points
4 comments6 min readLW link

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

Maxwell Peterson17 Jan 2021 8:27 UTC
5 points
0 comments3 min readLW link

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

riceissa19 Jan 2021 2:09 UTC
16 points
1 comment4 min readLW link

Rec­og­niz­ing Numbers

johnswentworth20 Jan 2021 19:50 UTC
25 points
3 comments7 min readLW link

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

Daniel Abolafia3 Feb 2021 1:03 UTC
11 points
6 comments18 min readLW link

Against but­terfly effect

ForensicOceanography9 Feb 2021 7:46 UTC
5 points
10 comments1 min readLW link
(forensicoceanography.wordpress.com)

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

Sai Sasank Y28 Feb 2021 11:57 UTC
1 point
23 comments2 min readLW link

Why sig­moids are so hard to predict

Stuart_Armstrong18 Mar 2021 18:21 UTC
56 points
7 comments5 min readLW link

Some things I’ve learned in college

Aaron Bergman25 Mar 2021 21:30 UTC
22 points
1 comment7 min readLW link
(aaronbergman.substack.com)

Bel­l­man’s Curse on Advice

nibnalin19 Apr 2021 2:30 UTC
2 points
0 comments3 min readLW link

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

Orfeas28 Apr 2021 0:00 UTC
24 points
2 comments6 min readLW link

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

Jan Christian Refsgaard8 May 2021 19:45 UTC
20 points
7 comments3 min readLW link
(www.badprior.com)

The case for hypocrisy

Aaron Bergman13 May 2021 3:36 UTC
37 points
12 comments5 min readLW link
(aaronbergman.substack.com)

Es­cap­ing the Löbian Obstacle

Morgan_Rogers16 Jun 2021 0:02 UTC
14 points
10 comments7 min readLW link

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

Stuart_Armstrong9 Jul 2021 17:35 UTC
9 points
0 comments8 min readLW link

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

jimrandomh16 Jul 2021 22:03 UTC
24 points
21 comments1 min readLW link

Black ravens and red herrings

Matthew Barnett27 Jul 2021 17:46 UTC
50 points
17 comments1 min readLW link

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

J Bostock30 Jul 2021 12:36 UTC
13 points
7 comments3 min readLW link

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

Haziq Muhammad11 Aug 2021 9:25 UTC
13 points
7 comments1 min readLW link

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

Sam Enright31 Aug 2021 23:11 UTC
33 points
5 comments5 min readLW link

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

DirectedEvolution2 Sep 2021 16:36 UTC
16 points
21 comments11 min readLW link

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

Haziq Muhammad4 Sep 2021 5:45 UTC
−2 points
89 comments1 min readLW link

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

lsusr22 Sep 2021 22:22 UTC
24 points
4 comments4 min readLW link

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

mako yass28 Sep 2021 1:54 UTC
11 points
3 comments1 min readLW link

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

Sam Marks29 Sep 2021 19:03 UTC
98 points
23 comments23 min readLW link1 review

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

Peter Chatain3 Oct 2021 3:23 UTC
28 points
5 comments21 min readLW link

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

Jan17 Oct 2021 20:28 UTC
9 points
9 comments6 min readLW link
(universalprior.substack.com)

Chu are you?

Adele Lopez6 Nov 2021 17:39 UTC
60 points
9 comments9 min readLW link
(adelelopez.com)

What’s the weirdest way to win this game?

Adam Scherlis21 Nov 2021 5:18 UTC
9 points
5 comments1 min readLW link
(adam.scherlis.com)

The Meta-Puzzle

DanielFilan22 Nov 2021 5:30 UTC
23 points
27 comments3 min readLW link
(danielfilan.com)

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

Maxwell Peterson27 Nov 2021 5:48 UTC
23 points
11 comments3 min readLW link

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

acgt29 Nov 2021 10:45 UTC
6 points
3 comments3 min readLW link

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

Adam Scherlis4 Dec 2021 21:47 UTC
10 points
0 comments2 min readLW link
(adam.scherlis.com)

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

JoshuaOSHickman6 Dec 2021 18:26 UTC
15 points
5 comments4 min readLW link

The Promise and Peril of Finite Sets

davidad10 Dec 2021 12:29 UTC
42 points
4 comments6 min readLW link

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

lsusr22 Dec 2021 8:03 UTC
53 points
23 comments1 min readLW link

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

Tom Lieberum24 Dec 2021 18:05 UTC
16 points
2 comments3 min readLW link

The Ge­net­ics of Space Ama­zons

Jan Christian Refsgaard30 Dec 2021 22:14 UTC
12 points
12 comments5 min readLW link

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

Borasko31 Dec 2021 17:55 UTC
65 points
10 comments10 min readLW link

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

aysajan31 Jan 2022 20:18 UTC
13 points
0 comments6 min readLW link

[Question] Can you prove that 0 = 1?

purplelight4 Feb 2022 21:31 UTC
−10 points
4 comments1 min readLW link

Com­putabil­ity and Complexity

5 Feb 2022 14:53 UTC
21 points
5 comments11 min readLW link
(www.metaculus.com)

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

DanielFilan12 Feb 2022 3:20 UTC
15 points
6 comments1 min readLW link
(danielfilan.com)

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

homotowat27 Feb 2022 6:37 UTC
27 points
4 comments7 min readLW link

Seek Mis­takes in the Space Between Math and Reality

aphyer1 Mar 2022 5:58 UTC
29 points
23 comments4 min readLW link

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

lsusr3 Mar 2022 5:06 UTC
14 points
4 comments1 min readLW link

Ac­cel­er­ated [Honors] Calculus

lsusr6 Mar 2022 10:34 UTC
32 points
3 comments1 min readLW link

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

Ege Erdil11 Mar 2022 16:10 UTC
17 points
7 comments5 min readLW link

Whence the de­ter­mi­nant?

Ege Erdil13 Mar 2022 19:38 UTC
28 points
27 comments6 min readLW link

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

Gunnar_Zarncke16 Mar 2022 11:58 UTC
9 points
2 comments1 min readLW link

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

Ege Erdil20 Mar 2022 17:18 UTC
40 points
84 comments1 min readLW link

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

Viliam23 Mar 2022 23:12 UTC
36 points
28 comments5 min readLW link

Sums and products

27 Mar 2022 21:57 UTC
23 points
11 comments12 min readLW link
(www.metaculus.com)

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

Maxwell Peterson1 Apr 2022 21:25 UTC
10 points
10 comments4 min readLW link

Op­tional stopping

Ege Erdil2 Apr 2022 13:58 UTC
14 points
6 comments7 min readLW link

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

lsusr3 Apr 2022 20:52 UTC
22 points
29 comments6 min readLW link

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

Dawn Drain5 Apr 2022 6:19 UTC
6 points
2 comments4 min readLW link

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

Alex_Altair6 Apr 2022 4:57 UTC
20 points
5 comments5 min readLW link

Distill­ing and ap­proaches to the determinant

AprilSR6 Apr 2022 6:34 UTC
6 points
0 comments6 min readLW link

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

Epirito6 Apr 2022 13:03 UTC
4 points
6 comments2 min readLW link

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

Rafael Harth6 Apr 2022 19:31 UTC
12 points
1 comment67 min readLW link

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

Ulisse Mini18 Apr 2022 1:22 UTC
37 points
3 comments2 min readLW link

In­fra-Topology

Diffractor22 Apr 2022 2:10 UTC
36 points
1 comment17 min readLW link

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

Jan26 Apr 2022 8:05 UTC
15 points
3 comments9 min readLW link
(universalprior.substack.com)

My Take On Philosophy

UtilityMonster22 May 2022 16:43 UTC
2 points
2 comments5 min readLW link

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

Bill Benzon6 Jun 2022 8:34 UTC
1 point
0 comments4 min readLW link

A But­terfly’s View of Probability

Gabriel Wu15 Jun 2022 2:14 UTC
29 points
17 comments11 min readLW link

#SAT with Ten­sor Networks

Adam Jermyn17 Jun 2022 13:20 UTC
4 points
0 comments2 min readLW link

Worked Ex­am­ples of Shap­ley Values

lalaithion24 Jun 2022 17:13 UTC
70 points
9 comments8 min readLW link

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

Adam Scherlis1 Jul 2022 4:05 UTC
14 points
0 comments1 min readLW link
(adam.scherlis.com)

Five views of Bayes’ Theorem

Adam Scherlis2 Jul 2022 2:25 UTC
38 points
4 comments1 min readLW link

Hes­sian and Basin volume

Vivek Hebbar10 Jul 2022 6:59 UTC
35 points
10 comments4 min readLW link

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

Donald Hobson29 Jul 2022 0:12 UTC
11 points
4 comments1 min readLW link

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
21 comments6 min readLW link

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

muzammil1 Sep 2022 17:56 UTC
0 points
3 comments1 min readLW link

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

Alok Singh23 Sep 2022 6:30 UTC
6 points
3 comments1 min readLW link
(alok.github.io)

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

ojorgensen28 Sep 2022 14:10 UTC
15 points
6 comments18 min readLW link

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

LawrenceC5 Oct 2022 16:20 UTC
82 points
18 comments1 min readLW link
(www.deepmind.com)

Boolean Prim­i­tives for Cou­pled Optimizers

Paul Bricman7 Oct 2022 18:02 UTC
9 points
0 comments8 min readLW link

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

trevor13 Oct 2022 3:07 UTC
48 points
7 comments22 min readLW link
(www.lesswrong.com)

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

Alex_Altair20 Oct 2022 21:03 UTC
229 points
78 comments18 min readLW link1 review

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

Yaakov T27 Oct 2022 11:23 UTC
5 points
9 comments1 min readLW link

For ELK truth is mostly a distraction

c.trout4 Nov 2022 21:14 UTC
44 points
0 comments21 min readLW link

The Geo­met­ric Expectation

Scott Garrabrant23 Nov 2022 18:05 UTC
143 points
17 comments4 min readLW link

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

Alex_Altair23 Nov 2022 20:15 UTC
20 points
9 comments1 min readLW link

Science and Math

lsusr27 Nov 2022 4:05 UTC
19 points
6 comments1 min readLW link

Brun’s the­o­rem and sieve theory

Ege Erdil2 Dec 2022 20:57 UTC
31 points
1 comment73 min readLW link

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

sen7 Dec 2022 12:44 UTC
11 points
12 comments1 min readLW link
(paperclip.substack.com)

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

Alex_Altair10 Dec 2022 0:13 UTC
37 points
3 comments7 min readLW link

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

adamShimi11 Dec 2022 15:16 UTC
54 points
18 comments1 min readLW link
(epistemologicalvigilance.substack.com)

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

Abhimanyu Pallavi Sudhir12 Dec 2022 16:03 UTC
16 points
14 comments14 min readLW link

Proof as mere strong evidence

adamShimi14 Dec 2022 8:56 UTC
28 points
16 comments2 min readLW link
(epistemologicalvigilance.substack.com)

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

DragonGod14 Dec 2022 16:17 UTC
16 points
1 comment13 min readLW link
(arxiv.org)

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

Thomas Kehrenberg15 Dec 2022 14:54 UTC
47 points
8 comments13 min readLW link

Bad at Arith­metic, Promis­ing at Math

cohenmacaulay18 Dec 2022 5:40 UTC
100 points
19 comments20 min readLW link1 review

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

Alok Singh19 Dec 2022 8:40 UTC
8 points
2 comments1 min readLW link
(alok.github.io)

Re­cre­at­ing logic in type theory

Thomas Kehrenberg21 Dec 2022 15:19 UTC
12 points
0 comments13 min readLW link

Naive Set The­ory, Halmos

David Udell22 Dec 2022 2:34 UTC
11 points
1 comment8 min readLW link

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

johnswentworth22 Dec 2022 6:57 UTC
102 points
7 comments1 min readLW link

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

Spencer Becker-Kahn22 Dec 2022 17:21 UTC
14 points
0 comments12 min readLW link

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

VipulNaik23 Dec 2022 20:26 UTC
22 points
2 comments38 min readLW link

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

Andrew_Critch24 Dec 2022 2:02 UTC
29 points
16 comments3 min readLW link

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

Adam Scherlis24 Dec 2022 21:12 UTC
83 points
4 comments3 min readLW link

In­con­sis­tent math is great

Alok Singh25 Dec 2022 3:20 UTC
1 point
2 comments1 min readLW link

Hyper­finite graphs ~ manifolds

Alok Singh25 Dec 2022 12:24 UTC
11 points
5 comments2 min readLW link

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

25 Dec 2022 20:58 UTC
15 points
2 comments6 min readLW link
(www.snellessen.com)

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

Thomas Kehrenberg28 Dec 2022 20:16 UTC
3 points
0 comments16 min readLW link

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

Alok Singh29 Dec 2022 10:41 UTC
5 points
2 comments1 min readLW link

The hy­per­finite timeline

Alok Singh30 Dec 2022 9:30 UTC
3 points
6 comments1 min readLW link
(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

Andrew_Critch1 Jan 2023 17:39 UTC
23 points
8 comments7 min readLW link

Fun math facts about 2023

Adam Scherlis1 Jan 2023 23:38 UTC
9 points
6 comments1 min readLW link

A ker­nel of Lie theory

Alok Singh2 Jan 2023 9:20 UTC
−1 points
8 comments1 min readLW link
(alok.github.io)

Lin­ear Alge­bra Done Right, Axler

David Udell2 Jan 2023 22:54 UTC
56 points
6 comments9 min readLW link

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

Thomas Kehrenberg3 Jan 2023 14:33 UTC
3 points
1 comment13 min readLW link

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

Phosphorous8 Jan 2023 21:07 UTC
31 points
2 comments7 min readLW link

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

Thomas Kehrenberg19 Jan 2023 22:36 UTC
5 points
0 comments16 min readLW link

The Knock­down Ar­gu­ment Paradox

Bryan Frances28 Jan 2023 19:23 UTC
−12 points
6 comments8 min readLW link

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

DragonGod3 Feb 2023 21:26 UTC
8 points
2 comments1 min readLW link

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

Andrew_Critch5 Feb 2023 0:58 UTC
133 points
32 comments3 min readLW link

A List of things I might do with a Proof Oracle

Logan Zoellner5 Feb 2023 18:14 UTC
−14 points
13 comments3 min readLW link

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

Alexander Gietelink Oldenziel6 Feb 2023 0:00 UTC
44 points
1 comment16 min readLW link

The Law of Identity

Chris_Leong6 Feb 2023 2:59 UTC
5 points
5 comments4 min readLW link

A Par­tic­u­lar Equilibrium

Algon8 Feb 2023 15:16 UTC
13 points
0 comments2 min readLW link
(algon-33.github.io)

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

Spencer Becker-Kahn9 Feb 2023 1:45 UTC
63 points
8 comments6 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 King11 Feb 2023 7:57 UTC
5 points
4 comments5 min readLW link

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

Yegreg16 Feb 2023 19:31 UTC
27 points
0 comments7 min readLW link

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

David Udell16 Feb 2023 21:57 UTC
29 points
0 comments18 min readLW link

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

James Payor21 Feb 2023 21:11 UTC
13 points
0 comments2 min readLW link

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
0 comments19 min readLW link

Deal­ing with in­finite entropy

Alex_Altair1 Mar 2023 15:01 UTC
69 points
9 comments11 min readLW link

Payor’s Lemma in Nat­u­ral Language

Andrew_Critch2 Mar 2023 12:22 UTC
60 points
0 comments2 min readLW link

The In­ner-Com­pass Theorem

Tristan Miano5 Mar 2023 15:21 UTC
−23 points
12 comments16 min readLW link

The Ogdoad

Tristan Miano5 Mar 2023 20:01 UTC
−15 points
1 comment37 min readLW link

The Type II In­ner-Com­pass Theorem

Tristan Miano6 Mar 2023 2:35 UTC
−16 points
0 comments22 min readLW link

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

Fabien Roger9 Mar 2023 16:35 UTC
44 points
2 comments5 min readLW link

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

ViktoriaMalyasova14 Mar 2023 7:10 UTC
24 points
0 comments12 min readLW link
(www.lesswrong.com)

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

James Payor21 Mar 2023 16:12 UTC
43 points
3 comments4 min readLW link

Harry Pot­ter in The World of Path Semantics

Sven Nilsen22 Mar 2023 20:22 UTC
−3 points
17 comments1 min readLW link
(raw.githubusercontent.com)

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

zef27 Mar 2023 19:12 UTC
7 points
2 comments1 min readLW link

A Primer On Chaos

johnswentworth28 Mar 2023 18:01 UTC
46 points
9 comments9 min readLW link

You Can’t Pre­dict a Game of Pinball

Jeffrey Heninger30 Mar 2023 0:40 UTC
73 points
12 comments8 min readLW link
(aiimpacts.org)

~100 In­ter­est­ing Questions

RohanS30 Mar 2023 13:57 UTC
53 points
18 comments9 min readLW link

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

Golol12 Apr 2023 16:49 UTC
4 points
6 comments4 min readLW link

The Truth About False

Thoth Hermes15 Apr 2023 1:01 UTC
−21 points
4 comments17 min readLW link
(thothhermes.substack.com)

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

Noosphere8917 Apr 2023 15:14 UTC
−11 points
12 comments1 min readLW link

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

Yudhister Kumar22 Apr 2023 10:38 UTC
17 points
3 comments2 min readLW link
(www.ykumar.org)

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

azsantosk11 May 2023 14:46 UTC
37 points
27 comments1 min readLW link

Real­ity and re­al­ity-boxes

Jim Pivarski13 May 2023 14:14 UTC
37 points
11 comments21 min readLW link

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

johnswentworth16 May 2023 21:31 UTC
40 points
11 comments2 min readLW link

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

Gabriel Wu30 May 2023 2:37 UTC
20 points
1 comment10 min readLW link
(gabrieldwu.github.io)

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

vinnik.dmitry0731 May 2023 17:54 UTC
1 point
0 comments10 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

Spencer Becker-Kahn1 Jun 2023 11:31 UTC
104 points
12 comments2 min readLW link

Dreams of “Matho­pe­dia”

NicholasKross2 Jun 2023 1:30 UTC
40 points
16 comments2 min readLW link
(www.thinkingmuchbetter.com)

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

London L.12 Jun 2023 19:19 UTC
1 point
10 comments9 min readLW link
(medium.com)

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

Liam Carroll16 Jun 2023 9:50 UTC
45 points
8 comments13 min readLW link

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

Liam Carroll16 Jun 2023 9:50 UTC
74 points
6 comments5 min readLW link

Are Bayesian meth­ods guaran­teed to overfit?

Ege Erdil17 Jun 2023 12:52 UTC
52 points
5 comments3 min readLW link
(www.yulingyao.com)

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

Liam Carroll18 Jun 2023 0:23 UTC
20 points
14 comments17 min readLW link

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

bhauth19 Jun 2023 0:09 UTC
44 points
6 comments2 min readLW link
(www.bhauth.com)

DSLT 3. Neu­ral Net­works are Singular

Liam Carroll20 Jun 2023 8:20 UTC
24 points
5 comments19 min readLW link

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

Ege Erdil23 Jun 2023 16:09 UTC
83 points
7 comments6 min readLW link

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

Liam Carroll24 Jun 2023 17:22 UTC
30 points
3 comments16 min readLW link

Two Per­co­la­tion Puzzles

Adam Scherlis4 Jul 2023 5:34 UTC
43 points
14 comments1 min readLW link
(adam.scherlis.com)

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

CallumMcDougall4 Jul 2023 19:23 UTC
65 points
1 comment1 min readLW link

In­fra-Bayesian Logic

5 Jul 2023 19:16 UTC
15 points
2 comments1 min readLW link

men­tal num­ber lines

bhauth19 Jul 2023 21:01 UTC
10 points
5 comments1 min readLW link

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

NicholasKross20 Jul 2023 0:18 UTC
11 points
8 comments1 min readLW link

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

Noosphere8924 Jul 2023 17:53 UTC
10 points
10 comments3 min readLW link

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

Noosphere8926 Jul 2023 17:54 UTC
6 points
13 comments5 min readLW link

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

Noosphere8929 Jul 2023 23:53 UTC
6 points
12 comments1 min readLW link

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

Noosphere8930 Jul 2023 14:33 UTC
−5 points
16 comments15 min readLW link

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

Joseph Van Name2 Aug 2023 21:06 UTC
7 points
1 comment3 min readLW link

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

7 Aug 2023 15:52 UTC
35 points
9 comments1 min readLW link

The Case for Convexity

Jesse Richardson9 Aug 2023 14:09 UTC
19 points
3 comments1 min readLW link

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

dr_s12 Aug 2023 7:34 UTC
37 points
28 comments35 min readLW link

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

jessicata16 Aug 2023 18:57 UTC
71 points
0 comments17 min readLW link
(unstableontology.com)

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 Name19 Aug 2023 19:52 UTC
15 points
2 comments5 min readLW link

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 Name4 Sep 2023 16:19 UTC
3 points
4 comments12 min readLW link

Log­i­cal Share Splitting

DaemonicSigil11 Sep 2023 4:08 UTC
88 points
16 comments9 min readLW link
(pbement.com)

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

Thoth Hermes18 Sep 2023 18:53 UTC
−10 points
46 comments5 min readLW link
(thothhermes.substack.com)

Hand-writ­ing MathML

jefftk23 Sep 2023 11:20 UTC
16 points
40 comments1 min readLW link
(www.jefftk.com)

Wob­bly Table The­o­rem in Practice

Morpheus28 Sep 2023 14:33 UTC
23 points
0 comments2 min readLW link

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

Adam Shai29 Sep 2023 14:38 UTC
49 points
6 comments9 min readLW link

Con­di­tion­als All The Way Down

lunatic_at_large30 Sep 2023 21:06 UTC
33 points
2 comments3 min readLW link

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

transhumanist_atom_understander1 Oct 2023 8:15 UTC
16 points
1 comment2 min readLW link

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

Aidan Rocke1 Oct 2023 23:55 UTC
10 points
19 comments4 min readLW link

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

Matthias G. Mayer2 Oct 2023 15:16 UTC
14 points
0 comments3 min readLW link

Why We Use Money? - A Walrasian View

Savio Coelho3 Oct 2023 12:02 UTC
4 points
3 comments8 min readLW link

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

Jordan Taylor4 Oct 2023 8:04 UTC
132 points
8 comments19 min readLW link

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

Matthias G. Mayer5 Oct 2023 18:36 UTC
22 points
0 comments2 min readLW link

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

lunatic_at_large7 Oct 2023 5:06 UTC
3 points
2 comments1 min readLW link

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

Dalcy10 Oct 2023 3:28 UTC
23 points
2 comments3 min readLW link

Hyper­re­als in a Nutshell

Yudhister Kumar15 Oct 2023 14:23 UTC
35 points
27 comments5 min readLW link
(ykumar.org)

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

mako yass17 Oct 2023 20:03 UTC
22 points
0 comments1 min readLW link
(blog.eleuther.ai)

[Question] In­finite tower of meta-probability

fryolysis19 Oct 2023 16:44 UTC
6 points
5 comments3 min readLW link

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

Zane23 Oct 2023 2:26 UTC
35 points
22 comments1 min readLW link

math ter­minol­ogy as convolution

bhauth30 Oct 2023 1:05 UTC
34 points
1 comment4 min readLW link
(www.bhauth.com)

Aver­ages and sam­ple sizes

mruwnik2 Nov 2023 9:52 UTC
15 points
2 comments8 min readLW link

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

CrimsonChin3 Nov 2023 19:42 UTC
8 points
2 comments1 min readLW link

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

Cleo Nardo11 Nov 2023 15:59 UTC
53 points
16 comments19 min readLW link

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

Abhimanyu Pallavi Sudhir14 Nov 2023 21:11 UTC
13 points
0 comments14 min readLW link

Un­known Probabilities

transhumanist_atom_understander27 Nov 2023 2:30 UTC
13 points
0 comments4 min readLW link

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

Yudhister Kumar28 Nov 2023 10:27 UTC
80 points
13 comments4 min readLW link

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

VipulNaik29 Nov 2023 18:11 UTC
33 points
16 comments14 min readLW link

Math­e­mat­ics As Physics

Nox ML6 Dec 2023 22:27 UTC
−2 points
10 comments5 min readLW link

What makes teach­ing math special

Viliam17 Dec 2023 14:15 UTC
38 points
27 comments11 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?

Noosphere8920 Dec 2023 15:36 UTC
11 points
15 comments1 min readLW link

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

ACrackedPot3 Jan 2024 16:41 UTC
−4 points
2 comments2 min readLW link

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

RogerDearnaley5 Jan 2024 8:46 UTC
35 points
4 comments2 min readLW link

Learn­ing Math in Time for Alignment

NicholasKross9 Jan 2024 1:02 UTC
32 points
3 comments3 min readLW link

Uncer­tainty in all its flavours

Cleo Nardo9 Jan 2024 16:21 UTC
25 points
6 comments35 min readLW link

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

JonathanHall14 Jan 2024 23:56 UTC
−4 points
27 comments11 min readLW link

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

Yitz17 Jan 2024 9:48 UTC
81 points
11 comments9 min readLW link

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

alyssavance17 Jan 2024 17:17 UTC
45 points
8 comments1 min readLW link
(deepmind.google)

Core sys­tems of number

Bruce W. Lee9 Feb 2024 2:19 UTC
3 points
0 comments3 min readLW link
(www.sciencedirect.com)

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

Bruce W. Lee9 Feb 2024 4:45 UTC
6 points
0 comments1 min readLW link
(pubmed.ncbi.nlm.nih.gov)

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

Peter Berggren11 Feb 2024 17:42 UTC
54 points
3 comments1 min readLW link

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

Shankar Sivarajan18 Feb 2024 16:46 UTC
12 points
28 comments3 min readLW link

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

g-w123 Feb 2024 14:35 UTC
11 points
9 comments2 min readLW link

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

astradiol9 Mar 2024 22:07 UTC
20 points
3 comments10 min readLW link

Com­ple­tion Estimates

scarcegreengrass9 Mar 2024 22:56 UTC
7 points
2 comments3 min readLW link

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

Valentin Baltadzhiev14 Mar 2024 9:51 UTC
1 point
2 comments1 min readLW link

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

jessicata14 Mar 2024 23:04 UTC
47 points
23 comments4 min readLW link
(unstableontology.com)

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

Disbeliever22 Mar 2024 18:03 UTC
1 point
0 comments1 min readLW link
No comments.