skip to content
Top
New
Show
Ask
Jobs
Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus [pdf]
(cis.upenn.edu)
135 points | by
bmc7505
10 days ago
2008
Computation and Mathematical Proof (metamodern.com)
0 comments
2009
Computability of physical and mathematical theories (swan.ac.uk)
0 comments
2010
Pessimal Algorithms and Simplexity Analysis [pdf] (ist.psu.edu)
1 comments
72 comments