x
This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
LW
Login
IAFF-User-169 — LessWrong
IAFF-User-169
IAFF-User-169
Subscribe
Message
11
Ω
7
7y
Posts
All
IAFF-User-169 hasn't written anything yet.
;
IAFF-User-169 has not written any posts yet.
An Alternative Setting for Resource-Bounded Lob's Theorem
Jul 6, 2016
•
3
Relating Modal Polymorphism to PA with soundness
Aug 1, 2015
•
6
