RSS

Donald Hobson

Karma: 332 (LW), 3 (AF)
AllPostsComments
NewTop
Page 1

Propo­si­tional Logic, Syn­tac­tic Implication

Donald Hobson
10 Feb 2019 18:12 UTC
2 points
1 commentLW link

Prob­a­bil­ity space has 2 metrics

Donald Hobson
10 Feb 2019 0:28 UTC
87 points
11 commentsLW link

Allow­ing a for­mal proof sys­tem to self im­prove while avoid­ing Lo­bian ob­sta­cles.

Donald Hobson
23 Jan 2019 23:04 UTC
6 points
4 commentsLW link