RSS

Faustus2

Karma: 33

[Question] On the role of ab­strac­tion in math­e­mat­ics and the nat­u­ral sciences

Faustus2
18 Dec 2019 0:04 UTC
8 points
11 comments2 min readLW link

Type The­ory quick question

Faustus2
26 Jul 2017 19:57 UTC
0 points
6 comments1 min readLW link

Math­e­mat­ics for AIXI and Gödel machine

Faustus2
22 Jul 2015 18:52 UTC
0 points
6 comments1 min readLW link

Just a ca­sual ques­tion re­gard­ing MIRI

Faustus2
22 Mar 2015 20:16 UTC
12 points
7 comments1 min readLW link