Search Results for 'unprovability'

unprovability published presentations and documents on DocSlides.

Unprovability of strong complexity lower bounds in bounded arithmetic

by eve

Dagstuhl Workshop. March/. 2023. Igor Carboni Oliv...