Leonid A. Levin's Research on Incompleteness and Complexity: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 04:2204:22, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 2,719 bytes +2,719‎ Created page with "Title: Leonid A. Levin's Research on Incompleteness and Complexity Abstract: Leonid A. Levin, a renowned computer scientist, and mathematician, has made significant contributions to the fields of complexity theory and incompleteness. His research focuses on the gap between usual interpretations of Godel's Theorem and what is actually proven. He also explores the possibility of consistent completions of formal systems like PA (Peano Arithmetic) and the role of complexity..."
Retrieved from "https://simplesci.org/wiki/Leonid_A._Levin%27s_Research_on_Incompleteness_and_Complexity"