List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Ruling Out Short Proofs of Unprovable Sentences is Hard | 2023-04-02 | Paper |
| Hardness of Ruling Out Short Proofs of Kolmogorov Randomness | 2023-01-11 | Paper |
| Average-Case Hardness of Proving Tautologies and Theorems | 2022-05-16 | Paper |
| Speedup for natural problems and noncomputability Theoretical Computer Science | 2011-02-02 | Paper |
| scientific article; zbMATH DE number 5605135 (Why is no real title available?) | 2009-09-19 | Paper |
| Topology and Closed Timelike Curves II: Causal structure | 2006-07-31 | Paper |
| The Duality of Time Dilation and Velocity | 2005-12-05 | Paper |
Research outcomes over time
This page was built for person: Hunter Monroe
