RSS

Logic & Math­e­mat­ics

TagLast edit: 25 Sep 2021 3:55 UTC by Yoav Ravid

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

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

MakoYass28 Sep 2021 1:54 UTC
10 points
2 comments1 min readLW link

Stan­dard and Non­stan­dard Numbers

Eliezer Yudkowsky20 Dec 2012 3:23 UTC
64 points
87 comments15 min readLW link

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

Maxwell Peterson8 Dec 2020 7:23 UTC
128 points
38 comments4 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
72 points
18 comments4 min readLW link

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

JonahS12 Feb 2015 1:29 UTC
87 points
141 comments12 min readLW link

Log­i­cal Pinpointing

Eliezer Yudkowsky2 Nov 2012 15:33 UTC
102 points
344 comments10 min readLW link

Cat­e­gories: mod­els of models

countedblessings9 Oct 2019 2:45 UTC
47 points
18 comments12 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)

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

So8res17 Feb 2014 20:52 UTC
56 points
15 comments7 min readLW link

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

So8res30 Sep 2013 16:09 UTC
47 points
21 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
51 points
23 comments4 min readLW link

Cat­e­gory The­ory Without The Baggage

johnswentworth3 Feb 2020 20:03 UTC
110 points
42 comments13 min readLW link

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

TurnTrout4 May 2020 15:45 UTC
120 points
19 comments4 min readLW link

Se­cond-Order Logic: The Controversy

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

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

jollybard25 May 2020 5:35 UTC
71 points
13 comments5 min readLW link

Topolog­i­cal Fixed Point Exercises

17 Nov 2018 1:40 UTC
68 points
52 comments3 min readLW link

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

JonahS18 Feb 2015 11:11 UTC
62 points
140 comments9 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)

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)

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

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

Refer­ences & Re­sources for LessWrong

XiXiDu10 Oct 2010 14:54 UTC
148 points
106 comments20 min readLW link

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

AlexMennen25 Jan 2011 19:32 UTC
11 points
41 comments2 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

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

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

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

Eliezer Yudkowsky27 Sep 2007 23:00 UTC
119 points
403 comments3 min readLW link

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

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

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

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

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

Eliezer Yudkowsky17 Aug 2008 20:35 UTC
26 points
103 comments1 min readLW link

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

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

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

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

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

AllAmericanBreakfast10 Jul 2020 18:43 UTC
22 points
26 comments3 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

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

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

Is Scott Alexan­der bad at math?

JonahS4 May 2015 5:11 UTC
57 points
222 comments6 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
28 points
10 comments1 min readLW link

Harry Pot­ter and the Method of Entropy

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

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

Ba­sic In­framea­sure Theory

Diffractor27 Aug 2020 8:02 UTC
30 points
10 comments25 min readLW link

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

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

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

vlad.proex27 Sep 2020 15:12 UTC
79 points
29 comments9 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

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

Jsevillamol15 Nov 2020 18:37 UTC
53 points
11 comments2 min readLW link

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

Maxwell Peterson21 Nov 2020 4:09 UTC
36 points
18 comments3 min readLW link

Con­volu­tion as smoothing

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

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

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

Rec­og­niz­ing Numbers

johnswentworth20 Jan 2021 19:50 UTC
26 points
3 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

Jemist30 Jul 2021 12:36 UTC
11 points
7 comments3 min readLW link

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

Hazard28 Jun 2020 18:50 UTC
39 points
10 comments12 min readLW link

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

Sam Enright31 Aug 2021 23:11 UTC
21 points
4 comments5 min readLW link

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

AllAmericanBreakfast2 Sep 2021 16:36 UTC
15 points
21 comments11 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
21 points
4 comments4 min readLW link

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

Sam Marks29 Sep 2021 19:03 UTC
81 points
17 comments23 min readLW link

The Meta-Puzzle

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

Re: Se­cond-Order Logic: The Controversy

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

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

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

Ar­bital scrape

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

Sam Har­ris and the Is–Ought Gap

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

Co-Proofs

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

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

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

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

ata26 Mar 2010 9:26 UTC
95 points
123 comments11 min readLW link

The Power of Pos­i­tivist Thinking

Scott Alexander21 Mar 2009 20:55 UTC
89 points
56 comments9 min readLW link

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

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

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

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

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

paulfchristiano14 Sep 2019 17:00 UTC
83 points
22 comments2 min readLW link1 nomination
(sideways-view.com)

Prob­a­bil­ity space has 2 metrics

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

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

Eliezer Yudkowsky24 Mar 2013 16:37 UTC
107 points
172 comments3 min readLW link

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

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

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

abramdemski20 Mar 2018 0:00 UTC
153 points
38 comments1 min readLW link

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

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

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

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

The Crack­pot Offer

Eliezer Yudkowsky8 Sep 2007 14:32 UTC
82 points
74 comments3 min readLW link

Declar­a­tive Mathematics

johnswentworth21 Mar 2019 19:05 UTC
57 points
10 comments3 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 comments7 min readLW link

En­tropy, and Short Codes

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

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

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

The Quo­ta­tion is not the Referent

Eliezer Yudkowsky13 Mar 2008 0:53 UTC
55 points
13 comments3 min readLW link

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

abramdemski20 Jul 2018 5:24 UTC
60 points
18 comments6 min readLW link

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

Ben Pace25 Apr 2019 4:54 UTC
36 points
10 comments1 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

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

The Prin­ci­ple of Pre­dicted Improvement

Ronny23 Apr 2019 21:21 UTC
66 points
17 comments3 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

In­sights from Munkres’ Topology

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

How to pick your categories

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

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

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

Men­tal Con­text for Model Theory

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

The sen­tence struc­ture of mathematics

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

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

johnswentworth1 Sep 2019 19:19 UTC
40 points
4 comments5 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
74 points
91 comments13 min readLW link

Fun With DAGs

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

Don’t Get Dis­tracted by the Boilerplate

johnswentworth26 Jul 2018 2:15 UTC
46 points
12 comments2 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
78 points
39 comments11 min readLW link

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

abramdemski11 Jul 2018 1:57 UTC
40 points
34 comments13 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

Al­gorithms as Case Stud­ies in Rationality

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

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

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

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

gwern8 May 2011 15:44 UTC
53 points
49 comments1 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

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

Eliezer Yudkowsky12 Apr 2007 3:24 UTC
49 points
19 comments4 min readLW link

Beau­tiful Math

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

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

jdampolargo12 Aug 2020 22:52 UTC
−2 points
0 comments4 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

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

You only need faith in two things

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

The Na­ture of Logic

Eliezer Yudkowsky15 Nov 2008 6:20 UTC
32 points
12 comments10 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
60 comments7 min readLW link

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

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

The Quick Bayes Table

farsan18 Apr 2012 18:00 UTC
56 points
31 comments2 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

How valuable is it to learn math deeply?

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

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

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

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

Vladimir_Nesov27 Jul 2009 14:28 UTC
38 points
36 comments2 min readLW link

You Prov­ably Can’t Trust Yourself

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

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

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

Joy in Dis­cov­ery: Galois theory

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

Sets and Functions

countedblessings11 Oct 2019 5:06 UTC
28 points
22 comments10 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

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

Stuart_Armstrong13 Apr 2018 14:58 UTC
9 points
5 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

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

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

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

Laplace Approximation

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

Very Ba­sic Model Theory

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

LDL 2: Non­con­vex Optimization

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

The Power of Noise

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

When wish­ful think­ing works

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

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

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

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

Diffractor27 Aug 2020 7:49 UTC
7 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
7 points
0 comments46 min readLW link

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

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

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

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

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

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

Belief Func­tions And De­ci­sion Theory

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

Dense Math Notation

JK_Ravenclaw1 Apr 2011 3:37 UTC
33 points
23 comments1 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

The Emer­gence of Math

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

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

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

Draw­ing Two Aces

Eliezer Yudkowsky3 Jan 2010 10:33 UTC
19 points
93 comments1 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

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

riceissa4 Aug 2019 17:44 UTC
23 points
3 comments5 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

How my math skills im­proved dramatically

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

Mes­sage Length

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

In­te­gers as Compression

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

Why math­e­mat­ics works

Douglas_Reay8 Mar 2018 18:00 UTC
7 points
4 comments5 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
31 points
7 comments6 min readLW link

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

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

Ex­pect­ing Beauty

Eliezer Yudkowsky12 Jan 2008 3:00 UTC
23 points
6 comments3 min readLW link

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

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

Sus­tained Strong Recursion

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

Three more sto­ries about causation

cousin_it3 Nov 2020 15:51 UTC
15 points
6 comments1 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

A Cor­re­spon­dence Theorem

johnswentworth26 Oct 2020 23:28 UTC
27 points
2 comments9 min readLW link

Precom­mit­ting to pay­ing Omega.

topynate20 Mar 2009 4:33 UTC
5 points
33 comments7 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

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

Vanessa Kosoy14 Feb 2020 18:46 UTC
24 points
7 comments9 min readLW link

A puzzle

Thomas25 Apr 2009 2:33 UTC
−11 points
45 comments1 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

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

[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

Metauncertainty

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

The Logic of Science: 2.2

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

Ex­am­ples of Categories

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

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

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

Ex­am­ples of Measures

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

Without models

RichardKennaway4 May 2009 11:31 UTC
21 points
56 comments7 min readLW link

Log-odds (or log­its)

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

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

G Gordon Worley III6 May 2009 2:58 UTC
2 points
44 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
18 comments6 min readLW link

Su­per­nat­u­ral Math

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

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

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

Wei_Dai7 Jun 2009 9:18 UTC
17 points
72 comments3 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

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

JamesCole15 Jun 2009 14:30 UTC
−1 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

RichardKennaway8 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

[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

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

Matthew Barnett12 Aug 2019 23:44 UTC
23 points
3 comments7 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

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)

A Pois­son pro­cess paradox

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

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
48 points
7 comments5 min readLW link

Some things I’ve learned in college

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

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

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

Bel­l­man’s Curse on Advice

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

The case for hypocrisy

aaronb5013 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
4 points
9 comments7 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
11 points
6 comments1 min readLW link

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

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

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

Peter Chatain3 Oct 2021 3:23 UTC
21 points
4 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)

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

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

So8res13 Dec 2013 3:23 UTC
27 points
18 comments21 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

Chu are you?

Adele Lopez6 Nov 2021 17:39 UTC
60 points
7 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)

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

Maxwell Peterson27 Nov 2021 5:48 UTC
18 points
9 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
4 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
3 points
0 comments3 min readLW link
No comments.