Home›Logic and Foundations›Proved ByBrowse ByProved ByProved by credits the mathematician whose proof actually settled a theorem. Wikipedia notes Andrew Wiles's proof was described as "a stunning advance" in the citation for Wiles's Abel Prize award in 2016, recognition that came two decades after the proof itself. This dimension connects a theorem to the person who finally proved it true.FactsProved BySourcesComments (0)Reader Challenges (0)FactsComparisonEra Of EmergenceWell-attested1850 1Proved ByFilter Results47 entriesBranchAllCategory Theory (1)Computability Theory (7)Computational Complexity Theory (7)Logic and Foundations (27)Model Theory (3)Order Theory (1)Proof Theory (2)Set Theory (5)Topic AreaAllCategory Theory (1)Computability and Complexity Theory (20)Mathematical Logic and Model Theory (13)Order Theory and Fixed Points in Posets (1)Proof Theory and Methods of Proof (2)Set Theory (8)ProvedAll1847 (1)1884 (1)1891 (1)1897 (1)1904 (2)1915 (1)1924 (2)1927 (1)1929 (1)1930 (4)1931 (1)1933 (1)1934 (1)1935 (3)1936 (5)1937 (1)1938 (1)1943 (1)1944 (1)1950 (1)1951 (1)1953 (1)1955 (1)1957 (3)1961 (1)1965 (2)1967 (2)1969 (2)1970 (2)1971 (2)1975 (1)1986 (1)1987 (2)1991 (1)Named AfterAllAlan Turing (1)Ernst Zermelo (1)Georg Cantor (1)Kurt Gödel (1)Statement FormAllCharacterization (14)Equation (10)Existence Theorem (18)Identity (10)Impossibility Theorem (12)Inequality (9)Uniqueness Theorem (2)Proved By (Other Fields)AllBoris Trakhtenbrot (1)Juris Hartmanis (1)Leslie Valiant (1)Manuel Blum (1)Neil Immerman (2)Richard E. Stearns (1)Róbert Szelepcsényi (2)Seinosuke Toda (1)Vijay Vazirani (1)Walter Savitch (1)Show ResultsAbraham SeidenbergProved By1 entryAlan TuringProved By3 entriesAlbert MuchnikProved By1 entryAlfred TarskiProved By4 entriesAlonzo ChurchProved By1 entryAnil NerodeProved By1 entryAugustus De MorganProved By1 entryBoris TrakhtenbrotProved By1 entryDavid HilbertProved By1 entryDénes KőnigProved By2 entriesDonald A. MartinProved By1 entryDov GabbayProved By1 entryEmil PostProved By1 entryErnst WittProved By1 entryErnst ZermeloProved By1 entryEvert Willem BethProved By1 entryGeorg CantorProved By2 entriesGerhard GentzenProved By2 entriesGottlob FregeProved By1 entryHenry Gordon RiceProved By1 entryJacques HerbrandProved By1 entryJohn MyhillProved By2 entriesJon BarwiseProved By1 entryJoseph R. ShoenfieldProved By1 entryKazimierz KuratowskiProved By1 entryKurt GödelProved By4 entriesLeonid LevinProved By1 entryLeopold LöwenheimProved By1 entryManuel BlumProved By1 entryMax ZornProved By1 entryNeil ImmermanProved By1 entryNorman ShapiroProved By1 entryPer LindströmProved By1 entryReuben GoodsteinProved By1 entryRobert Lawson VaughtProved By1 entryRobert M. SolovayProved By1 entryRóbert SzelepcsényiProved By1 entryRoger LyndonProved By1 entrySeinosuke TodaProved By1 entrySimon B. KochenProved By1 entryStefan BanachProved By1 entryStephen Cole KleeneProved By2 entriesStephen CookProved By2 entriesVijay VaziraniProved By1 entryWalter SavitchProved By1 entryWilhelm AckermannProved By1 entryWilliam LawvereProved By1 entrySources1. Mathematical Logic (Wikipedia)tier 2Wikimedia FoundationHistory sectionQuote, History sectionMathematical logic emerged in the mid-19th century as a subfield of mathematics, reflecting the confluence of two traditions: formal philosophical logic and mathematics.View the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.