Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic

Eric Allender, George Davie, Luke Friedman, Sam Hopkins, Iddo Tzameret

Research output: Contribution to journalArticlepeer-review

44 Downloads (Pure)
Original languageEnglish
Pages (from-to)1-15
Number of pages15
JournalChicago Journal of Theoretical Computer Science
Volume5
Publication statusPublished - 2013

Cite this