RSS

SamEisenstat

Karma: 180

Reflec­tive or­a­cles as a solu­tion to the con­verse Law­vere problem

SamEisenstatNov 29, 2018, 3:23 AM
35 points
2 comments7 min readLW link

Iter­a­tion Fixed Point Exercises

Scott Garrabrant and SamEisenstat
Nov 22, 2018, 12:35 AM
33 points
12 comments3 min readLW link

Di­ag­o­nal­iza­tion Fixed Point Exercises

Scott Garrabrant and SamEisenstat
Nov 18, 2018, 12:31 AM
40 points
25 comments3 min readLW link

Topolog­i­cal Fixed Point Exercises

Scott Garrabrant and SamEisenstat
Nov 17, 2018, 1:40 AM
71 points
51 comments3 min readLW link

Log­i­cal in­duc­tor limits are dense un­der poin­t­wise convergence

SamEisenstatOct 6, 2016, 8:07 AM
5 points
0 comments6 min readLW link

A Coun­terex­am­ple to an In­for­mal Con­jec­ture on Proof Length and Log­i­cal Counterfactuals

SamEisenstatJul 17, 2015, 5:34 PM
6 points
1 comment3 min readLW link