Home›Logic and Foundations›Proved By (Other Fields)Browse ByProved By (Other Fields)FactsProved By (Other Fields)SourcesComments (0)Reader Challenges (0)FactsComparisonEra Of EmergenceWell-attested1850 1Proved By (Other Fields)Filter Results11 entriesBranchAllComputability Theory (1)Computational Complexity Theory (10)Model Theory (1)Topic AreaAllComputability and Complexity Theory (10)Mathematical Logic and Model Theory (1)ProvedAll1950 (1)1965 (2)1967 (1)1970 (1)1975 (1)1986 (2)1987 (2)1991 (1)Proved ByAllStephen Cook (2)Statement FormAllCharacterization (1)Equation (4)Existence Theorem (4)Identity (4)Impossibility Theorem (3)Inequality (3)Birth DateAll1921-02-20 (1)1928-07-05 (1)1936-07-05 (1)1938-04-26 (1)1943-02-21 (1)1943-08-22 (1)1949-03-28 (1)1957-04-20 (1)1959-01-15 (1)Birth YearAll1921 (1)1928 (1)1936 (1)1938 (1)1943 (2)1949 (1)1953 (1)1957 (1)1959 (1)1966 (1)Death DateAll2016-09-19 (1)2021-02-01 (1)2022-07-29 (1)2026-08-29 (1)Death YearAll2016 (1)2021 (1)2022 (1)2026 (1)NationalityAllAmerican (2)Indian-American (1)Latvian-American (1)Show ResultsBrowseCompareSelect all 11Boris TrakhtenbrotProved By (Other Fields)1 entryJuris HartmanisProved By (Other Fields)1 entryLeslie ValiantProved By (Other Fields)1 entryManuel BlumProved By (Other Fields)1 entryNeil ImmermanProved By (Other Fields)1 entryRichard E. LadnerProved By (Other Fields)1 entryRichard E. StearnsProved By (Other Fields)1 entryRóbert SzelepcsényiProved By (Other Fields)1 entrySeinosuke TodaProved By (Other Fields)1 entryVijay VaziraniProved By (Other Fields)1 entryWalter SavitchProved By (Other Fields)1 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.