Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
RSS
SamEisenstat
(Sam Eisenstat)
Karma:
132
All
Posts
Comments
New
Top
Old
A Counterexample to an Informal Conjecture on Proof Length and Logical Counterfactuals
SamEisenstat
17 Jul 2015 17:34 UTC
6
points
1
comment
3
min read
LW
link
Logical inductor limits are dense under pointwise convergence
SamEisenstat
6 Oct 2016 8:07 UTC
5
points
0
comments
6
min read
LW
link
Reflective oracles as a solution to the converse Lawvere problem
SamEisenstat
29 Nov 2018 3:23 UTC
31
points
0
comments
7
min read
LW
link
Back to top